public class DLSyntaxObjectRenderer extends Object implements OWLObjectRenderer, OWLObjectVisitor
Constructor and Description |
---|
DLSyntaxObjectRenderer()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isFocusedObject(OWLObject obj) |
String |
render(OWLObject object)
Renders the specified object.
|
void |
setFocusedObject(OWLObject focusedObject) |
void |
setShortFormProvider(ShortFormProvider shortFormProvider)
Sets the short form provider, which determines the short form that should be used for
entities.
|
void |
visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit OWLAsymmetricObjectPropertyAxiom type
|
void |
visit(OWLClass ce)
visit OWLClass type
|
void |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
void |
visit(OWLDataAllValuesFrom ce)
visit OWLDataAllValuesFrom type
|
void |
visit(OWLDataComplementOf node)
visit OWLDataComplementOf type
|
void |
visit(OWLDataExactCardinality ce)
visit OWLDataExactCardinality type
|
void |
visit(OWLDataHasValue ce)
visit OWLDataHasValue type
|
void |
visit(OWLDataIntersectionOf node)
visit OWLDataIntersectionOf type
|
void |
visit(OWLDataMaxCardinality ce)
visit OWLDataMaxCardinality type
|
void |
visit(OWLDataMinCardinality ce)
visit OWLDataMinCardinality type
|
void |
visit(OWLDataOneOf node)
visit OWLDataOneOf type
|
void |
visit(OWLDataProperty property)
visit OWLDataProperty type
|
void |
visit(OWLDataPropertyAssertionAxiom axiom)
visit OWLDataPropertyAssertionAxiom type
|
void |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
void |
visit(OWLDataPropertyRangeAxiom axiom)
visit OWLDataPropertyRangeAxiom type
|
void |
visit(OWLDataSomeValuesFrom ce)
visit OWLDataSomeValuesFrom type
|
void |
visit(OWLDatatype node)
visit OWLDatatype type
|
void |
visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
void |
visit(OWLDataUnionOf node)
visit OWLDataUnionOf type
|
void |
visit(OWLDifferentIndividualsAxiom axiom)
visit OWLDifferentIndividualsAxiom type
|
void |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
void |
visit(OWLDisjointDataPropertiesAxiom axiom)
visit OWLDisjointDataPropertiesAxiom type
|
void |
visit(OWLDisjointObjectPropertiesAxiom axiom)
visit OWLDisjointObjectPropertiesAxiom type
|
void |
visit(OWLDisjointUnionAxiom axiom)
visit OWLDisjointUnionAxiom type
|
void |
visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
void |
visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
void |
visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit OWLEquivalentObjectPropertiesAxiom type
|
void |
visit(OWLFacetRestriction node)
visit OWLFacetRestriction type
|
void |
visit(OWLFunctionalDataPropertyAxiom axiom)
visit OWLFunctionalDataPropertyAxiom type
|
void |
visit(OWLFunctionalObjectPropertyAxiom axiom)
visit OWLFunctionalObjectPropertyAxiom type
|
void |
visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
void |
visit(OWLInverseObjectPropertiesAxiom axiom)
visit OWLInverseObjectPropertiesAxiom type
|
void |
visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit OWLIrreflexiveObjectPropertyAxiom type
|
void |
visit(OWLLiteral node)
visit OWLLiteral type
|
void |
visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
void |
visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit OWLNegativeDataPropertyAssertionAxiom type
|
void |
visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit OWLNegativeObjectPropertyAssertionAxiom type
|
void |
visit(OWLObjectAllValuesFrom ce)
visit OWLObjectAllValuesFrom type
|
void |
visit(OWLObjectComplementOf ce)
visit OWLObjectComplementOf type
|
void |
visit(OWLObjectExactCardinality ce)
visit OWLObjectExactCardinality type
|
void |
visit(OWLObjectHasSelf ce)
visit OWLObjectHasSelf type
|
void |
visit(OWLObjectHasValue ce)
visit OWLObjectHasValue type
|
void |
visit(OWLObjectIntersectionOf ce)
visit OWLObjectIntersectionOf type
|
void |
visit(OWLObjectInverseOf property)
visit OWLObjectInverseOf type
|
void |
visit(OWLObjectMaxCardinality ce)
visit OWLObjectMaxCardinality type
|
void |
visit(OWLObjectMinCardinality ce)
visit OWLObjectMinCardinality type
|
void |
visit(OWLObjectOneOf ce)
visit OWLObjectOneOf type
|
void |
visit(OWLObjectProperty property)
visit OWLObjectProperty type
|
void |
visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom type
|
void |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
void |
visit(OWLObjectPropertyRangeAxiom axiom)
visit OWLObjectPropertyRangeAxiom type
|
void |
visit(OWLObjectSomeValuesFrom ce)
visit OWLObjectSomeValuesFrom type
|
void |
visit(OWLObjectUnionOf ce)
visit OWLObjectUnionOf type
|
void |
visit(OWLOntology ontology)
visit OWLOntology type
|
void |
visit(OWLReflexiveObjectPropertyAxiom axiom)
visit OWLReflexiveObjectPropertyAxiom type
|
void |
visit(OWLSameIndividualAxiom axiom)
visit OWLSameIndividualAxiom type
|
void |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
void |
visit(OWLSubDataPropertyOfAxiom axiom)
visit OWLSubDataPropertyOfAxiom type
|
void |
visit(OWLSubObjectPropertyOfAxiom axiom)
visit OWLSubObjectPropertyOfAxiom type
|
void |
visit(OWLSubPropertyChainOfAxiom axiom)
visit OWLSubPropertyChainOfAxiom type
|
void |
visit(OWLSymmetricObjectPropertyAxiom axiom)
visit OWLSymmetricObjectPropertyAxiom type
|
void |
visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
void |
visit(SWRLBuiltInAtom node)
visit SWRLBuiltInAtom type
|
void |
visit(SWRLClassAtom node)
visit SWRLClassAtom type
|
void |
visit(SWRLDataPropertyAtom node)
visit SWRLDataPropertyAtom type
|
void |
visit(SWRLDataRangeAtom node)
visit SWRLDataRangeAtom type
|
void |
visit(SWRLDifferentIndividualsAtom node)
visit SWRLDifferentIndividualsAtom type
|
void |
visit(SWRLIndividualArgument node)
visit SWRLIndividualArgument type
|
void |
visit(SWRLLiteralArgument node)
visit SWRLLiteralArgument type
|
void |
visit(SWRLObjectPropertyAtom node)
visit SWRLObjectPropertyAtom type
|
void |
visit(SWRLRule rule)
visit SWRLRule type
|
void |
visit(SWRLSameIndividualAtom node)
visit SWRLSameIndividualAtom type
|
void |
visit(SWRLVariable node)
visit SWRLVariable type
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit, visit
visit
visit
visit
visit
visit
doDefault, getDefaultReturnValue, handleDefault
public void setFocusedObject(@Nullable OWLObject focusedObject)
focusedObject
- focused objectpublic boolean isFocusedObject(OWLObject obj)
obj
- objectpublic void setShortFormProvider(ShortFormProvider shortFormProvider)
OWLObjectRenderer
setShortFormProvider
in interface OWLObjectRenderer
shortFormProvider
- The short form provider to be used.public String render(OWLObject object)
OWLObjectRenderer
render
in interface OWLObjectRenderer
object
- The object to be rendered.public void visit(OWLOntology ontology)
OWLNamedObjectVisitor
visit
in interface OWLNamedObjectVisitor
ontology
- ontology to visitpublic void visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSubObjectPropertyOfAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointUnionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDataPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSubDataPropertyOfAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSameIndividualAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(SWRLRule rule)
SWRLRuleVisitorBase
visit
in interface SWRLRuleVisitorBase
rule
- node to visitpublic void visit(OWLClass ce)
OWLClassVisitorBase
visit
in interface OWLClassVisitorBase
ce
- ce to visitpublic void visit(OWLObjectIntersectionOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectUnionOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectComplementOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectSomeValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectHasValue ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectMinCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectExactCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectMaxCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectHasSelf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectOneOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataSomeValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataAllValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataHasValue ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataMinCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataExactCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataMaxCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDatatype node)
OWLDataEntityVisitorBase
visit
in interface OWLDataEntityVisitorBase
node
- node to visitpublic void visit(OWLDataComplementOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLDataOneOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLDatatypeRestriction node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLLiteral node)
OWLLiteralVisitorBase
visit
in interface OWLLiteralVisitorBase
node
- node to visitpublic void visit(OWLFacetRestriction node)
OWLDataVisitor
visit
in interface OWLDataVisitor
node
- node to visitpublic void visit(OWLObjectProperty property)
OWLPropertyEntityVisitorBase
visit
in interface OWLPropertyEntityVisitorBase
property
- property to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitor
visit
in interface OWLPropertyExpressionVisitor
property
- property to visitpublic void visit(OWLDataProperty property)
OWLPropertyEntityVisitorBase
visit
in interface OWLPropertyEntityVisitorBase
property
- property to visitpublic void visit(OWLNamedIndividual individual)
OWLIndividualEntityVisitorBase
visit
in interface OWLIndividualEntityVisitorBase
individual
- individual to visitpublic void visit(SWRLClassAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLDataRangeAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLObjectPropertyAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLDataPropertyAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLBuiltInAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLVariable node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLIndividualArgument node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLLiteralArgument node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLSameIndividualAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(SWRLDifferentIndividualsAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- node to visitpublic void visit(OWLDataIntersectionOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLDataUnionOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- node to visitCopyright © 2020 The University of Manchester. All rights reserved.