什么是猫头鹰：没有什么课程可以做？

Question

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

这是否有用，如果有，它是什么？

Answer 1

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

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

Person ⊓ ∀ hasChild:⊥.

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

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

请参阅Basic Description Logics by Franz Baader。