Uses of Package
org.semanticweb.owlapi.reasoner

Packages that use org.semanticweb.owlapi.reasoner

Package	Description
com.clarkparsia.owlapi.explanation	Explanation package.
com.clarkparsia.owlapi.modularity.locality	Locality package.
org.semanticweb.owlapi.debugging	Debugging package.
org.semanticweb.owlapi.metrics	Metrics package.
org.semanticweb.owlapi.modularity	Modularity interface package.
org.semanticweb.owlapi.profiles	Profile classes.
org.semanticweb.owlapi.reasoner	OWLReasoner package.
org.semanticweb.owlapi.reasoner.impl	OWLReasoner implementation package.
org.semanticweb.owlapi.reasoner.knowledgeexploration	Knowledge exploration package.
org.semanticweb.owlapi.reasoner.structural	Structural reasoner implementation package.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapitools.decomposition
uk.ac.manchester.cs.owlapi.modularity	Modularity package.

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

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

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) .
InferenceDepth An enumeration that denotes depth of inference: direct or indirect relations, e.g., all subclasses or only direct subclasses.
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
ReasonerProgressMonitor The ReasonerProgressMonitor interface should be implemented by objects that wish to montitor the progress of a resoner.

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

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 org.semanticweb.owlapitools.decomposition

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