Owl通用量化与基数限制一起工作。

Question

我是猫头鹰的新手。我在本页http://dior.ics.muni.cz/~makub/owl/中读到了一个通用量化示例。

如果我把"Person SubClassOf hasParent max 2 thing“改为"Person SubClassOf hasParent max 2 Person”，并运行推理机，我认为Ivan个人也会掉进捷克的行列。但实际上不是。我在Proge4.3中测试它，并运行内置的reasoner FaCT++。

我错过了什么细节？

Answer 1

这里的问题是你的新限制太宽松了。你的新公理实际上说，人最多可以有2人(父母是人)。它并不能阻止人们有其他的父母，他们是非人的。

如果强制所有父母都属于类Person，例如将hasParent的范围设置为Person，或添加axiom Person SubClassOf hasParent only Person，则该示例将再次工作。