推理保护
Inference in protége
我正在构建一个 ontology 来寻找人们的技能。我想推断，当A通过了B课程，B课程提供了C技能，那么A就拥有了C技能。在Protégé中有没有办法做到这一点？
当然，你是说当你有：
A →通过 B →提供技能 C
您想推断
A →hasSkill C
您可以使用子属性链公理来做到这一点：
通过 •提供技能 ⊑有技能
有关如何在 Protege 中添加这些内容的更详细示例，请参阅（不是完全重复的）问题：Adding statements of knowledge to an OWL Ontology in Protege)。
我正在构建一个 ontology 来寻找人们的技能。我想推断，当A通过了B课程，B课程提供了C技能，那么A就拥有了C技能。在Protégé中有没有办法做到这一点？
当然，你是说当你有：
A →通过 B →提供技能 C
您想推断
A →hasSkill C
您可以使用子属性链公理来做到这一点：
通过 •提供技能 ⊑有技能
有关如何在 Protege 中添加这些内容的更详细示例，请参阅（不是完全重复的）问题：Adding statements of knowledge to an OWL Ontology in Protege)。