org.semanticweb.owl.inference
Interface OWLConsistencyChecker

All Superinterfaces:

OWLReasonerBase

All Known Subinterfaces:

MonitorableOWLReasoner, OWLReasoner

All Known Implementing Classes:

DIGReasoner, MonitorableOWLReasonerAdapter, NullReasoner, OWLReasonerAdapter, OWLReasonerMediator

public interface OWLConsistencyChecker
extends OWLReasonerBase

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

Method Summary

boolean

isConsistent(OWLOntology ontology) Checks to see if the ontology that have been loaded into the reasoner are consistent in combination.

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

classify, clearOntologies, dispose, getLoadedOntologies, isClassified, isDefined, isDefined, isDefined, isDefined, isRealised, loadOntologies, realise, unloadOntologies

Method Detail

isConsistent

boolean isConsistent(OWLOntology ontology)
                     throws OWLReasonerException

Checks to see if the ontology that have been loaded into the reasoner are consistent in combination.

Parameters:

ontology - Implementations should ignore this parameter. It is here for legacy reasons.

Returns:

true if the loaded ontologies in combination are consistent, or false if the loaded ontologies in combination are not consistent.

Throws:

OWLReasonerException