OWL中的推断类层次结构的最小示例

Question

在本体编辑器Protegé中有一个名为类层次结构（推断）的选项卡。我正在寻找一个最小的例子来创建这样一个推断类，例如它主要是:RedCar rdfs:subClassOf :Car，这就是全部吗？

:RedCar  a                    owl:Class ;
         owl:equivalentClass  [ a  owl:Class ; 
                                owl:intersectionOf 
                                (
                                   :Car
                                   [ a               owl:Restriction ;
                                     owl:onProperty  :hasColor ;
                                     owl:hasValue    :Red
                                   ]
                                )
                              ] .

Answer 1

有一些可能会产生这种行为。一个例子是由于一般类公理（见下面的例子的最后一行）。

Human rdf:type owl:Class
Man rdf:type owl:Class
[rdf:type owl:Class ; owl:complementOf Man ; rdfs:subClassOf Human]

你会注意到，如果你切换到推理视图，在这个本体中的东西相当于人类。

披萨本体中还有其他原因。如果你看一下VegetableTopping和VegetarianTopping，你会注意到第一个被推理视图中的第二个包含，因为在VegetarianTopping上有相同的关系。希望这可以帮助。