OWL 2 QL诉RDFS

Question

在OWL 2 QL的W3C解释中提到

特别是，这个概要文件(即OWL2QL)包含RDFS和OWL2DL的交集。

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

假设我有一个KB，其中只使用了以下公理: rdfs:domain，rdfs:range，rdfs:subclassOF，rdf:type，owl:ObjectProperty和owl:DatatypeProperty。关于这个KB的语言，我能说什么呢？我是否可以用RDFS、OWL2QL或两者表达？

如果我看到一个资源(rdf:type)和一个类(rdf:type)，我会说它是RDFS，如果没有一个资源同时是一个实例和一个类，我会说它也在OWL 2 QL中吗？

Answer 1

如果我说，“这个盒子里有我的T恤衫和绿色的东西的交集”，这并不意味着这个盒子里只有绿色的T恤衫。我所有的绿色t恤都在盒子里，但里面也可能有蓝色的t恤或者绿色的袜子等等。

特别是，这个概要文件(即OWL2QL)包含RDFS和OWL2DL的交集。

刚才的句子说:任何符合RDFS和OWL2DL的所有要求的KB也恰好在OWL2QL中。但就这句话而言，OWL2QL也可能包含各种其他东西，它们既不是RDFS，也不是OWL2DL。

(我也不确定这句话是否完全正确。例如，RDFS允许匿名个人a.k.a。空白节点。OWL 2 QL没有。)

您的示例KB使用OWL结构，因此它显然不是RDFS。类和个体之间的严格分离是OWL1DL中的东西，在OWL2DL中不再存在。

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