OWL2で反省的なプロパティチェーンを作成する方法はありますか？

家族関係についての小さなオントロジーがあるとしましょう。私は叔母や叔父のような間接的な関係を推測したいと思います。OWL2で反省的なプロパティチェーンを作成する方法はありますか？

これにプロパティチェーンを使用することは魅力的ですが、それらは常に反射的になります。たとえば、次のような兄弟を推測しようとすると：

:sibling owl:propertyChainAxiom (:child [owl:inverseOf :child])

すべての人が自分の兄弟であることになります。これは、兄弟関係に基づいておじさん/叔母のためのチェーンを構築することは不可能であることを意味します。

どのようにこれを達成するためのヒント？

2016-08-10 Michael

ため

例はどうなりますか？ – AKSW

推論でエラーが発生します。プロパティチェーンは単純なクラスでのみ機能するためです。 – Michael

私は同じ問題を抱えており、これを解決するためにSWRLルールを使用しました。 sibling`非反射である：あなたはプロパティが `と述べている場合には兄

isParentOf(?parent, ?child2)^isSonOf(?child, ?parent)^DifferentFrom(?child, ?child2) -> isBrotherOf(?child, ?child2)

2017-08-12 18:14:53 theChaosCoder

答えて