org.semanticweb.owl.explanation.impl.blackbox.hst

Interface ExplanationGeneratorMediator<E>

All Known Implementing Classes:

BlackBoxExplanationGenerator2

public interface ExplanationGeneratorMediator<E>

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

Method Summary

Methods

Modifier and Type	Method and Description
void	addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
Explanation<E>	generateExplanation(E entailment)
void	removeAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Method Detail

generateExplanation

Explanation<E> generateExplanation(E entailment)

removeAxiom

void removeAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

addAxiom

void addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)