com.clarkparsia.owlapi.explanation.io.manchester

Class ManchesterSyntaxObjectRenderer

java.lang.Object

com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor, org.semanticweb.owlapi.model.OWLAnnotationValueVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor, org.semanticweb.owlapi.model.OWLDataRangeVisitor, org.semanticweb.owlapi.model.OWLDataVisitor, org.semanticweb.owlapi.model.OWLEntityVisitor, org.semanticweb.owlapi.model.OWLIndividualVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor, org.semanticweb.owlapi.model.OWLNamedObjectVisitor, org.semanticweb.owlapi.model.OWLObjectVisitor, org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor, org.semanticweb.owlapi.model.SWRLObjectVisitor

public class ManchesterSyntaxObjectRenderer
extends Object
implements org.semanticweb.owlapi.model.OWLObjectVisitor

Field Summary

Fields

Modifier and Type	Field and Description
protected BlockWriter	writer

Constructor Summary

Constructors

Constructor and Description
ManchesterSyntaxObjectRenderer(BlockWriter writer)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isSmartIndent()
boolean	isWrapLines()
void	setSmartIndent(boolean smartIndent)
void	setWrapLines(boolean wrapLines)
protected String	shortForm(org.semanticweb.owlapi.model.IRI theIRI) Return the short form (local name) for a URI identifier
void	visit(org.semanticweb.owlapi.model.IRI iri)
void	visit(org.semanticweb.owlapi.model.OWLAnnotation theAnnotation)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLAnonymousIndividual theIndividual)
void	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLClass theOWLClass)
void	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDataComplementOf theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDataExactCardinality theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDataHasValue theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)
void	visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDataMinCardinality theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDataOneOf theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDataProperty theProperty)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom theDescription)
void	visit(org.semanticweb.owlapi.model.OWLDatatype node)
void	visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction theRestriction)
void	visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)
void	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLFacetRestriction theRestriction)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLLiteral node)
void	visit(org.semanticweb.owlapi.model.OWLNamedIndividual theIndividual)
void	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectComplementOf theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasSelf theRestriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasValue theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectInverseOf theInverse)
void	visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectOneOf theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectProperty theProperty)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom theDescription)
void	visit(org.semanticweb.owlapi.model.OWLObjectUnionOf theDescription)
void	visit(org.semanticweb.owlapi.model.OWLOntology ontology)
void	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom theAxiom)
void	visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)
void	visit(org.semanticweb.owlapi.model.SWRLClassAtom node)
void	visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom node)
void	visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom node)
void	visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom node)
void	visit(org.semanticweb.owlapi.model.SWRLIndividualArgument node)
void	visit(org.semanticweb.owlapi.model.SWRLLiteralArgument node)
void	visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom node)
void	visit(org.semanticweb.owlapi.model.SWRLRule rule)
void	visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom node)
void	visit(org.semanticweb.owlapi.model.SWRLVariable node)
protected void	write(org.semanticweb.owlapi.model.IRI iri)
protected void	write(Keyword keyword)
protected void	write(org.semanticweb.owlapi.model.OWLObject object)
protected void	write(String s)
protected void	writeCardinalityRestriction(org.semanticweb.owlapi.model.OWLCardinalityRestriction<?> theRestriction, Keyword theKeyword)
protected void	writeCollection(Collection<? extends org.semanticweb.owlapi.model.OWLObject> objects, String separator, boolean sort)
protected void	writeEnumeration(Set<? extends org.semanticweb.owlapi.model.OWLObject> objects)
protected void	writeKeywordInfix(Keyword keyword, org.semanticweb.owlapi.model.OWLObject arg1, org.semanticweb.owlapi.model.OWLObject arg2)
protected void	writeKeywordPrefix(Keyword keyword, org.semanticweb.owlapi.model.OWLObject arg)
protected void	writeKeywordPrefix(Keyword keyword, org.semanticweb.owlapi.model.OWLObject arg1, org.semanticweb.owlapi.model.OWLObject arg2)
protected void	writeNaryAxiom(Set<? extends org.semanticweb.owlapi.model.OWLObject> set, Keyword binary, Keyword nary) Render an n-ary axiom with special handling for the binary case.
protected void	writeNaryKeyword(Keyword theKeyword, Set<? extends org.semanticweb.owlapi.model.OWLObject> theObjects)
protected void	writeNewLine()
protected void	writeQuantifiedRestriction(org.semanticweb.owlapi.model.OWLQuantifiedRestriction<?> theRestriction, Keyword theKeyword)
protected void	writeRestriction(org.semanticweb.owlapi.model.OWLPropertyExpression theProperty, Keyword theKeyword, Object... theArgs)
protected void	writeSpace()
protected void	writeUnaryPropertyAxiom(org.semanticweb.owlapi.model.OWLUnaryPropertyAxiom<?> theAxiom, Keyword keyword)

