CODEWITHSUNDEEP
owlsemantic-webowl-api
user2202810
user2202810

Reputation:

Check OWL Class

Suppose the range of an object property is defined through a class expression. I want to know whether a particular instance of the class can be used in the range of the object property. Is it possible to use the OWL API and check if a particular class is subsumed by this class expression ?

Upvotes: 0

Views: 119

Answers (1)

Ignazio
Ignazio

Reputation: 10684

OWLAPI cannot provide a complete answer for this - an OWLReasoner implementation is necessary for complete results.

Given an implementation of OWLReasoner, to check entailment you can either list all the subclasses of a class expression and check if the class you're interested in appears in the response, or ask the reasoner if your class of interest is a subclass, i.e.,

OWLDataFactory df = ...
OWLClassExpression ce = ...
OWLClass c = ...
OWLReasoner r = ...
OWLAxiom ax = df.getOWLObjectSubClassOf(c, ce);
boolean cIsSubclassOfCE = r.isEntailed(ax);

Upvotes: 1

Related Questions