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