0

OWLで、プロパティを持たないクラスをクエリすることは可能ですか？

オブジェクトプロパティRがあり、プロパティRを持たないすべてのクラスを取得したいとします。また、クロージャーを使用してすべてのクラスを既に閉じているとします。

私はこれを試していました：

問題のプロパティがhasPropertyであるとすると、私のクエリはこれでした

hasProperty only Nothing

しかし、それは機能しません

4

2 に答える 2

0

「プロパティを持たないクラス」とはどういう意味ですか?

意味的には、クラスは個体の集合であり、プロパティは個体のペアの集合です。これら 2 つのセットを考えると、「クラスにプロパティがある / ない」とはどういう意味ですか?

あなたのサンプルクエリについて

hasProperty only Nothing

自然言語で考えられるように少し書き直してみましょう。これにより、このクエリの意味をより直感的に理解できます。

まず名前hasPropertyをfollows(または英語の動詞) に変更すると、次のようになります。

follows only Nothing

これは意味的には

follows only (not Thing)

これは意味的に同等です

not (follows some Thing)

onlyこれで、OWL の紛らわしい部分であり、避けたほうがよい を取り除きました。したがって、クエリを英語で次のように言語化できます。

those who do not follow anything

また

who does not follow anything?

またはより正式に

which individuals of the ontology are known
    not to have a follow relationship to any other individual

たとえば、オントロジーが次のように述べている場合

John does not follow Mary.
John does not follow himself.
Every individual in the ontology is either John or is Mary.

次にJohn、上記のクエリに対する回答になります。要求された制限が個人の (名前付き) グループに適用される場合は、名前付きクラスをクエリの回答として取得することもできます。いずれにせよ、次のことが保持されなければなりません: 答え (またはそのメンバー) が何らかの個人との関係を持っていると主張した場合、それはfollowオントロジーを矛盾させます。

于 2012-12-17T23:23:27.450 に答える