在质变中的推论

Question

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

Answer 1

当然，当你有：

时，你会说

A→_传递 B→_提供Skill C

你要推断

A→ _hasSkill C

您可以使用子属性链公理：

来实现

通过•provideSkill⊑hasSkill

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