Inference in protége

Question

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é?

Answer 1

Sure, you're saying that when you have:

        A →_passed B →_{providesSkill} C

you want to infer that

        A →_hasSkill C

You can do that with the subproperty chain axiom:

        passed • providesSkill ⊑ hasSkill

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).