OWL 2 QL与RDFS

问题描述 投票:1回答:1

W3C explanation of OWL 2 QL中提到了这一点

特别是,该配置文件(即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。关于这个KB的语言,我能说些什么?我可以说它是用RDFS,OWL 2 QL或两者表达的吗?

是这样的情况,如果我看到一个资源既是某个实例(rdf:type),又是一个类我会说它是RDFS,如果没有资源同时是一个实例和一个类我会说它也是OWL 2 QL?

owl ontology rdfs description-logic
1个回答
4
投票

如果我说,“这个盒子包含我的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允许匿名个体a.k.a.空白节点.OWL 2 QL不允许。)

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

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

© www.soinside.com 2019 - 2024. All rights reserved.