貓頭鷹通用量化與基數限制一起工作

我是貓頭鷹的新手。我在本頁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

貓頭鷹通用量化與基數限制一起工作

回答

相關問題