uk.ac.manchester.cs.owlapi.dlsyntax
Class DLSyntaxObjectRenderer
java.lang.Object
uk.ac.manchester.cs.owlapi.dlsyntax.DLSyntaxObjectRenderer
- All Implemented Interfaces:
- OWLObjectRenderer, OWLAnnotationAxiomVisitor, OWLAnnotationObjectVisitor, OWLAnnotationValueVisitor, OWLAxiomVisitor, OWLClassExpressionVisitor, OWLDataRangeVisitor, OWLDataVisitor, OWLEntityVisitor, OWLIndividualVisitor, OWLObjectVisitor, OWLPropertyExpressionVisitor, SWRLObjectVisitor
public class DLSyntaxObjectRenderer
- extends java.lang.Object
- implements OWLObjectRenderer, OWLObjectVisitor
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Feb-2008
Renders objects in unicode DL syntax
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DLSyntaxObjectRenderer
public DLSyntaxObjectRenderer()
setFocusedObject
public void setFocusedObject(OWLObject focusedObject)
isFocusedObject
public boolean isFocusedObject(OWLObject obj)
setShortFormProvider
public void setShortFormProvider(ShortFormProvider shortFormProvider)
- Description copied from interface:
OWLObjectRenderer
- Sets the short form provider, which determines the short form
that should be used for entities.
- Specified by:
setShortFormProvider
in interface OWLObjectRenderer
- Parameters:
shortFormProvider
- The short form provider to be used.
render
public java.lang.String render(OWLObject object)
- Description copied from interface:
OWLObjectRenderer
- Renders the specified object.
- Specified by:
render
in interface OWLObjectRenderer
- Parameters:
object
- The object to be rendered.
- Returns:
- A string that represents the rendering
of the object.
visit
public void visit(OWLOntology ontology)
- Specified by:
visit
in interface OWLObjectVisitor
write
protected void write(java.lang.String s)
renderEntity
protected java.lang.String renderEntity(OWLEntity entity)
writeEntity
protected void writeEntity(OWLEntity entity)
write
protected void write(DLSyntax keyword)
write
protected void write(int i)
writeNested
protected void writeNested(OWLObject object)
isBracketedIfNested
protected boolean isBracketedIfNested(OWLObject object)
write
protected void write(java.util.Collection<? extends OWLObject> objects,
DLSyntax delim,
boolean nest)
visit
public void visit(OWLSubClassOfAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLAsymmetricObjectPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLReflexiveObjectPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDisjointClassesAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDataPropertyDomainAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLImportsDeclaration axiom)
visit
public void visit(OWLObjectPropertyDomainAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLEquivalentObjectPropertiesAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDifferentIndividualsAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDisjointDataPropertiesAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDisjointObjectPropertiesAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLObjectPropertyRangeAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLObjectPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLFunctionalObjectPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLSubObjectPropertyOfAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDisjointUnionAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDeclarationAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLAnnotationAssertionAxiom axiom)
- Specified by:
visit
in interface OWLAnnotationAxiomVisitor
visit
public void visit(OWLSymmetricObjectPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDataPropertyRangeAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLFunctionalDataPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLEquivalentDataPropertiesAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLClassAssertionAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLEquivalentClassesAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLDataPropertyAssertionAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLTransitiveObjectPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLSubDataPropertyOfAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLSameIndividualAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLSubPropertyChainOfAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLInverseObjectPropertiesAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(SWRLRule rule)
- Specified by:
visit
in interface OWLAxiomVisitor
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(OWLClass desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
- Specified by:
visit
in interface OWLEntityVisitor
visit
public void visit(OWLObjectIntersectionOf desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectUnionOf desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectComplementOf desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectSomeValuesFrom desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectAllValuesFrom desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectHasValue desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectMinCardinality desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectExactCardinality desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectMaxCardinality desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectHasSelf desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLObjectOneOf desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLDataSomeValuesFrom desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLDataAllValuesFrom desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLDataHasValue desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLDataMinCardinality desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLDataExactCardinality desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLDataMaxCardinality desc)
- Specified by:
visit
in interface OWLClassExpressionVisitor
visit
public void visit(OWLDatatype node)
- Specified by:
visit
in interface OWLDataRangeVisitor
- Specified by:
visit
in interface OWLEntityVisitor
visit
public void visit(OWLDataComplementOf node)
- Specified by:
visit
in interface OWLDataRangeVisitor
visit
public void visit(OWLDataOneOf node)
- Specified by:
visit
in interface OWLDataRangeVisitor
visit
public void visit(OWLDatatypeRestriction node)
- Specified by:
visit
in interface OWLDataRangeVisitor
visit
public void visit(OWLLiteral node)
- Specified by:
visit
in interface OWLAnnotationValueVisitor
- Specified by:
visit
in interface OWLDataVisitor
visit
public void visit(OWLFacetRestriction node)
- Specified by:
visit
in interface OWLDataVisitor
visit
public void visit(OWLObjectProperty property)
- Specified by:
visit
in interface OWLEntityVisitor
- Specified by:
visit
in interface OWLPropertyExpressionVisitor
visit
public void visit(OWLObjectInverseOf property)
- Specified by:
visit
in interface OWLPropertyExpressionVisitor
visit
public void visit(OWLDataProperty property)
- Specified by:
visit
in interface OWLEntityVisitor
- Specified by:
visit
in interface OWLPropertyExpressionVisitor
visit
public void visit(OWLNamedIndividual individual)
- Specified by:
visit
in interface OWLEntityVisitor
- Specified by:
visit
in interface OWLIndividualVisitor
visit
public void visit(OWLDatatypeDefinitionAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLHasKeyAxiom axiom)
- Specified by:
visit
in interface OWLAxiomVisitor
visit
public void visit(OWLAnnotationPropertyDomainAxiom axiom)
- Specified by:
visit
in interface OWLAnnotationAxiomVisitor
visit
public void visit(OWLAnnotationPropertyRangeAxiom axiom)
- Specified by:
visit
in interface OWLAnnotationAxiomVisitor
visit
public void visit(OWLSubAnnotationPropertyOfAxiom axiom)
- Specified by:
visit
in interface OWLAnnotationAxiomVisitor
visit
public void visit(OWLDataIntersectionOf node)
- Specified by:
visit
in interface OWLDataRangeVisitor
visit
public void visit(OWLDataUnionOf node)
- Specified by:
visit
in interface OWLDataRangeVisitor
visit
public void visit(OWLAnnotationProperty property)
- Specified by:
visit
in interface OWLEntityVisitor
visit
public void visit(OWLAnonymousIndividual individual)
- Specified by:
visit
in interface OWLAnnotationValueVisitor
- Specified by:
visit
in interface OWLIndividualVisitor
visit
public void visit(IRI iri)
- Specified by:
visit
in interface OWLAnnotationValueVisitor
visit
public void visit(OWLAnnotation node)
- Specified by:
visit
in interface OWLAnnotationObjectVisitor
visit
public void visit(SWRLClassAtom node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLDataRangeAtom node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLObjectPropertyAtom node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLDataPropertyAtom node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLBuiltInAtom node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLVariable node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLIndividualArgument node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLLiteralArgument node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLSameIndividualAtom node)
- Specified by:
visit
in interface SWRLObjectVisitor
visit
public void visit(SWRLDifferentIndividualsAtom node)
- Specified by:
visit
in interface SWRLObjectVisitor