特别是，此配置文件（即 OWL 2 QL）包含 RDFS 和 OWL 2 DL 的交集。
这句话让我很困惑，我想知道是否有人可以澄清它。这是否意味着 OWL 2 QL 是 RDFS 的子集？或者这是否意味着它是一个更受限制的 RDFS 版本（因此有更多的公理来表达这些限制）。
假设我有一个 KB，其中只使用了以下公理：rdfs:domain、rdfs:range、rdfs:subclassOF、rdf:type、owl:ObjectProperty 和 owl:DatatypeProperty。关于这个知识库的语言，我能说些什么？我可以说它用 RDFS、OWL 2 QL 或两者都表示吗？
如果我看到一个资源既是某物的实例（rdf:type），又是一个类，我会说它是 RDFS，如果没有资源既是实例又是类，我会说是这样吗？它也在 OWL 2 QL 中？
如果我说，“这个盒子里有我的 T 恤和绿色的东西的交集”，这并不意味着这个盒子里只有绿色的 T 恤。我所有的绿色 T 恤都在盒子里，但它也可能包含蓝色 T 恤或绿色袜子或其他任何东西。
特别是，此配置文件（即 OWL 2 QL）包含 RDFS 和 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 图，它们是用于表示 OWL 公理的 RDF 词汇表的一部分。但相应的公理是DataPropertyDomain和。当一个人认真对待 OWL 推理和各种 OWL 配置文件时，最好暂时忘记 RDF 三元组，并根据实际的 OWL 公理进行思考。例如，OWL 2 QL 的语法准确地定义了什么是允许的，什么是不允许的，但是使用的是 OWL 公理的语言而不是 RDF 三元组的语言。ClassAssertionDataProperty