com.clarkparsia.owlapi.explanation.io

Interface ExplanationRenderer

All Known Implementing Classes:

ConciseExplanationRenderer, SilentExplanationRenderer

public interface ExplanationRenderer

Renderer for explanations

Method Summary

Methods

Modifier and Type	Method and Description
void	endRendering() end of rendering
void	render(org.semanticweb.owlapi.model.OWLAxiom axiom, Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations)
void	startRendering(Writer writer)

Method Detail

startRendering

void startRendering(Writer writer)
                    throws org.semanticweb.owlapi.model.OWLException,
                           IOException

Parameters:

writer - the writer to use

Throws:

org.semanticweb.owlapi.model.OWLException - OWL troubles

IOException - IO troubles

render

void render(org.semanticweb.owlapi.model.OWLAxiom axiom,
          Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations)
            throws org.semanticweb.owlapi.model.OWLException,
                   IOException

Parameters:

axiom - the axiom to render

explanations - the explanations to render

Throws:

org.semanticweb.owlapi.model.OWLException - OWL troubles

IOException - IO troubles

endRendering

void endRendering()
                  throws org.semanticweb.owlapi.model.OWLException,
                         IOException

end of rendering

Throws:

org.semanticweb.owlapi.model.OWLException - OWL troubles

IOException - IO troubles