org.semanticweb.owl.explanation.impl.blackbox

Interface EntailmentCheckerFactory<E>

All Known Implementing Classes:

ConsistencyEntailmentCheckerFactory, NSPEntailmentCheckerFactory, PatternBasedConsistencyEntailmentCheckerFactory, SatisfiabilityEntailmentCheckerFactory

public interface EntailmentCheckerFactory<E>

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

Method Summary

Methods

Modifier and Type	Method and Description
EntailmentChecker<E>	createEntailementChecker(E entailment)

Method Detail

createEntailementChecker

EntailmentChecker<E> createEntailementChecker(E entailment)