Uses of Class
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

Packages that use ClassExpressionNotInProfileException

Package	Description
org.semanticweb.owlapi.reasoner

Uses of ClassExpressionNotInProfileException in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that throw ClassExpressionNotInProfileException

Modifier and Type	Method and Description
Node<OWLClass>	OWLReasoner.getEquivalentClasses(OWLClassExpression ce) Gets the set of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms.
NodeSet<OWLNamedIndividual>	OWLReasoner.getInstances(OWLClassExpression ce, boolean direct) Gets the individuals which are instances of the specified class expression.
NodeSet<OWLClass>	OWLReasoner.getSubClasses(OWLClassExpression ce, boolean direct) Gets the set of named classes that are the strict (potentially direct) subclasses of the specified class expression with respect to the reasoner axioms.
NodeSet<OWLClass>	OWLReasoner.getSuperClasses(OWLClassExpression ce, boolean direct) Gets the set of named classes that are the strict (potentially direct) super classes of the specified class expression with respect to the imports closure of the root ontology.
boolean	OWLReasoner.isSatisfiable(OWLClassExpression classExpression) A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.