RDFS 蕴涵制度不一致

编程问答 2022-05-28

问题描述

SPARQL 1.1 Entailment Regimes 的文档断言有可能产生不一致的图，而且不一致的单一来源：rdf:XMLLiteral：

ex:a ex:b "<"^^rdf:XMLLiteral .
ex:b rdfs:range rdf:XMLLiteral .

理由是 < 不是有效的 XML 片段，因此 "<"^^rdf:XMLLiteral 必须被解释为不在 rdfs:Literal 中的东西（显然）。这似乎有些随意和复杂，所以我有以下问题：

  • 为什么不能将 "<"^^rdf:XMLLiteral 简单地解释为 "<"？它不是 XML 文字是有道理的，但为什么它根本不能是文字？
  • 为什么只有 rdf:XMLLiteral 而不是 xsd:boolean 或其他数据类型？如果我们开始验证常见数据类型，就会发现许多不一致之处。
  • 从 RDF 1.1 开始，我理解 rdf:XMLLiteral 是非规范的。这是否意味着对 RDFS 的新解释总是一致的？
  • 此规则是否在实践中实施过，是否有一些 SPARQL 端点可能（仍然）拒绝 RDFS 不一致的图？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

rdfrdfssemantic-websparql