Uses of Package
org.semanticweb.owlapi.reasoner

Packages that use org.semanticweb.owlapi.reasoner

Package	Description
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.reasoner.knowledgeexploration
org.semanticweb.owlapi.util

Classes in org.semanticweb.owlapi.reasoner used by org.semanticweb.owlapi.reasoner

Class and Description
AxiomNotInProfileException
BufferingMode Used to indicate the buffering mode of a reasoner.
ClassExpressionNotInProfileException
FreshEntitiesException Indicates that a query whose signature contained fresh entities was posed to the reasoner.
FreshEntityPolicy A fresh entity is an entity that is not a built in entity (see OWLEntity.isBuiltIn() and is not contained within the signature of the root ontology imports closure.
IllegalConfigurationException
InconsistentOntologyException This type of exception is thrown by an OWLReasoner to indicate that the imports closure of the root ontology (returned by OWLReasoner.getRootOntology()) is inconsistent.
IndividualNodeSetPolicy The policy of how a reasoner will return NodeSets of individuals for queries that return node sets of named individuals such as OWLReasoner.getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual, boolean) or OWLReasoner.getInstances(org.semanticweb.owlapi.model.OWLClassExpression, boolean) .
InferenceType An enumeration that denotes various types of inference task.
Node Represents a node (set) of entities.
NodeSet A set of Nodes.
OWLReasoner An OWLReasoner reasons over a set of axioms (the set of reasoner axioms) that is based on the imports closure of a particular ontology - the "root" ontology.
OWLReasonerConfiguration An OWLReasonerConfiguration can be used to customise the setup of a reasoner at reasoner creation time via an OWLReasonerFactory.
OWLReasonerRuntimeException
ReasonerInterruptedException
ReasonerProgressMonitor The ReasonerProgressMonitor interface should be implemented by objects that wish to montitor the progress of a resoner.
TimeOutException Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout.
UnsupportedEntailmentTypeException

Classes in org.semanticweb.owlapi.reasoner used by org.semanticweb.owlapi.reasoner.knowledgeexploration

Class and Description
Node Represents a node (set) of entities.
OWLReasoner An OWLReasoner reasons over a set of axioms (the set of reasoner axioms) that is based on the imports closure of a particular ontology - the "root" ontology.

Classes in org.semanticweb.owlapi.reasoner used by org.semanticweb.owlapi.util

Class and Description
OWLReasoner An OWLReasoner reasons over a set of axioms (the set of reasoner axioms) that is based on the imports closure of a particular ontology - the "root" ontology.