semantic-web - OWL 中的奇怪查询行为!

Question

在 OWL 中，此查询工作正常

"person and hasChild min 3"

它工作正常，它给了我所有有 3 个以上 child 的人

但是这个不行

"person and hasChild max 3"

它应该给所有 child 少于 3 个的人，但是它不起作用

有人知道吗？

为什么“min”有效，而“max”没有任何结果!？？

谢谢

Answer 1

第二个查询“不起作用”的原因是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 邮件列表中提出这些问题。或者更好的是，查看邮件列表文件。与开放世界假设相关的问题每周至少出现一次。