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

Question

如果你看一下OWL本体定义,你会看到一堆类定义.其中之一是以下内容:

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本体语言(OWL)对应于描述逻辑,其是用于通过对概念做相交,限制等的装置限定概念的逻辑(一阶逻辑的子集).概念是某种集合,你需要底层概念(owl:Nothing,空集)和顶级概念(owl:Thing,所有个体的集合),理论具有良好的属性.

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

Person ? ? hasChild:?.

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

?是底层概念,被解释为空集?.?表示交叉点.? hasChild:?映射到OWL的allValuesFrom.

请参阅Franz Baader的基本描述逻辑.