推理 [英] Inference in protége

问题描述

我正在建立一个本体来发现人们的技能.我想推断出，当一个人A通过了课程B并且课程B提供了技能C时，那么人A就拥有了技能C.Protégé中有没有办法做到这一点?

I'm building an ontology to find peoples' skills. I want to infer that when a person A passed a course B and course B provides skill C, then person A has skill C. Is there a way to do this in Protégé?

推荐答案

当然，您说的是:

       A→ _passed B→ _提供技能 C

        A →_passed B →_{providesSkill} C

您要推断这一点

       A→ _hasSkill C

        A →_hasSkill C

您可以使用子财产链公理来做到这一点:

You can do that with the subproperty chain axiom:

        通过•提供技能⊑ hasSkill

        passed • providesSkill ⊑ hasSkill

有关如何在Protege中添加这些内容的更详细的示例，请参阅(不是很重复)问题:添加知识陈述到Protege中的OWL本体).

For a more detailed example of how to add these in Protege, see the (not quite a duplicate) question: Adding statements of knowledge to an OWL Ontology in Protege).

这篇关于推理的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！