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