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(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations) Render.
void	startRendering(Writer writer) Start rendering.

Method Detail

startRendering

void startRendering(Writer writer)
                    throws OWLException,
                           IOException

Start rendering.

Parameters:

writer - the writer to use

Throws:

OWLException - OWL troubles

IOException - IO troubles

render

void render(OWLAxiom axiom,
          Set<Set<OWLAxiom>> explanations)
            throws OWLException,
                   IOException

Render.

Parameters:

axiom - the axiom to render

explanations - the explanations to render

Throws:

OWLException - OWL troubles

IOException - IO troubles

endRendering

void endRendering()
                  throws OWLException,
                         IOException

end of rendering.

Throws:

OWLException - OWL troubles

IOException - IO troubles