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

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

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