個体のない OWL オントロジーがあります。与えられた 2 つのクラス
Cs
と
Cd
クエリはどのように見えますか? 次のようなすべてのプロパティ チェーンを見つけるために、どのタイプの推論を使用できますか?
(Cs subClassOf PropertyP exactly 1 Cd)
ここで、Cs は PropertyP のドメインで、Cd はその範囲です。Chain は、この推論が推移的でなければならないことを意味します。
(Cs subClassOf PropertyP1 exactly one Ctemp) and (Ctemp subClassOf PropertyP2 exactly one Cd)
次に、{PropertyP1, PropertyP2} は、Cs と Cd の間のプロパティ チェーンと見なす必要があります。
OWL2 のようなプロパティ チェーンについて話しているわけではないことに注意してください。OWL2の場合、このチェーンを事前に定義する必要がありますが、私の場合はそうすることができません。