OWL和DL推理：为什么爱神不漂亮？

Question

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

1.   

   如果他/她的父母之一很漂亮，每个人都很漂亮

2.   

   阿芙罗狄蒂是爱神的父母

3.   

   阿芙罗狄蒂很漂亮

因此，我们希望爱神也是美丽的！然而，Pellet推理者似乎并没有推断出这一点。如果我手动将Eros的类型设置为成功，它会接受它，但它不应该推断它吗？

我的本​​体是here（将扩展名更改为.owl）。我还提供来自Protege的截图：

类层次结构： 爱神： 推断的类层次结构：

我错过了什么？

编辑：

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

hasParent some Beautiful

但不在此：

hasParent exactly 1 Beautiful

但即使我对some说好，我也希望看到美丽，因为我在第二张照片中看到了孩子，其中儿童是由推理者推断的。

Answer 1

HermiT推理器（内置了protege）怎么样？

UDPATE：

好的，这是我根据你的作业编写的一个新的本体论（尽管如此，我还没有完成所有句子，只能说明那些足以推断出爱神很快乐的句子）。

  

对于RDF / XML语法see this pastebin link

现在推理者肯定会推断阿芙罗狄蒂和爱神都很高兴，尽管在上面的本体论中从未断言过。 这是一个显示结果的快乐概念的DL查询，＆＃34;请注意我们只查询哪些实例属于Happy概念＆＃34;：

爱神终于高兴了：）

这是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查询显示爱神也是美丽的：

希望它有所帮助。