com.clarkparsia.owlapi.explanation.io.manchester

Class ManchesterSyntaxExplanationRenderer

java.lang.Object

com.clarkparsia.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

Field Summary

Fields

Modifier and Type	Field and Description
protected org.semanticweb.owlapi.model.OWLAxiom	currentAxiom
protected ManchesterSyntaxObjectRenderer	renderer
protected BlockWriter	writer

Constructor Summary

Constructors

Constructor and Description
ManchesterSyntaxExplanationRenderer()

Method Summary

Modifier and Type	Method and Description
void	endRendering()
protected org.semanticweb.owlapi.model.OWLAxiom	getCurrentAxiom() Returns the current axioms being whose explanation is being rendered or null if no axiom has been provided.
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.
protected void	renderSingleExplanation(Set<org.semanticweb.owlapi.model.OWLAxiom> explanation)
protected void	setCurrentAxiom(org.semanticweb.owlapi.model.OWLAxiom currentAxiom)
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

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

Field Detail

renderer

protected ManchesterSyntaxObjectRenderer renderer

writer

protected BlockWriter writer

currentAxiom

protected org.semanticweb.owlapi.model.OWLAxiom currentAxiom

Constructor Detail

ManchesterSyntaxExplanationRenderer

public ManchesterSyntaxExplanationRenderer()

Method Detail

endRendering

public void endRendering()

Specified by:

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

getCurrentAxiom

protected org.semanticweb.owlapi.model.OWLAxiom getCurrentAxiom()

Returns the current axioms being whose explanation is being rendered or null if no axiom has been provided.

Returns:

the current axioms being whose explanation is being rendered or null if no axiom has been provided

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

renderSingleExplanation

protected void renderSingleExplanation(Set<org.semanticweb.owlapi.model.OWLAxiom> explanation)
                                throws org.semanticweb.owlapi.model.OWLException,
                                       IOException

Throws:

org.semanticweb.owlapi.model.OWLException

IOException

setCurrentAxiom

protected void setCurrentAxiom(org.semanticweb.owlapi.model.OWLAxiom currentAxiom)

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