Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

WonderWeb