OWL 和DL推理：爱欲为什么不美？

Question

我创建了一个 ontology 基于：

Every person is beautiful if one of his/her parents is beautiful
Aphrodite is a parent of Eros
Aphrodite is beautiful

因此我们希望爱神也很美！但是，Pellet 推理机似乎并未推断出这一点。如果我手动把Eros的类型设置为successful，它会接受，但它不应该推断吗？

我的 ontology 位于 here（将扩展名更改为 .owl）。我还提供了 Protege 的屏幕截图：

Class 层级：爱欲：推断 class 层次结构：

我错过了什么？

编辑：

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

hasParent some Beautiful

但不在这个：

hasParent exactly 1 Beautiful

但即使我对 some 说 OK，我仍然希望看到 Beautiful，因为我在第二张图片中看到了 Child，推理者推断出 Child。

Answer 1

HermiT 推理器（内置保护程序）怎么样？

更新：

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

For the RDF/XML syntax see this pastebin link

现在推理者肯定会推断出阿芙罗狄蒂和爱神都快乐，尽管这在上面的 ontology 中从未断言过。这是 Happy 概念的 DL 查询，它显示了结果，"notice we just query which instances belongs to Happy concept":

爱神终于开心了:)

这里和Manchester syntax

中的ontology一样

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>

OWL 和DL推理：爱欲为什么不美？

OWL and DL Reasoning: Why is Eros not beautiful?

rdf

owl

pellet

protege

reasoning

更新：

更多更新：