org.semanticweb.owl.inference
Interface OWLConsistencyChecker

All Superinterfaces:

OWLReasonerBase

All Known Subinterfaces:

MonitorableOWLReasoner, OWLReasoner

All Known Implementing Classes:

DIGReasoner, MonitorableOWLReasonerAdapter, 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 specified ontology is consistent

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 specified ontology is consistent

Parameters:

ontology - The ontology to check

Returns:

true if the ontology is consistent, or false if the ontology is not consistent.

Throws:

OWLReasonerException