semantic-web - OWLでの奇妙なクエリ動作！

Question

OWLでは、このクエリは正常に機能します

"person and hasChild min 3"

それはうまく機能し、3人以上の子供を持つすべての人に私を与えます

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

"person and hasChild max 3"

それは私に3人未満の子供を持つすべての人を与えるはずですがそれは機能しません

誰かがこれについて考えを持っていますか？

「最小」が機能するのに「最大」が結果をもたらさないのはなぜですか！??

ありがとう

Answer 1

2 番目のクエリが「機能しない」理由はOpen World Assumptionであり、おそらく (存在しない) Unique Name Assumptionでもあります。

次のように述べているとします。

John lives in Paris.
Mary lives in Paris.

次の質問は、OWL 推論者によって次のように回答されます。

Who lives in Paris?  John, Mary
Does at least one thing live in Paris?  YES
Do at least two things live in Paris?  Maybe
Is Paris a person?  Maybe
Is John and Mary the same thing?  Maybe
Is Paris and Mary the same thing?  Maybe
Does at most one thing live in Paris?  Maybe

OWL推論器がMaybeで戻ってくるときはいつでも、ユーザー・インターフェース(Protegeなど)には何も表示されない傾向があります。

おそらく必要な答えを得るためには、知識ベースにさらに多くの情報を追加する必要があります。

Mary is not John.
Everybody who lives in Paris is either John or Mary.

お役に立てれば。あなたの最近の質問が Stack Overflow でどれだけ閲覧されているかを見ると、当面は Protege メーリング リストでこれらの質問をする方がよいと思います。または、メーリング リストのアーカイブを参照してください。Open World Assumption 関連の質問は、少なくとも週に 1 回は出てきます。

Answer 2

Kaarel のポイントに加えて、クエリの例にコメントすると、推論者は、あなたが持っているアサートされたトリプルを見て、「この人には追加の子供がいるとアサートする他のアサートされたトリプルがありますか?」と尋ねます。どちらが「3 人の子供」の制限を超えますか?」この質問に対する答えは「たぶん」なので、推論者は (事実として) あなたの例の人に最大 3 人の子供がいると推測することはできません。

否定的な主張は、オープン ワールドの仮定により、推論者が証明するのが非常に困難です。「人は 3 人以上の子供を持つことはできません」というクエリは、この問題にぶつかります。探しているものを達成するには、その人が 3 人以下の子供を持つ親のクラスをタイプすると断言できます。繰り返しますが、それを行った場合、そもそもクエリは必要ないでしょう。