猫头鹰通用量化与基数限制一起工作

我是猫头鹰的新手。我在本页http://dior.ics.muni.cz/~makub/owl/中阅读了Universal Quantification示例。猫头鹰通用量化与基数限制一起工作

如果我用“Person SubClassOf hasParent max 2 Person”替换“Person SubClassOf hasParent max 2 thing”并运行推理器，我认为Ivan的个人也会落入捷克类。但事实上并非如此。我在Protege 4.3中测试它并运行内置的推理器FaCT ++。

我错过了什么细节？

来源

2014-12-06 user3636315

这里的问题是您的新限制太宽松。你的新公理实际上说人最多可以有2个（父为Person）。它并不妨碍Person拥有其他非Person的父母。

，如果你执行所有的父母是一类人，例如，通过hasParent的范围设定为个人，或增加一个公理Person SubClassOf hasParent only Person

来源

2014-12-06 16:24:58

感谢您的解释和解决方案的例子再次合作，余did't充分考虑到开放世界的假设。 – user3636315 2014-12-07 02:37:49

猫头鹰通用量化与基数限制一起工作

回答

相关问题