public class OWLTutorialSyntaxObjectRenderer extends Object implements OWLObjectVisitor
| Constructor and Description |
|---|
OWLTutorialSyntaxObjectRenderer(OWLOntology ontology,
Writer writer) |
| Modifier and Type | Method and Description |
|---|---|
void |
footer() |
void |
header() |
String |
keyword(String str) |
String |
labelFor(OWLEntity entity) |
String |
operator(String str) |
void |
visit(IRI iri)
visit IRI type
|
void |
visit(OWLAnnotation node)
visit OWLAnnotation type
|
void |
visit(OWLAnnotationAssertionAxiom axiom)
visit OWLAnnotationAssertionAxiom type
|
void |
visit(OWLAnnotationProperty property)
visit OWLAnnotationProperty type
|
void |
visit(OWLAnnotationPropertyDomainAxiom axiom)
visit OWLAnnotationPropertyDomainAxiom type
|
void |
visit(OWLAnnotationPropertyRangeAxiom axiom)
visit OWLAnnotationPropertyRangeAxiom type
|
void |
visit(OWLAnonymousIndividual individual)
visit OWLAnonymousIndividual type
|
void |
visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit OWLAsymmetricObjectPropertyAxiom type
|
void |
visit(OWLClass desc)
visit OWLClass type
|
void |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
void |
visit(OWLDataAllValuesFrom desc)
visit OWLDataAllValuesFrom type
|
void |
visit(OWLDataComplementOf node)
visit OWLDataComplementOf type
|
void |
visit(OWLDataExactCardinality desc)
visit OWLDataExactCardinality type
|
void |
visit(OWLDataHasValue desc)
visit OWLDataHasValue type
|
void |
visit(OWLDataIntersectionOf node)
visit OWLDataIntersectionOf type
|
void |
visit(OWLDataMaxCardinality desc)
visit OWLDataMaxCardinality type
|
void |
visit(OWLDataMinCardinality desc)
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 desc)
visit OWLDataSomeValuesFrom type
|
void |
visit(OWLDatatype node)
visit OWLDatatype type
|
void |
visit(OWLDatatypeDefinitionAxiom axiom)
visit OWLDatatypeDefinitionAxiom type
|
void |
visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
void |
visit(OWLDataUnionOf node)
visit OWLDataUnionOf type
|
void |
visit(OWLDeclarationAxiom axiom)
visit OWLDeclarationAxiom 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(OWLHasKeyAxiom axiom)
visit OWLHasKeyAxiom type
|
void |
visit(OWLImportsDeclaration axiom) |
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 desc)
visit OWLObjectAllValuesFrom type
|
void |
visit(OWLObjectComplementOf desc)
visit OWLObjectComplementOf type
|
void |
visit(OWLObjectExactCardinality desc)
visit OWLObjectExactCardinality type
|
void |
visit(OWLObjectHasSelf desc)
visit OWLObjectHasSelf type
|
void |
visit(OWLObjectHasValue desc)
visit OWLObjectHasValue type
|
void |
visit(OWLObjectIntersectionOf desc)
visit OWLObjectIntersectionOf type
|
void |
visit(OWLObjectInverseOf property)
visit OWLObjectInverseOf type
|
void |
visit(OWLObjectMaxCardinality desc)
visit OWLObjectMaxCardinality type
|
void |
visit(OWLObjectMinCardinality desc)
visit OWLObjectMinCardinality type
|
void |
visit(OWLObjectOneOf desc)
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 desc)
visit OWLObjectSomeValuesFrom type
|
void |
visit(OWLObjectUnionOf desc)
visit OWLObjectUnionOf type
|
void |
visit(OWLOntology ontology1)
visit OWLOntology type
|
void |
visit(OWLReflexiveObjectPropertyAxiom axiom)
visit OWLReflexiveObjectPropertyAxiom type
|
void |
visit(OWLSameIndividualAxiom axiom)
visit OWLSameIndividualAxiom type
|
void |
visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit OWLSubAnnotationPropertyOfAxiom 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
|
void |
write(String str,
OWLObject o) |
void |
writeAnnotations(OWLAxiom ax) |
void |
writeCloseBracket() |
void |
writeListEnd() |
void |
writeListItemEnd() |
void |
writeListItemStart() |
void |
writeListStart() |
void |
writeOpenBracket() |
void |
writePropertyCharacteristic(String str,
OWLAxiom ax,
OWLPropertyExpression<?,?> prop) |
void |
writeSpace() |
void |
writeTableCellEnd() |
void |
writeTableCellStart() |
void |
writeTableEnd() |
void |
writeTableRowEnd() |
void |
writeTableRowStart() |
void |
writeTableStart() |
public OWLTutorialSyntaxObjectRenderer(OWLOntology ontology, Writer writer)
public void header()
public void footer()
public void visit(OWLOntology ontology1)
OWLNamedObjectVisitorvisit in interface OWLNamedObjectVisitorontology1 - object to visitpublic void writeOpenBracket()
public void writeCloseBracket()
public void writeSpace()
public void writeAnnotations(OWLAxiom ax)
public void writeListStart()
public void writeListEnd()
public void writeTableStart()
public void writeTableEnd()
public void writeTableRowStart()
public void writeTableRowEnd()
public void writeTableCellStart()
public void writeTableCellEnd()
public void writeListItemStart()
public void writeListItemEnd()
public void writePropertyCharacteristic(String str, OWLAxiom ax, OWLPropertyExpression<?,?> prop) throws OWLRuntimeException
OWLRuntimeExceptionpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLClassAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDeclarationAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointUnionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLAnnotationAssertionAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLImportsDeclaration axiom)
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSameIndividualAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubClassOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLClass desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitordesc - object to visitpublic void visit(OWLDataAllValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataExactCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataMaxCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataMinCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataSomeValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataHasValue desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectAllValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectComplementOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectExactCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectIntersectionOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectMaxCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectMinCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectOneOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectHasSelf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectSomeValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectUnionOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectHasValue desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataComplementOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLDataOneOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLDatatype node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitornode - object to visitpublic void visit(OWLDatatypeRestriction node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLFacetRestriction node)
OWLDataVisitorvisit in interface OWLDataVisitornode - object to visitpublic void visit(OWLLiteral node)
OWLDataVisitorvisit in interface OWLAnnotationValueVisitorvisit in interface OWLDataVisitornode - object to visitpublic void visit(OWLDataProperty property)
OWLPropertyExpressionVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitorvisit in interface OWLPropertyExpressionVisitorproperty - object to visitpublic void visit(OWLObjectProperty property)
OWLPropertyExpressionVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitorvisit in interface OWLPropertyExpressionVisitorproperty - object to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitorvisit in interface OWLPropertyExpressionVisitorproperty - object to visitpublic void visit(OWLNamedIndividual individual)
OWLEntityVisitorvisit in interface OWLEntityVisitorvisit in interface OWLIndividualVisitorvisit in interface OWLNamedObjectVisitorindividual - object to visitpublic void visit(SWRLRule rule)
OWLAxiomVisitorvisit in interface OWLAxiomVisitorvisit in interface SWRLObjectVisitorrule - object to visitpublic void visit(SWRLIndividualArgument node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLClassAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLDataRangeAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLObjectPropertyAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLDataPropertyAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLBuiltInAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLVariable node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLLiteralArgument node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLDifferentIndividualsAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLSameIndividualAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(OWLHasKeyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLDataIntersectionOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLDataUnionOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLAnnotationProperty property)
OWLEntityVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitorproperty - object to visitpublic void visit(OWLAnonymousIndividual individual)
OWLIndividualVisitorvisit in interface OWLAnnotationValueVisitorvisit in interface OWLIndividualVisitorindividual - object to visitpublic void visit(IRI iri)
OWLAnnotationValueVisitorvisit in interface OWLAnnotationValueVisitoriri - object to visitpublic void visit(OWLAnnotation node)
OWLAnnotationObjectVisitorvisit in interface OWLAnnotationObjectVisitornode - object to visitpublic void visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitCopyright © 2014 The University of Manchester. All Rights Reserved.