validation - 如何验证 CIM RDF

标签 validation rdf rdfs

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

最佳答案

首先我要指出我对公共(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 .

关于validation - 如何验证 CIM RDF,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13031879/

相关文章:

c# - .net 中 [compare ("")] 数据注释的对面?

Python:测试参数是否为整数

include - 包括来自单独文件的 sparql 子查询

java - 推理不会给出与 * 相同的结果

SPARQL 查询与 Person 相关的所有类的列表

metadata - 如何将 4 个项目放入 RDF 三元组中?

java - 基于注释的请求验证

jquery - 如何在 jQuery 对话框中验证 ViewModel?

logic - 巴拉克不喜欢唐纳德喜欢的任何东西

java - RDF-Gravity 1.0 - 无法启动应用程序