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

Packages that use AxiomNotInProfileException

Package	Description
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.reasoner.structural

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.

Uses of AxiomNotInProfileException in org.semanticweb.owlapi.reasoner.structural

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

Modifier and Type	Method and Description
boolean	StructuralReasoner.isEntailed(OWLAxiom axiom)
boolean	StructuralReasoner.isEntailed(Set<? extends OWLAxiom> axioms)