org.semanticweb.owlapi.inference
Interface OWLReasoner

All Superinterfaces:
OWLClassReasoner, OWLConsistencyChecker, OWLIndividualReasoner, OWLPropertyReasoner, OWLReasonerBase, OWLSatisfiabilityChecker
All Known Subinterfaces:
MonitorableOWLReasoner
All Known Implementing Classes:
DIGReasoner, MonitorableOWLReasonerAdapter, NullReasoner, OWLReasonerAdapter, OWLReasonerMediator

public interface OWLReasoner
extends OWLConsistencyChecker, OWLClassReasoner, OWLIndividualReasoner, OWLPropertyReasoner

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.


Method Summary
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLConsistencyChecker
isConsistent
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLClassReasoner
getAncestorClasses, getDescendantClasses, getEquivalentClasses, getSubClasses, getSuperClasses, getUnsatisfiableClasses, isEquivalentClass, isSubClassOf
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLSatisfiabilityChecker
isSatisfiable
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLIndividualReasoner
getDataPropertyRelationships, getIndividuals, getObjectPropertyRelationships, getRelatedIndividuals, getRelatedValues, getTypes, hasDataPropertyRelationship, hasObjectPropertyRelationship, hasType
 
Methods inherited from interface org.semanticweb.owlapi.inference.OWLPropertyReasoner
getAncestorProperties, getAncestorProperties, getDescendantProperties, getDescendantProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getInverseProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAsymmetric, isFunctional, isFunctional, isInverseFunctional, isIrreflexive, isReflexive, isSymmetric, isTransitive