org.semanticweb.owl.inference
Interface OWLReasoner

All Superinterfaces:

OWLClassReasoner, OWLConsistencyChecker, OWLIndividualReasoner, OWLPropertyReasoner, OWLReasonerBase, OWLSatisfiabilityChecker

All Known Subinterfaces:

MonitorableOWLReasoner

All Known Implementing Classes:

DIGReasoner, MonitorableOWLReasonerAdapter, 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.owl.inference.OWLConsistencyChecker

isConsistent

Methods inherited from interface org.semanticweb.owl.inference.OWLClassReasoner

getAncestorClasses, getDescendantClasses, getEquivalentClasses, getInconsistentClasses, getSubClasses, getSuperClasses, isEquivalentClass, isSubClassOf

Methods inherited from interface org.semanticweb.owl.inference.OWLSatisfiabilityChecker

isSatisfiable

Methods inherited from interface org.semanticweb.owl.inference.OWLIndividualReasoner

getDataPropertyRelationships, getIndividuals, getObjectPropertyRelationships, getRelatedIndividuals, getRelatedValues, getTypes, hasDataPropertyRelationship, hasObjectPropertyRelationship, hasType

Methods inherited from interface org.semanticweb.owl.inference.OWLPropertyReasoner

getAncestorProperties, getAncestorProperties, getDescendantProperties, getDescendantProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getInverseProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAntiSymmetric, isFunctional, isFunctional, isInverseFunctional, isIrreflexive, isReflexive, isSymmetric, isTransitive