OWL中的奇怪查询行为!

Question

在OWL中,此查询工作正常

"person and hasChild min 3"

它工作正常,它给了我所有超过3个孩子的人

但是这个不起作用

"person and hasChild max 3"

它应该给我所有少于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邮件列表上暂时提出这些问题.或者甚至更好,看看邮件列表档案.开放世界假设相关问题每周至少出现一次.