org.semanticweb.owl.inference
Interface OWLSatisfiabilityChecker

All Superinterfaces:

OWLReasonerBase

All Known Subinterfaces:

MonitorableOWLReasoner, OWLClassReasoner, OWLReasoner

All Known Implementing Classes:

DIGReasoner, MonitorableOWLReasonerAdapter, NullReasoner, OWLReasonerAdapter, OWLReasonerMediator, ToldClassHierarchyReasoner

public interface OWLSatisfiabilityChecker
extends OWLReasonerBase

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 01-Mar-2007

A minimal reasoner interface which allows the satisfiability of a class description to be checked.

Method Summary

boolean

isSatisfiable(OWLDescription description) Determines if the specified class is satisfiable.

Methods inherited from interface org.semanticweb.owl.inference.OWLReasonerBase

classify, clearOntologies, dispose, getLoadedOntologies, isClassified, isDefined, isDefined, isDefined, isDefined, isRealised, loadOntologies, realise, unloadOntologies

Method Detail

isSatisfiable

boolean isSatisfiable(OWLDescription description)
                      throws OWLReasonerException

Determines if the specified class is satisfiable.

Throws:

OWLReasonerException