validation - 如何验证 CIM RDF

Question

我正在使用公共(public)信息模型，我们正在使用代表变电站的 RDF 文件。但我发现使用 RDF Schema 验证文件 RDF 的一些问题。我需要帮助解决这个问题。有人知道如何使用 JAVA 做到这一点。

Answer 1

首先我要指出我对公共(public)信息模型一无所知，而且我一般来说的是 RDF、RDFS 和“验证”......

解析 Valid 非常简单，所以我假设这不是您的意思。我的猜测是您来自 XML，并且您认为 RDFS 之于 RDF 就像 XML 模式之于 XML 文档一样。

不是。

你必须记住，如果你为一个属性指定了两个范围(我们称它们为 A 和 B)，这并不意味着该属性的值应该是 A或 B。它实际上意味着它们都是，即 A 和 B 的交集。域的工作原理类似，并且没有什么可以阻止您使用规定的域/范围之外的值。因此，您可能需要谨慎对待您对验证的期望。

此外，如果您开始涉足 OWL 世界，就会增加对模式(也称为本体)的一致性及其可满足性的关注。这些问题与 w.r.t. 一样有效。数据的有效性。

更不用说在 OWL 中很难验证一张 table 有 4 条腿的限制。您可以定义三条腿，并假定它是有效的；系统还不知道第四条腿。同样，如果您定义了五条腿，它会假定其中两条腿可能相同，因此它不是严格无效的。

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

除此之外，您还需要自定义软件来为您进行验证，假设这是您感兴趣的验证类型。或者您可以查看类似但功能(和正式)不如 ICV 的软件称为 Jena Eyeball .