com.clarkparsia.explanation.io
Interface ExplanationRenderer

All Known Implementing Classes:
ConciseExplanationRenderer, SilentExplanationRenderer

public interface ExplanationRenderer

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

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

Method Detail

startRendering

void startRendering(java.io.Writer writer)
                    throws OWLException,
                           java.io.IOException
Throws:
OWLException
java.io.IOException

render

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

endRendering

void endRendering()
                  throws OWLException,
                         java.io.IOException
Throws:
OWLException
java.io.IOException