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 Author: Matthew Horridge The University of Manchester Information Management Group Date: 22-Nov-2009
BufferingMode Author: Matthew Horridge The University of Manchester Information Management Group Date: 04-Dec-2009
ClassExpressionNotInProfileException Author: Matthew Horridge The University of Manchester Information Management Group Date: 22-Nov-2009
FreshEntitiesException Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009 Indicates that a query whose signature contained fresh entities was posed to the reasoner.
FreshEntityPolicy Author: Matthew Horridge The University of Manchester Information Management Group Date: 29-Nov-2009
IllegalConfigurationException Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
InconsistentOntologyException Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009 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 Author: Matthew Horridge The University of Manchester Information Management Group Date: 09-Dec-2009
InferenceType Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 04-Jul-2010 An enumeration that denotes various types of inference task.
Node Author: Matthew Horridge The University of Manchester Information Management Group Date: 03-Jul-2009
NodeSet Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-Aug-2009
OWLReasoner Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
OWLReasonerConfiguration Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
OWLReasonerRuntimeException Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
ReasonerInterruptedException Author: Matthew Horridge The University of Manchester Information Management Group Date: 29-Oct-2009
ReasonerProgressMonitor Author: Matthew Horridge The University of Manchester Information Management Group Date: 29-Nov-2009
TimeOutException Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-Sep-2009 Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout.
UnsupportedEntailmentTypeException Author: Matthew Horridge The University of Manchester Information Management Group Date: 18-Mar-2009

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

Class and Description
Node Author: Matthew Horridge The University of Manchester Information Management Group Date: 03-Jul-2009
OWLReasoner Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009

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

Class and Description
OWLReasoner Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009