Methods inherited from class java.lang.Object

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

Field Detail

writer

protected BlockWriter writer

Constructor Detail

ManchesterSyntaxObjectRenderer

public ManchesterSyntaxObjectRenderer(BlockWriter writer)

Parameters:

writer -

Method Detail

isSmartIndent

public boolean isSmartIndent()

isWrapLines

public boolean isWrapLines()

setSmartIndent

public void setSmartIndent(boolean smartIndent)

setWrapLines

public void setWrapLines(boolean wrapLines)

shortForm

protected String shortForm(org.semanticweb.owlapi.model.IRI theIRI)

Return the short form (local name) for a URI identifier

Parameters:

theIRI - the URI

Returns:

the local name part of the URI identifier

visit

public void visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLClass theOWLClass)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotation theAnnotation)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataComplementOf theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataOneOf theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataProperty theProperty)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLFacetRestriction theRestriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction theRestriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDatatype node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataHasValue theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnonymousIndividual theIndividual)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLIndividualVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNamedIndividual theIndividual)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLIndividualVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectProperty theProperty)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectInverseOf theInverse)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf theRestriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue theDescription)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLLiteral node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLLiteralArgument node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLIndividualArgument node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLVariable node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLClassAtom node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLRule rule)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom node)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

writeNaryKeyword

protected void writeNaryKeyword(Keyword theKeyword,
                    Set<? extends org.semanticweb.owlapi.model.OWLObject> theObjects)

writeCardinalityRestriction

protected void writeCardinalityRestriction(org.semanticweb.owlapi.model.OWLCardinalityRestriction<?> theRestriction,
                               Keyword theKeyword)

writeNaryAxiom

protected void writeNaryAxiom(Set<? extends org.semanticweb.owlapi.model.OWLObject> set,
                  Keyword binary,
                  Keyword nary)

Render an n-ary axiom with special handling for the binary case.

Parameters:

set - objects to be rendered

binary - keyword used for binary case

nary - keyword used for n-ary case

writeQuantifiedRestriction

protected void writeQuantifiedRestriction(org.semanticweb.owlapi.model.OWLQuantifiedRestriction<?> theRestriction,
                              Keyword theKeyword)

writeRestriction

protected void writeRestriction(org.semanticweb.owlapi.model.OWLPropertyExpression theProperty,
                    Keyword theKeyword,
                    Object... theArgs)

writeUnaryPropertyAxiom

protected void writeUnaryPropertyAxiom(org.semanticweb.owlapi.model.OWLUnaryPropertyAxiom<?> theAxiom,
                           Keyword keyword)

writeKeywordPrefix

protected void writeKeywordPrefix(Keyword keyword,
                      org.semanticweb.owlapi.model.OWLObject arg)

writeKeywordPrefix

protected void writeKeywordPrefix(Keyword keyword,
                      org.semanticweb.owlapi.model.OWLObject arg1,
                      org.semanticweb.owlapi.model.OWLObject arg2)

writeKeywordInfix

protected void writeKeywordInfix(Keyword keyword,
                     org.semanticweb.owlapi.model.OWLObject arg1,
                     org.semanticweb.owlapi.model.OWLObject arg2)

writeEnumeration

protected void writeEnumeration(Set<? extends org.semanticweb.owlapi.model.OWLObject> objects)

writeCollection

protected void writeCollection(Collection<? extends org.semanticweb.owlapi.model.OWLObject> objects,
                   String separator,
                   boolean sort)

write

protected void write(org.semanticweb.owlapi.model.OWLObject object)

write

protected void write(Keyword keyword)

write

protected void write(String s)

write

protected void write(org.semanticweb.owlapi.model.IRI iri)

writeNewLine

protected void writeNewLine()

writeSpace

protected void writeSpace()

visit

public void visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom theAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.IRI iri)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor