门生推论

Question

我正在构建一个本体来寻找人们的技能。我想推断当一个人A通过了B课程并且B课程提供了技能C，那么A人就有了C技能。在Protégé中有没有办法做到这一点？

Answer 1

当然，你是说当你有：

        A →_通过 B →_提供技能 C

你想推断

        A →_hasSkill C

您可以使用子属性链公理来做到这一点：

        通过 •提供技能⊑有技能

有关如何在 Protege 中添加这些内容的更详细示例，请参阅（不完全重复）问题：Adding statements of knowledge to an OWL Ontology in Protege)。