OWL 2 QL 与 RDFS
OWL 2 QL vs. RDFS
在 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) 又是一个 class 我会说它是 RDFS，如果没有资源这既是实例又是 class 我会说它也在 OWL 2 QL?
如果我说，“这个盒子里装的是我的 T 恤和绿色东西的交集”，这并不意味着这个盒子里只有 件绿色 T 恤。我所有的绿色 T 恤都在盒子里，但它可能还包含蓝色 T 恤或绿色袜子或其他任何东西。
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允许匿名个体a.k.a。空白节点。OWL 2 QL不允许。）
您的示例 KB 使用 OWL 构造，因此它显然不是 RDFS。 类 和个人之间的严格区分来自 OWL 1 DL，并且不再存在于 OWL 2 DL.
您提到的术语（rdfs:domain、rdf:type、owl:DatatypeProperty等）严格来说并不是公理。如果 ontology 表示为 RDF 图，它们是用于表示 OWL 公理的 RDF 词汇表的一部分。但是相应的公理是 DataPropertyDomain, ClassAssertion and DataProperty. When one gets serious about OWL reasoning and the various OWL profiles, it is better to forget about RDF triples for a moment, and to think in terms of actual OWL axioms. For example, the grammar for OWL 2 QL 准确地定义了什么是允许的和不允许的，但是使用 OWL 公理的语言而不是 RDF 三元组的语言。
在 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) 又是一个 class 我会说它是 RDFS，如果没有资源这既是实例又是 class 我会说它也在 OWL 2 QL?
如果我说，“这个盒子里装的是我的 T 恤和绿色东西的交集”，这并不意味着这个盒子里只有 件绿色 T 恤。我所有的绿色 T 恤都在盒子里，但它可能还包含蓝色 T 恤或绿色袜子或其他任何东西。
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允许匿名个体a.k.a。空白节点。OWL 2 QL不允许。）
您的示例 KB 使用 OWL 构造，因此它显然不是 RDFS。 类 和个人之间的严格区分来自 OWL 1 DL，并且不再存在于 OWL 2 DL.
您提到的术语（rdfs:domain、rdf:type、owl:DatatypeProperty等）严格来说并不是公理。如果 ontology 表示为 RDF 图，它们是用于表示 OWL 公理的 RDF 词汇表的一部分。但是相应的公理是 DataPropertyDomain, ClassAssertion and DataProperty. When one gets serious about OWL reasoning and the various OWL profiles, it is better to forget about RDF triples for a moment, and to think in terms of actual OWL axioms. For example, the grammar for OWL 2 QL 准确地定义了什么是允许的和不允许的，但是使用 OWL 公理的语言而不是 RDF 三元组的语言。