com.clarkparsia.owlapi.explanation.io

Class ConciseExplanationRenderer

java.lang.Object

com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer

All Implemented Interfaces:

ExplanationRenderer

public class ConciseExplanationRenderer
extends java.lang.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, java.util.Set<java.util.Set<OWLAxiom>> explanations)
void	startRendering(java.io.Writer w)

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(java.io.Writer w)

Specified by:

startRendering in interface ExplanationRenderer

Parameters:

w - the writer to use

render

public void render(OWLAxiom axiom,
          java.util.Set<java.util.Set<OWLAxiom>> explanations)
            throws OWLException,
                   java.io.IOException

Specified by:

render in interface ExplanationRenderer

Parameters:

axiom - the axiom to render

explanations - the explanations to render

Throws:

OWLException - OWL troubles

java.io.IOException - IO troubles

endRendering

public void endRendering()

Description copied from interface: ExplanationRenderer

end of rendering

Specified by:

endRendering in interface ExplanationRenderer