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

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

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

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

类层次结构:

爱神:

推断的类层次结构:


我错过了什么？

编辑:

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

hasParent some Beautiful

但不是在这个:

hasParent exactly 1 Beautiful

但即使我对 some 说 OK ，我也希望看到 Beautiful ，就像我在第二张图片中看到的 Child 一样，其中 Child 是由推理器推断出来的。

最佳答案

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

UDPATE:

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



现在推理者肯定会推断出阿佛洛狄忒和爱神都快乐，尽管在上面的本体论中从未断言。
这是一个对 Happy 概念的 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 也很漂亮:



希望能帮助到你。

关于rdf - OWL 和 DL 推理 : Why is Eros not beautiful?，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/35677096/