rdf - OWL 和 DL 推理 : Why is Eros not beautiful?

Question

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

Every person is beautiful if one of his/her parents is beautiful

Aphrodite is a parent of Eros

Aphrodite is beautiful

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

我的本体谎言 here (将扩展名更改为 .owl)。我还提供了 Protege 的截图:

类层次结构:

爱神:

推断的类层次结构:


我错过了什么？

编辑:

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

hasParent some Beautiful

但不是在这个:

hasParent exactly 1 Beautiful

但即使我对 some 说 OK ，我希望在我的第二张图片中看到美丽的 child ，其中 child 是由推理者推断出来的。

Answer 1

HermiT 推理器(内置 protege)怎么样？

UDPATE:

好的，这是我根据你的作业写的一个新本体(不过，我没有完成所有的句子，只是那些足以推断出爱神快乐的句子)。

For the RDF/XML syntax see this pastebin link

现在推理者肯定会推断出阿佛洛狄忒和爱神都快乐，尽管在上面的本体论中从未断言。
这是对 Happy concept 的 DL 查询，显示了结果，“注意我们只是查询哪些实例属于 Happy 概念”:



爱神终于开心了:)



这是 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>

更多更新:

Beautiful 上的 DL 查询也将 Eros 显示为 Beautiful:



希望能帮助到你。