org.semanticweb.owlapi.dlsyntax.renderer

Class DLSyntaxObjectRenderer

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxObjectRenderer

All Implemented Interfaces:

OWLObjectRenderer, OWLAnnotationAxiomVisitor, OWLAnnotationObjectVisitor, OWLAnnotationValueVisitor, OWLAxiomVisitor, OWLClassExpressionVisitor, OWLDataRangeVisitor, OWLDataVisitor, OWLEntityVisitor, OWLIndividualVisitor, OWLLogicalAxiomVisitor, OWLNamedObjectVisitor, OWLObjectVisitor, OWLPropertyExpressionVisitor, SWRLObjectVisitor

public class DLSyntaxObjectRenderer
extends OWLObjectVisitorAdapter
implements OWLObjectRenderer, OWLObjectVisitor

Renders objects in unicode DL syntax.

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor and Description
DLSyntaxObjectRenderer() default constructor

Method Summary

Modifier and Type	Method and Description
boolean	isFocusedObject(OWLObject obj)
String	render(OWLObject object)
void	setFocusedObject(OWLObject focusedObject)
void	setShortFormProvider(ShortFormProvider shortFormProvider)
void	visit(OWLAsymmetricObjectPropertyAxiom axiom)
void	visit(OWLClass ce)
void	visit(OWLClassAssertionAxiom axiom)
void	visit(OWLDataAllValuesFrom ce)
void	visit(OWLDataComplementOf node)
void	visit(OWLDataExactCardinality ce)
void	visit(OWLDataHasValue ce)
void	visit(OWLDataIntersectionOf node)
void	visit(OWLDataMaxCardinality ce)
void	visit(OWLDataMinCardinality ce)
void	visit(OWLDataOneOf node)
void	visit(OWLDataProperty property)
void	visit(OWLDataPropertyAssertionAxiom axiom)
void	visit(OWLDataPropertyDomainAxiom axiom)
void	visit(OWLDataPropertyRangeAxiom axiom)
void	visit(OWLDataSomeValuesFrom ce)
void	visit(OWLDatatype node)
void	visit(OWLDatatypeRestriction node)
void	visit(OWLDataUnionOf node)
void	visit(OWLDifferentIndividualsAxiom axiom)
void	visit(OWLDisjointClassesAxiom axiom)
void	visit(OWLDisjointDataPropertiesAxiom axiom)
void	visit(OWLDisjointObjectPropertiesAxiom axiom)
void	visit(OWLDisjointUnionAxiom axiom)
void	visit(OWLEquivalentClassesAxiom axiom)
void	visit(OWLEquivalentDataPropertiesAxiom axiom)
void	visit(OWLEquivalentObjectPropertiesAxiom axiom)
void	visit(OWLFacetRestriction node)
void	visit(OWLFunctionalDataPropertyAxiom axiom)
void	visit(OWLFunctionalObjectPropertyAxiom axiom)
void	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	visit(OWLInverseObjectPropertiesAxiom axiom)
void	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
void	visit(OWLLiteral node)
void	visit(OWLNamedIndividual individual)
void	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
void	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectAllValuesFrom ce)
void	visit(OWLObjectComplementOf ce)
void	visit(OWLObjectExactCardinality ce)
void	visit(OWLObjectHasSelf ce)
void	visit(OWLObjectHasValue ce)
void	visit(OWLObjectIntersectionOf ce)
void	visit(OWLObjectInverseOf property)
void	visit(OWLObjectMaxCardinality ce)
void	visit(OWLObjectMinCardinality ce)
void	visit(OWLObjectOneOf ce)
void	visit(OWLObjectProperty property)
void	visit(OWLObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectPropertyDomainAxiom axiom)
void	visit(OWLObjectPropertyRangeAxiom axiom)
void	visit(OWLObjectSomeValuesFrom ce)
void	visit(OWLObjectUnionOf ce)
void	visit(OWLOntology ontology)
void	visit(OWLReflexiveObjectPropertyAxiom axiom)
void	visit(OWLSameIndividualAxiom axiom)
void	visit(OWLSubClassOfAxiom axiom)
void	visit(OWLSubDataPropertyOfAxiom axiom)
void	visit(OWLSubObjectPropertyOfAxiom axiom)
void	visit(OWLSubPropertyChainOfAxiom axiom)
void	visit(OWLSymmetricObjectPropertyAxiom axiom)
void	visit(OWLTransitiveObjectPropertyAxiom axiom)
void	visit(SWRLBuiltInAtom node)
void	visit(SWRLClassAtom node)
void	visit(SWRLDataPropertyAtom node)
void	visit(SWRLDataRangeAtom node)
void	visit(SWRLDifferentIndividualsAtom node)
void	visit(SWRLIndividualArgument node)
void	visit(SWRLLiteralArgument node)
void	visit(SWRLObjectPropertyAtom node)
void	visit(SWRLRule rule)
void	visit(SWRLSameIndividualAtom node)
void	visit(SWRLVariable node)

Methods inherited from class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLEntityVisitor

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLIndividualVisitor

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor

visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

Constructor Detail

DLSyntaxObjectRenderer

public DLSyntaxObjectRenderer()

default constructor

Method Detail

setFocusedObject

public void setFocusedObject(@Nonnull
                             OWLObject focusedObject)

Parameters:

focusedObject - focused object

isFocusedObject

public boolean isFocusedObject(OWLObject obj)

Parameters:

obj - object

Returns:

true if object is equal to focused object

setShortFormProvider

public void setShortFormProvider(ShortFormProvider shortFormProvider)

Specified by:

setShortFormProvider in interface OWLObjectRenderer

render

@Nonnull
public String render(OWLObject object)

Specified by:

render in interface OWLObjectRenderer

visit

public void visit(OWLOntology ontology)

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLSameIndividualAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(SWRLRule rule)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLClass ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectIntersectionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectUnionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectComplementOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectHasValue ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectHasSelf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectOneOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataHasValue ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDatatype node)

Specified by:

visit in interface OWLDataRangeVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataComplementOf node)

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataOneOf node)

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDatatypeRestriction node)

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLLiteral node)

Specified by:

visit in interface OWLAnnotationValueVisitor

Specified by:

visit in interface OWLDataVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLFacetRestriction node)

Specified by:

visit in interface OWLDataVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectProperty property)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLObjectInverseOf property)

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataProperty property)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLNamedIndividual individual)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLIndividualVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLClassAtom node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLDataRangeAtom node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLObjectPropertyAtom node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLDataPropertyAtom node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLBuiltInAtom node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLVariable node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLIndividualArgument node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLLiteralArgument node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLSameIndividualAtom node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(SWRLDifferentIndividualsAtom node)

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataIntersectionOf node)

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(OWLDataUnionOf node)

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter