Package org.semanticweb.owl.inference

Interface Summary

MonitorableOWLReasoner	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007 An OWLReasoner whose classification progress can be monitored.
OWLClassReasoner	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
OWLConsistencyChecker	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
OWLIndividualReasoner	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
OWLPropertyReasoner	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
OWLReasoner	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning.
OWLReasonerBase	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 The base interface for OWL reasoner.
OWLReasonerFactory	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 20-Jun-2007 Represents a reasoner creation point.
OWLSatisfiabilityChecker	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 01-Mar-2007 A minimal reasoner interface which allows the satisfiability of a class description to be checked.

Class Summary

MonitorableOWLReasonerAdapter	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007
OWLReasonerAdapter	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007

Exception Summary

OWLInconsistentOntologyException	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 21-Sep-2007 An exception that indicates that the combination of axioms from the loaded ontologies result in Thing being equivalent to Nothing.
OWLReasonerException	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 13-Apr-2007 Describes a problem with a reasoner.
UndefinedEntityException	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Apr-2007 If an ask operations references an undefined entity, then this exception indicates this.
UnsupportedReasonerOperationException	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 10-Apr-2007 An exception which indicates that a reasoner does not support a particular operation, for example an "asks" or "query" operation.