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

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

2. Aphrodite is a parent of Eros

3. Aphrodite is beautiful

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

我的本体论在于here https://gsamaras.files.wordpress.com/2016/02/q3_so.pdf（将扩展名更改为 .owl）。我还提供了 Protege 的屏幕截图：

Class hierarchy: Eros: Inferred class hierarchy:

我缺少什么？

EDIT:

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

hasParent some Beautiful

但不是这样的：

hasParent exactly 1 Beautiful

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

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

UDPATE:

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

对于 RDF/XML 语法看到这个pastebin链接 http://pastebin.com/GXj7nzDk

现在，推理者肯定会推断出阿芙罗狄蒂和厄洛斯都是幸福的，尽管在上面的本体论中从未断言过这一点。 这是 Happy 概念的深度学习查询，显示了结果，“注意我们只是查询属于哪些实例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：

希望能帮助到你。