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.