如何验证CIM RDF

时间:2012-10-23 13:44:42

标签: validation rdf rdfs authorize.net-cim

我正在使用公共信息模型,我们正在使用 RDF用于表示电子变电站的文件。但我发现了 使用RDF Schema验证文件RDF的一些问题。 我在这个问题上需要帮助。有人知道如何使用JAVA。

1 个答案:

答案 0 :(得分:1)

我将在前言中指出我对公共信息模型一无所知,而且我一般都在谈论RDF,RDFS和“验证”......

解析有效很简单,所以我认为这不是你的意思。我的猜测是你来自XML,你认为RDFS与RDF的结构与XML模式与XML文档相同。

不是。

你必须记住,如果你指定一个属性的两个范围(我们称之为A& B),并不意味着该属性的值 A或B.它实际上意味着它们都是,即A& A的交叉点。 B.域的工作方式类似,没有什么可以阻止您使用超出规定域/范围的值。因此,您可能需要小心您对验证的期望。

此外,如果您开始进入OWL世界,您会增加对架构(即本体)的一致性及其可满足性的关注。这些问题与w.r.t一样有效。数据的有效性。

更不用说在OWL中很难验证表有四条腿的限制。你可以定义三条腿,并假设它是有效的;系统还不知道第四条腿。同样,如果你定义了五条腿,它会假设两条腿可能是相同的,因此它并非严格无效。

如果您想使用RDFS或真正的OWL作为约束语言,您可能希望看到的是Pellet's Integrity Constraint Validator (ICV)。它允许您使用OWL作为用于形式化模式对数据的约束的语言。它通过稍微改变OWL的语义来实现这一点,使其更适合这个用例。该软件实际上已移植到Stardog,在那里它可以与数据库中的事务支持相结合,以保持数据的完整性。 Stardog网站还提供了关于如何评估完整性约束的形式语义,如果您有足够的好奇心来深入研究定义。

除此之外,您需要使用自定义软件为您进行验证,假设这是您感兴趣的验证类型。或者您可以查看类似但功能较少(和正式)的软件而不是ICV呼叫Jena Eyeball