OWL 中奇怪的查询行为！

在 OWL 中这个查询工作正常

"person and hasChild min 3"

它工作正常，它为我提供了所有拥有 3 个以上孩子的人

但这不起作用

"person and hasChild max 3"

它应该给我所有少于 3 个孩子的人，但它不起作用

有人对此有什么想法吗？

为什么“min”有效而“max”没有给出任何结果！？

Thanks

第二个查询“不起作用”的原因是开放世界假设，也可能（缺乏）唯一名称假设.

假设你声明：

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 邮件列表上提出这些问题。或者更好的是，查看邮件列表档案。与开放世界假设相关的问题每周至少出现一次。