[OWLAPI-developer] Querying for the parent classes of an individual

[Berkan S. <ber...@ne...>]

Hello,

My question is on "how to query for the parent classes of an individual". The code below is how I create the individual 'Tom' and assign him as a member of class 'Cat' in my ontology:

  OWLIndividual tom = dataFactory.getOWLNamedIndividual(IRI.create(documentIRI + "#Tom"));
              OWLAxiom axiom = dataFactory.getOWLClassAssertionAxiom(cat, tom);
              manager.addAxiom(tomnjerryontology, axiom);

When I run a reasoner, I see that the individual 'Tom' is automatically appointed as the member of other classes in addition to 'Cat'. In other words, if 'Cat' is the asserted parent class of the Individual 'Tom', there exists some inferred parent classes 'Furry_Animal' and 'Cartoon_Character' which appear as a result of classifying the ontology.

My question is: How can I get these inferred parents of the individual 'Tom' through the OWL-API? I am aware that in order to query an ontology, I have to enter a class expression. But in this case, I would like to base my query on an individual 'Tom' and return all its inferred parent classes. The output I am aiming for is something like:

The individual 'Tom' is a member of 'Cat' class (asserted - see code above)
The individual 'Tom' is a member of 'Furry_Animal' class (inferred upon classification)
The individual 'Tom' is a member of 'Cartoon_Character' class (inferred upon classification)
Thank you very much in advance for your time.

Best regards,
Berkan