OWL和DL推理:为什么爱神不漂亮?

问题描述

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

I have created an ontology based on:

因此，我们希望爱神(Eros)也会变得美丽！但是，Pellet推理程序似乎无法推断出这一点.如果我手动将Eros的类型设置为成功，它将接受它，但是不应该推断出来吗?

thus we would expect Eros to be beautiful too! However, the Pellet reasoner doesn't seem to infer that. If I manually put the type of Eros to successful, it will accept it, but shouldn't it infer it?

我的本​​体位于此处(将扩展名更改为.owl ).我还提供了Protege的屏幕截图:

My ontology lies here (change the extension to .owl). I am also providing screenshots from Protege:

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

Class hierarchy:Eros:Inferred class hierarchy:

我想念什么?

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

I can see Eros appearing in this DL query:

hasParent some Beautiful

但不在此范围内:

hasParent exactly 1 Beautiful

但是即使我对some说确定"，我还是希望在第二张图片中看到"Child"，因为推理者推断出"Child".

but still even if I say OK for some, I would expect to see Beautiful as I see Child in my 2nd picture, where Child is inferred by the reasoner.

推荐答案

HermiT推理程序(带有protege内置)如何处理?

What about the HermiT reasoner (built-in with protege) ?

好吧，这是我根据您的任务写的一个新的本体(尽管我并没有完成所有足以推断出爱神快乐的句子).

Ok, here is a new ontology I wrote based on your assignment (though, I didn't complete all sentences just the ones that suffice to infer that Eros is happy).

现在，推理者肯定会推断出阿芙罗狄蒂和爱神都快乐，尽管在上面的本体中从未断言过.这是一个针对Happy概念的DL查询，其中显示了结果:注意，我们只是查询哪些实例属于Happy概念":

Now the reasoner will certainly infer that both Aphrodite and Eros are happy, although that was never asserted in the ontology above.Here is a DL query for Happy concept that shows the result, "notice we just query which instances belongs to Happy concept":

爱神终于开心了:)

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

MORE UPDATE:

DL query on Beautiful shows Eros as Beautiful too:

希望有帮助.

这篇关于OWL和DL推理:为什么爱神不漂亮?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！