org.semanticweb.owl.explanation.impl.blackbox

Interface EntailmentChecker<E>

All Known Implementing Classes:

ConsistencyEntailmentChecker, NonSimplePropertyEntailmentChecker, PatternBasedConsistencyEntailmentChecker, SatisfiabilityEntailmentChecker

public interface EntailmentChecker<E>

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

An interface to an object that checks to see if an entailment holds in a particular set of axioms.

Method Summary

Methods

Modifier and Type	Method and Description
int	getCounter()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getEntailingAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
E	getEntailment()
Set<org.semanticweb.owlapi.model.OWLEntity>	getEntailmentSignature()
String	getModularisationTypeDescription()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getModule(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
Set<org.semanticweb.owlapi.model.OWLEntity>	getSeedSignature()
boolean	isEntailed(Set<org.semanticweb.owlapi.model.OWLAxiom> axiom)
boolean	isUseModularisation()
void	resetCounter()

Method Detail

getCounter

int getCounter()

resetCounter

void resetCounter()

getEntailment

E getEntailment()

getEntailmentSignature

Set<org.semanticweb.owlapi.model.OWLEntity> getEntailmentSignature()

getSeedSignature

Set<org.semanticweb.owlapi.model.OWLEntity> getSeedSignature()

isEntailed

boolean isEntailed(Set<org.semanticweb.owlapi.model.OWLAxiom> axiom)

getEntailingAxioms

Set<org.semanticweb.owlapi.model.OWLAxiom> getEntailingAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

getModule

Set<org.semanticweb.owlapi.model.OWLAxiom> getModule(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

getModularisationTypeDescription

String getModularisationTypeDescription()

isUseModularisation

boolean isUseModularisation()