OWL 2 QL 与 RDFS

Question

在 W3C explanation of OWL 2 QL据说

In particular, this profile (i.e OWL 2 QL) contains the intersection of RDFS and OWL 2 DL.

这句话让我很困惑，我想知道是否有人可以澄清它。这是否意味着 OWL 2 QL 是 RDFS 的子集？或者这是否意味着它是 RDFS 的更受限制的版本(因此有更多的公理来表达这些限制)。

假设我有一个知识库，其中只使用了以下公理:rdfs:domain、rdfs:range、rdfs:subclassOF、rdf:type、owl:ObjectProperty 和 owl:DatatypeProperty。关于本知识库的语言我能说些什么？我可以说它是用 RDFS、OWL 2 QL 或两者来表达的吗？

如果我看到一个资源既是某个东西的实例(rdf:type)又是一个类，我会说它是 RDFS，如果没有既是实例又是类的资源我想说它也在 OWL 2 QL 中？

Answer 1

如果我说“这个盒子包含我的 T 恤和绿色元素的交集”，并不意味着该盒子仅包含绿色 T 恤。我所有的绿色 T 恤都在盒子里，但它可能还包含蓝色 T 恤或绿色 socks 或其他任何东西。

In particular, this profile (i.e OWL 2 QL) contains the intersection of RDFS and OWL 2 DL.

这句话只是说:任何满足 RDFS 和 OWL 2 DL 所有要求的 KB 恰好也在 OWL 2 QL 中。但就这句话而言，OWL 2 QL 还可能包含各种其他既不是 RDFS 也不是 OWL 2 DL 的东西。

(我也不确定这句话是否严格正确。例如，RDFS 允许匿名个体，又名空白节点。OWL 2 QL 不允许。)

您的示例 KB 使用 OWL 构造，因此它显然不是 RDFS。类和个体之间的严格分离是 OWL 1 DL 中的内容，并且在 OWL 2 DL 中不再存在。

您提到的术语(rdfs:domain、rdf:type、owl:DatatypeProperty 等)严格来说并不是公理。它们是 RDF 词汇表的一部分，如果本体表示为 RDF 图，则用于表示 OWL 公理。但相应的公理是 DataPropertyDomain , ClassAssertion和 DataProperty 。当一个人认真对待 OWL 推理和各种 OWL 配置文件时，最好暂时忘记 RDF 三元组，并根据实际的 OWL 公理进行思考。例如，grammar for OWL 2 QL准确定义什么是允许的，什么是不允许的，但使用 OWL 公理语言而不是 RDF 三元组语言。