OWLでの不思議なクエリの動作！このクエリは正常に動作しOWLで

Question

"person and hasChild min 3" 

それが正常に動作し、それが3人の以上の子供たち

を持っているすべての人に私を与えるが、この1つは動作しません

"person and hasChild max 3" 

それは与えるべきです私それは

いずれかが、このことについての考えを持っていないと動作しません。しかし、3未満の子を持つすべての人？

「最大」は、任意の結果を与えるものではありませんが、なぜ「min」は作品！??

おかげ

Answer 1

第二クエリは「動作しない」理由もおそらくオープン・ワールド仮定、および一意の名前昇天（の欠如）があります。

は、あなたが言う状態：

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推論がたぶんに戻ってくるたびに、（例えば門徒など）のユーザインタフェースは何も示さない傾向があります。

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

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

これが役に立ちます。最近の質問はスタックオーバーフローで受信しているか、いくつかの景色を見て、私はそれが当面の門徒メーリングリスト上でこれらの質問をした方が良いかなと思います。あるいは、メーリングリストのアーカイブを見てください。オープン・ワールド・アサンプションに関する質問は、少なくとも週に1回以上出てくる。

Answer 2

Kaarelのポイントに追加して、あなたのサンプルクエリにコメントを付けるには、推論者があなたが持っているアサートされたトリプルを見て、「私が今は持っていない他のアサートされたトリプルがあるかもしれない人には「3人の子供」の制限を超える追加の子供がいますか？この質問に対する答えは「多分」であるので、推論はあなたの例では人は3人の子供の最大値を持っていること（事実として）推測することができません。

否定アサーションは、オープンワールドの仮定のために推論者が証明するのはかなり難しいです。あなたの「人は3人以上の子供を持つことはできません」という質問は、この問題に対処します。あなたが探しているものを達成するために人がタイプ3人の子供以下を持つ親のクラスということを主張することができます。それでは、もしあなたがそうしていれば、最初はクエリが必要ないでしょう。