Uses of Interface
org.semanticweb.owl.inference.OWLConsistencyChecker

Packages that use OWLConsistencyChecker

org.semanticweb.owl.inference
org.semanticweb.owl.util
uk.ac.manchester.cs.owl.inference.dig11

Uses of OWLConsistencyChecker in org.semanticweb.owl.inference

Subinterfaces of OWLConsistencyChecker in org.semanticweb.owl.inference

interface	MonitorableOWLReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007 An OWLReasoner whose classification progress can be monitored.
interface	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.

Classes in org.semanticweb.owl.inference that implement OWLConsistencyChecker

class	MonitorableOWLReasonerAdapter Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007
class	NullReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 02-Jun-2008 A reasoner that does nothing.
class	OWLReasonerAdapter Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007

Uses of OWLConsistencyChecker in org.semanticweb.owl.util

Classes in org.semanticweb.owl.util that implement OWLConsistencyChecker

class

OWLReasonerMediator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Apr-2007 Acts as mediator with an OWLReasoner.

Uses of OWLConsistencyChecker in uk.ac.manchester.cs.owl.inference.dig11

Classes in uk.ac.manchester.cs.owl.inference.dig11 that implement OWLConsistencyChecker

class

DIGReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 21-Nov-2006 A DIG reasoner supports queries about classes and individual.