owl:Nothing 类的目的是什么？答案

【问题标题】：What is the owl:Nothing class designed to do?owl:Nothing 类的目的是什么？
【发布时间】：2014-01-27 20:35:25
【问题描述】：

如果您查看OWL ontology definition，您会看到一堆类定义。其中之一是：

owl:Nothing a owl:Class ;
     rdfs:label "Nothing" ;
     rdfs:comment "This is the empty class." ;
     rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
     rdfs:subClassOf owl:Thing .

这是否有目的，如果有，它是什么？

【问题讨论】：

请注意，与 jkbkot answer 和 cmets 一样，它对推理很有用，但 owl 本体本身并不由实际本体导入。这个本体定义了语言本身，bit不需要通过实际的本体导入来使用它的类。
@Ignazio 有意思，谢谢

标签： rdf owl ontology rdfs description-logic

【解决方案1】：

它有一个目的。 Web Ontology Language (OWL) 对应于 Description Logic，它是一种逻辑（一阶逻辑的子集），用于通过对概念进行交集、联合、限制等来定义概念。概念是某种集合，您需要底部概念（owl:Nothing，空集）和顶部概念（owl:Thing，所有个体的集合）才能使理论具有良好的属性。

除了纯理论的考虑外，还有一个实际的目的，例如：

Person ⊓ ∀ hasChild:⊥.

这是描述没有孩子的人的概念。

⊥ 是底层概念，被解释为空集∅。 ⊓ 表示交叉点。 ∀ hasChild:⊥ 映射到 OWL 的 allValuesFrom。

见Basic Description Logics by Franz Baader。

【讨论】：

它还与 owl:bottomObjectProperty 和 owl:bottomDataProperty 一起用于一致性检查。如果某个个体是owl:Nothing的实例，或者两个个体通过owl:bottomObjectProperty关联，或者某个个体和某个字面量通过owl:bottomDataProperty关联，则本体不一致。
其他实际用途：我们可以说 C 和 D 通过 C ⊓ D ⊑ ⊥ 不相交。
另外，在实际的 sparql 查询中使用 owl:Nothing 是否实用？我问，因为我们有MINUS，FILTER EXISTS，FILTER NOT EXISTS
Sparql 是一种用于 RDF 的查询语言，而不是用于 OWL。 Sparql 评估甚至不处理最简单的 RDF 语义，更不用说 RDFS 或 OWL 语义了。为此，您必须使用某种形式的推理，这可能由三重存储提供，但它不是 Sparql 固有的。 Sparql 进行图形模式匹配。 OWL 可以序列化为 RDF，但它不是一个很好的匹配项，我认为您不能使用 Sparql 查询 owl:Nothing 来获得真正有用的东西。正如@JoshuaTaylor 在他的 cmets 中指出的那样，它对于实际的推理器很有用。