com.clarkparsia.explanation.io
Class ConciseExplanationRenderer

java.lang.Object
  com.clarkparsia.explanation.io.ConciseExplanationRenderer

All Implemented Interfaces:

ExplanationRenderer

public class ConciseExplanationRenderer
extends java.lang.Object
implements ExplanationRenderer

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Constructor Summary

ConciseExplanationRenderer()

Method Summary

void	endRendering()
void	render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations)
void	startRendering(java.io.Writer writer)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConciseExplanationRenderer

public ConciseExplanationRenderer()

Method Detail

startRendering

public void startRendering(java.io.Writer writer)

Specified by:

startRendering in interface ExplanationRenderer

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

Throws:

OWLException

java.io.IOException

endRendering

public void endRendering()

Specified by:

endRendering in interface ExplanationRenderer