com.clarkparsia.owlapi.explanation.io

Class ConciseExplanationRenderer

java.lang.Object

com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer

All Implemented Interfaces:

ExplanationRenderer

public class ConciseExplanationRenderer
extends Object
implements ExplanationRenderer

Explanation renderer in concise form.

Constructor Summary

Constructors

Constructor and Description
ConciseExplanationRenderer()

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 w) Start rendering.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConciseExplanationRenderer

public ConciseExplanationRenderer()

Method Detail

startRendering

public void startRendering(Writer w)

Description copied from interface: ExplanationRenderer

Start rendering.

Specified by:

startRendering in interface ExplanationRenderer

Parameters:

w - the writer to use

render

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

Description copied from interface: ExplanationRenderer

Render.

Specified by:

render in interface ExplanationRenderer

Parameters:

axiom - the axiom to render

explanations - the explanations to render

Throws:

OWLException - OWL troubles

IOException - IO troubles

endRendering

public void endRendering()

Description copied from interface: ExplanationRenderer

end of rendering.

Specified by:

endRendering in interface ExplanationRenderer