openllet.owlapi.explanation.io.manchester

Class ManchesterSyntaxExplanationRenderer

java.lang.Object

openllet.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

All Implemented Interfaces:

com.clarkparsia.owlapi.explanation.io.ExplanationRenderer

public class ManchesterSyntaxExplanationRenderer
extends Object
implements com.clarkparsia.owlapi.explanation.io.ExplanationRenderer

An explanation renderer implementation that prints the axioms in the explanation using Manchester syntax.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
ManchesterSyntaxExplanationRenderer()

Method Summary

Modifier and Type	Method and Description
void	endRendering()
boolean	isSmartIndent() Returns the _current smart indent value.
boolean	isWrapLines() Returns the _current line wrapping value.
void	render(org.semanticweb.owlapi.model.OWLAxiom axiom, Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations)
void	render(Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations) Render an explanation without the axiom header.
void	setSmartIndent(boolean smartIndent) Sets the smart indent option which will align the elements of intersections and unions in columns when line wrapping is turned on.
void	setWrapLines(boolean wrapLines) Sets the line wrapping option which will print the elements of intersections and unions into multiple lines.
void	startRendering(Writer w)

Methods inherited from class java.lang.Object

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

Constructor Detail

ManchesterSyntaxExplanationRenderer

public ManchesterSyntaxExplanationRenderer()

Method Detail

endRendering

public void endRendering()

Specified by:

endRendering in interface com.clarkparsia.owlapi.explanation.io.ExplanationRenderer

isSmartIndent

public boolean isSmartIndent()

Returns the _current smart indent value.

Returns:

the _current smart indent value

isWrapLines

public boolean isWrapLines()

Returns the _current line wrapping value.

Returns:

the _current line wrapping value

render

public void render(Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations)
            throws org.semanticweb.owlapi.model.OWLException,
                   IOException,
                   UnsupportedOperationException

Render an explanation without the axiom header. This function is not guaranteed to be supported by the subclasses since an explanation renderer may rely on the axiom being explained to reorder the axioms or find irrelevant bits.

Parameters:

explanations - Set of explanations we are rendering

Throws:

org.semanticweb.owlapi.model.OWLException

IOException

UnsupportedOperationException

render

public void render(org.semanticweb.owlapi.model.OWLAxiom axiom,
                   Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations)
            throws org.semanticweb.owlapi.model.OWLException,
                   IOException

Specified by:

render in interface com.clarkparsia.owlapi.explanation.io.ExplanationRenderer

Throws:

org.semanticweb.owlapi.model.OWLException

IOException

setSmartIndent

public void setSmartIndent(boolean smartIndent)

Sets the smart indent option which will align the elements of intersections and unions in columns when line wrapping is turned on.

Parameters:

_smartIndent - the smart indent value

See Also:

setWrapLines(boolean)

setWrapLines

public void setWrapLines(boolean wrapLines)

Sets the line wrapping option which will print the elements of intersections and unions into multiple lines.

Parameters:

_wrapLines - the line wrapping value

startRendering

public void startRendering(Writer w)

Specified by:

startRendering in interface com.clarkparsia.owlapi.explanation.io.ExplanationRenderer