OWLでは、非反射プロパティのサブプロパティも非反射ですか? 同様に、非対称プロパティのサブプロパティも非対称ですか?
論理的にはそうあるべきですが、OWL のドキュメントには、これが事実であることを示しているものは見つかりません。
次の例を検討してください。
:parent-of a owl:IrreflexiveProperty .
:father-of a owl:ObjectProperty ;
owl:subPropertyOf :parent-of .
このオントロジーに基づくと、 は非反射的であるため、以下は許可されませんparent-of。
_:max :parent-of _:max .
しかし、father-of暗黙的に非反射的でもありますか? つまり、これも禁止されます。
_max :father-of _:max .
プロパティをポイントのペアを接続する矢印のセットと考える場合、非反射的とは、同じポイントで開始および終了する矢印がないことを意味します。サブプロパティは単にこれらの矢印のサブセットであるため、非反射プロパティのサブプロパティも必然的に非反射になります。非対称プロパティも同様です。しかし、繰り返しになりますが、OWL がこれを明示的に説明しているのか、それとも OWL 推論者がこの「仮定」を行うべきなのかはわかりません。