uk.ac.man.cs.img.owl.inference.firstorder
Class ConsistencyChecker

java.lang.Object
  |
  +--uk.ac.man.cs.img.owl.inference.firstorder.ConsistencyChecker

All Implemented Interfaces:

OWLConsistencyChecker

public class ConsistencyChecker

extends Object

implements OWLConsistencyChecker

An OWL consistency checker. Will report on the consistency of an OWL ontology (e.g. whether it is possible for the knowledge base to be satisfiable).

Version:

$Id: ConsistencyChecker.java,v 1.1.1.1 2003/10/14 17:10:15 sean_bechhofer Exp $

Field Summary

Fields inherited from interface org.semanticweb.owl.inference.OWLConsistencyChecker

CONSISTENT, INCONSISTENT, UNKNOWN

Constructor Summary

ConsistencyChecker()

Method Summary

int	consistency(OWLOntology onto) Knowledge base consistency test.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConsistencyChecker

public ConsistencyChecker()

Method Detail

consistency

public int consistency(OWLOntology onto)
                throws OWLException

Knowledge base consistency test. Returns CONSISTENT if it is possible to have a model. Returns INCONSISTENT if it is not possible to have a model. Returns UNKNOWN if it can't tell.

Specified by:

consistency in interface OWLConsistencyChecker

OWLException