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

Question

在本体编辑器 Protegé 中有一个名为Class hierarchy (inferred)的选项卡。我正在寻找一个最小的例子来创建这样一个推断类，例如它主要是那个: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]

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

其他原因可以在比萨本体中找到。如果您查看 VegetarianTopping 和 VegetarianTopping，您会注意到在推理视图中第一个被第二个包含，因为 VegetarianTopping 上的等价关系。希望这可以帮助。