Hi,
I have a simple ontology with two classes and an inverse property that looks like this:
Person hasPet Animal
Animal isAPetOf Person
For 'Person', I've specified that hasPet is an existential relationship (i.e. E hasPet Animal).
Is there a way to automatically make the inference that any individual that the inverse of that is also true (without me having to specifically add that to the model)? e.g. I need to ensure that if an individual satisfies the hasPet Animal, then that same individual satisfies the inverse relationship "isAPetOf".
Also, can someone show me how to do this using the Protege-OWL API (Im using Java).
Any help is much appreciated!
Thanks!
_______________________________________________
protege-owl mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-owlInstructions for unsubscribing:
http://protege.stanford.edu/doc/faq.html#01a.03
