Bah*_*har 2 owl ontology rdfs description-logic
在OWL 2 QL 的 W3C 解释中提到：
特别是，此配置文件（即 OWL 2 QL）包含 RDFS 和 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，如果没有既是实例又是类的资源，我会说它是 RDFS OWL 2 QL 里也有吗？
如果我说，\xe2\x80\x9c这个盒子包含我的T恤和绿色东西的交集\xe2\x80\x9d，这并不意味着这个盒子只包含绿色T恤。我所有的绿色 T 恤都在盒子里，但它可能还包含蓝色 T 恤或绿色袜子或其他任何东西。
\n\n\n\n\n特别是，此配置文件（即 OWL 2 QL）包含 RDFS 和 OWL 2 DL 的交集。
\n
这句话只是说：任何满足 RDFS 和 OWL 2 DL 所有要求的 KB 恰好也在 OWL 2 QL 中。但就这句话而言，OWL 2 QL 还可能包含各种其他既不是 RDFS 也不是 OWL 2 DL 的东西。
\n\n（我也不确定这句话是否严格正确。例如，RDFS 允许匿名个体，又名空白节点。OWL 2 QL 不允许。）
\n\n您的示例 KB 使用 OWL 构造，因此它显然不是 RDFS。类和个体之间的严格分离是 OWL 1 DL 中的内容，并且在 OWL 2 DL 中不再存在。
\n\n您提到的术语（rdfs:domain、rdf:type等owl:DatatypeProperty）严格来说并不是公理。它们是 RDF 词汇表的一部分，如果本体表示为 RDF 图，则用于表示 OWL 公理。但相应的公理是DataPropertyDomain、ClassAssertion和DataProperty。当一个人认真对待 OWL 推理和各种 OWL 配置文件时，最好暂时忘记 RDF 三元组，并根据实际的 OWL 公理进行思考。例如，OWL 2 QL 的语法准确定义了允许和不允许的内容，但使用 OWL 公理语言而不是 RDF 三元组语言。