How to "forward" an object property from a pair of individuals to another?

27 views Asked by At

Supposing I have:

  • some individuals a1 and a2 from class A, b1 and b2 from class B
  • an object property "myProperty" from A to A or B to B.
  • an object property "otherProperty" from A to B
  • a1 :myProperty a2
  • a1 :otherProperty b1 and a2 :otherProperty b2

Is there a simple way to infer b1 :myProperty b2?

I am using Protégé with OWL, and I haven't found in the documentation (https://protegeproject.github.io/protege/views/object-property-characteristics) any way to do it.

0

There are 0 answers