org.semanticweb.owl.inference
Interface OWLConsistencyChecker

All Known Implementing Classes:

ConsistencyChecker, RACERConsistencyChecker

public interface 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). Sub interfaces will supply reasoners that advertise consistency checking for a particular subspecies of OWL. If asked to reason with an ontology outside their remit, an exception may be raised. This may occur either through an explicit setting of the ontology, or through a manipulation or edit of the ontology that the reasoner has been told to reason about.

Version:

$Id: OWLConsistencyChecker.java,v 1.1.1.1 2003/10/14 17:10:08 sean_bechhofer Exp $

Field Summary

static int	CONSISTENT
static int	INCONSISTENT
static int	UNKNOWN

Method Summary

int	consistency(OWLOntology onto) Knowledge base consistency test.

Field Detail

CONSISTENT

public static final int CONSISTENT

See Also:

Constant Field Values

INCONSISTENT

public static final int INCONSISTENT

See Also:

Constant Field Values

UNKNOWN

public static final int UNKNOWN

See Also:

Constant Field Values

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.

OWLException