0

オントロジー エディタ 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
                                   ]
                                )
                              ] .
4

1 に答える 1

2

この動作が発生する可能性がいくつかあります。1 つの例は、一般的なクラス公理によるものです (以下の例の最後の行を参照)。

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

推論ビューに切り替えると、このオントロジーではモノが人間に相当することに気付くでしょう。

その他の理由は、ピザのオントロジーにあります。VegetarianTopping と VegetarianTopping を見ると、VegetarianTopping の equalTo リレーションにより、推論ビューで最初のものが 2 番目のものに含まれていることがわかります。お役に立てれば。

于 2016-07-29T14:09:22.717 に答える