猫头鹰和DL推理：厄洛斯为什么不美？

Question

我创建了一个基于以下内容的本体论：

>

每个人都是美丽的，如果他/她的父母之一是美丽的

阿佛洛狄忒是厄洛斯的父母

因此，我们希望爱神也是美丽的！然而，弹丸推理者似乎并不是这样推断的。如果我手动将爱神的类型置为successful的话，它会接受它，但它难道不应该推断它吗？

我的本体论就在这里（将扩展改为.owl）。我还提供了来自Protege的截图：

我错过了什么？

编辑：

我可以看到Eros出现在这个DL查询中：

hasParent some Beautiful

但不是在这里：

hasParent exactly 1 Beautiful

Answer 1

隐士推理器（内置protege）怎么样？

好的，这是我根据你的作业写的一个新的本体论（虽然，我没有完成所有的句子，只是那些足以推断爱神是快乐的）。

有关RDF/XML语法，请参阅此pastebin链接

爱神终于幸福了：）

以下是Manchester Syntax中的相同本体

Ontology: <beautiful>


ObjectProperty: <beautiful#hasChild>


Class: <beautiful#Happy>

    EquivalentTo: 
        <beautiful#Person>
         and (<beautiful#hasChild> only <beautiful#Beautiful>),
        <beautiful#Beautiful>
         and <beautiful#Person>


Class: <beautiful#Beautiful>


Class: <beautiful#Successful>

    EquivalentTo: 
        <beautiful#Beautiful>
         and <beautiful#Successful>


Class: <beautiful#Child>


Class: <beautiful#Parent>


Class: <beautiful#Person>


Individual: <beautiful#Aphrodite>

    Types: 
        <beautiful#Beautiful>,
        <beautiful#Parent>,
        <beautiful#Person>

    Facts:  
     <beautiful#hasChild>  <beautiful#Eros>


Individual: <beautiful#Eros>

    Types: 
        <beautiful#Successful>,
        <beautiful#Person>

DL对Beautiful的查询显示爱神也很漂亮：