Uses of Package
org.semanticweb.owlapi.reasoner

Packages that use org.semanticweb.owlapi.reasoner

Package	Description
com.clarkparsia.owlapi.explanation
com.clarkparsia.owlapi.modularity.locality
org.semanticweb.owlapi.debugging
org.semanticweb.owlapi.metrics
org.semanticweb.owlapi.modularity
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.reasoner.impl
org.semanticweb.owlapi.reasoner.knowledgeexploration
org.semanticweb.owlapi.reasoner.structural
org.semanticweb.owlapi.util
uk.ac.manchester.cs.owlapi.modularity

Classes in org.semanticweb.owlapi.reasoner used by com.clarkparsia.owlapi.explanation

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.
OWLReasonerFactory An OWLReasonerFactory is a point for creating instances of OWLReasoner objects.

Classes in org.semanticweb.owlapi.reasoner used by com.clarkparsia.owlapi.modularity.locality

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.
OWLReasonerFactory An OWLReasonerFactory is a point for creating instances of OWLReasoner objects.

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

Class and Description
OWLReasonerFactory An OWLReasonerFactory is a point for creating instances of OWLReasoner objects.

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

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.

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

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.

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.impl

Class and Description
BufferingMode Used to indicate the buffering mode of a 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.
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) .
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.

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.reasoner.structural

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.
OWLReasonerFactory An OWLReasonerFactory is a point for creating instances of OWLReasoner objects.
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.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.

Classes in org.semanticweb.owlapi.reasoner used by uk.ac.manchester.cs.owlapi.modularity

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.