OWLの推論クラス階層の最小例

オントロジエディタProtegéには、クラス階層（推測）というタブがあります。私はそのような推論されたクラスを作成するための最小限の例を探しています。それは主にその:RedCar rdfs:subClassOf :Car、それはすべてですか？OWLの推論クラス階層の最小例

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

出典

2016-07-28 rmv

"...それだけですか？"表示されているデータの例を考えれば、他に何が期待されていましたか？ –

私は同僚から大きなオントロジーを得ました。推論の後、既存のクラスもクラス階層の全く別のサブツリーにも存在し、どのように起こるのか理解できませんでした。（おそらく、長いドメイン/範囲のプロパティチェーンなので、私は思うにしても、*新しいクラス定義*を推論で作成することはできないので、おそらくエラーですが、私はあまりよく分かりません）。問題のオントロジを簡素化し、この動作をうまく再現するための例を投稿しようとします。 – rmv

なぜクラスが異なるサブツリーに出現できないと思いますか？クラス階層は必ずしもツリーではありません。 – AKSW

この現象が発生する可能性があります。 1つの例は、一般的なクラス公理によるものです（下の例の最後の行を参照）。

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

あなたは推論ビューに切り替える場合は、このオントロジー事で、人間と同等であることを、わかります。

ピザオントロジには他の理由があります。 VegetableToppingとVegetarianToppingを見てみると、VegetarianToppingのequivalentTo関係のために、最初のものが推論ビューの2番目のものに含まれていることがわかります。お役に立てれば。

出典

2016-07-29 14:09:22 Stephan

OWLの推論クラス階層の最小例

答えて

関連する問題