rdf - 猫头鹰:Nothing class designed to do?是什么

如果您查看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 .

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

最佳答案

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

除了纯粹的理论考虑之外，它还有一个实际目的，例如:

Person ⊓ ∀ hasChild:⊥.

这是描述没有 child 的人的概念。
⊥是最基本的概念，并被解释为空集∅。 ⊓表示交集。 ∀ hasChild:⊥映射到OWL的allValuesFrom。

参见Basic Description Logics by Franz Baader。

关于rdf - 猫头鹰:Nothing class designed to do?是什么，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/21391135/