com.clarkparsia.owlapi.explanation.io

Interface ExplanationRenderer

All Known Implementing Classes:

ConciseExplanationRenderer, SilentExplanationRenderer

public interface ExplanationRenderer

Renderer for explanations.

Method Summary

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(@Nonnull
                    Writer writer)
             throws OWLException,
                    IOException

Start rendering.

Parameters:

writer - the writer to use

Throws:

OWLException - OWL troubles

IOException - IO troubles

render

void render(@Nonnull
            OWLAxiom axiom,
            @Nonnull
            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