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

Packages that use AxiomNotInProfileException

Package	Description
org.semanticweb.owlapi.reasoner

Uses of AxiomNotInProfileException in org.semanticweb.owlapi.reasoner

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

Modifier and Type	Method and Description
boolean	OWLReasoner.isEntailed(OWLAxiom axiom) A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.
boolean	OWLReasoner.isEntailed(Set<? extends OWLAxiom> axioms) Determines if the specified set of axioms is entailed by the reasoner axioms.