org.coode.owlapi.latex

Class LatexObjectVisitor

java.lang.Object

org.coode.owlapi.latex.LatexObjectVisitor

All Implemented Interfaces:

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

public class LatexObjectVisitor
extends Object
implements OWLObjectVisitor

NOTE: this class was not designed as a general purpose renderer, i.e., some ontologies might be misrepresented in the output. Please report any formatting error you find to the bug tracker or the mailing list.

Author:

Matthew Horridge, The University Of Manchester, Medical Informatics Group, Date: 15-Jun-2006

Field Summary

Fields

Modifier and Type	Field and Description
static String	ALL ALL
static String	AND AND
static String	BOTTOM BOTTOM
static String	CIRC CIRC
static String	EQUAL EQUAL
static String	EQUIV EQUIV
static String	HASVALUE HASVALUE
static String	MAX MAX
static String	MIN MIN
static String	NOT NOT
static String	NOT_EQUIV NOT_EQUIV
static String	OR OR
static String	SELF SELF
static String	SOME SOME
static String	SUBCLASS SUBCLASS
static String	TOP TOP

Constructor Summary

Constructors

Constructor and Description
LatexObjectVisitor(LatexWriter writer, OWLDataFactory df)

Method Summary

Modifier and Type	Method and Description
boolean	isPrettyPrint()
void	setPrettyPrint(boolean prettyPrint)
void	setShortFormProvider(ShortFormProvider shortFormProvder)
void	setSubject(OWLObject subject)
void	visit(IRI iri) visit IRI type
void	visit(OWLAnnotation annotation) 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(OWLAnnotationValue value)
void	visit(OWLAnonymousIndividual individual) visit OWLAnonymousIndividual type
void	visit(OWLAsymmetricObjectPropertyAxiom axiom) visit OWLAsymmetricObjectPropertyAxiom type
void	visit(OWLClass node) visit OWLClass type
void	visit(OWLClassAssertionAxiom axiom) visit OWLClassAssertionAxiom type
void	visit(OWLDataAllValuesFrom node) visit OWLDataAllValuesFrom type
void	visit(OWLDataComplementOf node) visit OWLDataComplementOf type
void	visit(OWLDataExactCardinality desc) visit OWLDataExactCardinality type
void	visit(OWLDataHasValue node) 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 entity) 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 node) 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 entity) visit OWLNamedIndividual type
void	visit(OWLNegativeDataPropertyAssertionAxiom axiom) visit OWLNegativeDataPropertyAssertionAxiom type
void	visit(OWLNegativeObjectPropertyAssertionAxiom axiom) visit OWLNegativeObjectPropertyAssertionAxiom type
void	visit(OWLObjectAllValuesFrom node) visit OWLObjectAllValuesFrom type
void	visit(OWLObjectComplementOf node) visit OWLObjectComplementOf type
void	visit(OWLObjectExactCardinality desc) visit OWLObjectExactCardinality type
void	visit(OWLObjectHasSelf desc) visit OWLObjectHasSelf type
void	visit(OWLObjectHasValue node) visit OWLObjectHasValue type
void	visit(OWLObjectIntersectionOf node) 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 node) visit OWLObjectOneOf type
void	visit(OWLObjectProperty entity) 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 node) visit OWLObjectSomeValuesFrom type
void	visit(OWLObjectUnionOf node) 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(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

Methods inherited from class java.lang.Object

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

Field Detail

AND

public static final String AND

AND

See Also:

Constant Field Values

OR

public static final String OR

OR

See Also:

Constant Field Values

NOT

public static final String NOT

NOT

See Also:

Constant Field Values

ALL

public static final String ALL

ALL

See Also:

Constant Field Values

SOME

public static final String SOME

SOME

See Also:

Constant Field Values

HASVALUE

public static final String HASVALUE

HASVALUE

See Also:

Constant Field Values

MIN

public static final String MIN

MIN

See Also:

Constant Field Values

MAX

public static final String MAX

MAX

See Also:

Constant Field Values

EQUAL

public static final String EQUAL

EQUAL

See Also:

Constant Field Values

SUBCLASS

public static final String SUBCLASS

SUBCLASS

See Also:

Constant Field Values

EQUIV

public static final String EQUIV

EQUIV

See Also:

Constant Field Values

NOT_EQUIV

public static final String NOT_EQUIV

NOT_EQUIV

See Also:

Constant Field Values

TOP

public static final String TOP

TOP

See Also:

Constant Field Values

BOTTOM

public static final String BOTTOM

BOTTOM

See Also:

Constant Field Values

SELF

public static final String SELF

SELF

See Also:

Constant Field Values

CIRC

public static final String CIRC

CIRC

See Also:

Constant Field Values

Constructor Detail

LatexObjectVisitor

public LatexObjectVisitor(LatexWriter writer,
                          OWLDataFactory df)

Parameters:

writer - writer

df - data factory

Method Detail

setSubject

public void setSubject(OWLObject subject)

Parameters:

subject - subject

setShortFormProvider

public void setShortFormProvider(ShortFormProvider shortFormProvder)

Parameters:

shortFormProvder - shortFormProvder

isPrettyPrint

public boolean isPrettyPrint()

Returns:

true if pretty print

setPrettyPrint

public void setPrettyPrint(boolean prettyPrint)

Parameters:

prettyPrint - prettyPrint

visit

public void visit(OWLObjectIntersectionOf node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectIntersectionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDataAllValuesFrom node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDataExactCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataMaxCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataMinCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataSomeValuesFrom node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDataHasValue node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataHasValue type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLObjectAllValuesFrom node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLObjectExactCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectMaxCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectMinCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectSomeValuesFrom node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLObjectHasValue node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectHasValue type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLObjectComplementOf node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectComplementOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLObjectUnionOf node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectUnionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLClass node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLClass type

Specified by:

visit in interface OWLClassExpressionVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Parameters:

node - object to visit

visit

public void visit(OWLObjectOneOf node)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectOneOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDataProperty entity)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLDataProperty type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Parameters:

entity - object to visit

visit

public void visit(OWLObjectProperty entity)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectProperty type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Parameters:

entity - object to visit

visit

public void visit(OWLNamedIndividual entity)

Description copied from interface: OWLEntityVisitor

visit OWLNamedIndividual type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLIndividualVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Parameters:

entity - object to visit

visit

public void visit(OWLObjectHasSelf desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectHasSelf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDisjointClassesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointClassesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLEquivalentClassesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLClassAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLClassAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLAsymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLAsymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDataPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDataPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDataPropertyDomainAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDataPropertyRangeAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDataPropertyRangeAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSubDataPropertyOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubDataPropertyOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDeclarationAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDeclarationAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDifferentIndividualsAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDisjointDataPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointDataPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointObjectPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDisjointUnionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointUnionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLAnnotationAssertionAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLAnnotationAssertionAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLEquivalentDataPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLEquivalentDataPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLEquivalentObjectPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLFunctionalDataPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLFunctionalDataPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLImportsDeclaration axiom)

Parameters:

axiom - the axiom

visit

public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLInverseFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLInverseObjectPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLIrreflexiveObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLNegativeDataPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLNegativeObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubPropertyChainOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubObjectPropertyOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLReflexiveObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLReflexiveObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSameIndividualAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSameIndividualAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDatatypeDefinitionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDatatypeDefinitionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLTransitiveObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(SWRLRule rule)

Description copied from interface: OWLAxiomVisitor

visit SWRLRule type

Specified by:

visit in interface OWLAxiomVisitor

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

rule - object to visit

visit

public void visit(SWRLVariable node)

Description copied from interface: SWRLObjectVisitor

visit SWRLVariable type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(OWLOntology ontology)

Description copied from interface: OWLNamedObjectVisitor

visit OWLOntology type

Specified by:

visit in interface OWLNamedObjectVisitor

Parameters:

ontology - object to visit

visit

public void visit(OWLObjectInverseOf property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectInverseOf type

Specified by:

visit in interface OWLPropertyExpressionVisitor

Parameters:

property - object to visit

visit

public void visit(OWLDataComplementOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataComplementOf type

Specified by:

visit in interface OWLDataRangeVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDataOneOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataOneOf type

Specified by:

visit in interface OWLDataRangeVisitor

Parameters:

node - object to visit

visit

public void visit(OWLFacetRestriction node)

Description copied from interface: OWLDataVisitor

visit OWLFacetRestriction type

Specified by:

visit in interface OWLDataVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDatatypeRestriction node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDatatypeRestriction type

Specified by:

visit in interface OWLDataRangeVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDatatype node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDatatype type

Specified by:

visit in interface OWLDataRangeVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Parameters:

node - object to visit

visit

public void visit(OWLLiteral node)

Description copied from interface: OWLDataVisitor

visit OWLLiteral type

Specified by:

visit in interface OWLAnnotationValueVisitor

Specified by:

visit in interface OWLDataVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLLiteralArgument node)

Description copied from interface: SWRLObjectVisitor

visit SWRLLiteralArgument type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLIndividualArgument node)

Description copied from interface: SWRLObjectVisitor

visit SWRLIndividualArgument type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLBuiltInAtom node)

Description copied from interface: SWRLObjectVisitor

visit SWRLBuiltInAtom type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLClassAtom node)

Description copied from interface: SWRLObjectVisitor

visit SWRLClassAtom type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLDataRangeAtom node)

Description copied from interface: SWRLObjectVisitor

visit SWRLDataRangeAtom type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLDataPropertyAtom node)

Description copied from interface: SWRLObjectVisitor

visit SWRLDataPropertyAtom type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLDifferentIndividualsAtom node)

Description copied from interface: SWRLObjectVisitor

visit SWRLDifferentIndividualsAtom type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLObjectPropertyAtom node)

Description copied from interface: SWRLObjectVisitor

visit SWRLObjectPropertyAtom type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(SWRLSameIndividualAtom node)

Description copied from interface: SWRLObjectVisitor

visit SWRLSameIndividualAtom type

Specified by:

visit in interface SWRLObjectVisitor

Parameters:

node - object to visit

visit

public void visit(OWLAnnotationProperty property)

Description copied from interface: OWLEntityVisitor

visit OWLAnnotationProperty type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Parameters:

property - object to visit

visit

public void visit(OWLAnnotation annotation)

Description copied from interface: OWLAnnotationObjectVisitor

visit OWLAnnotation type

Specified by:

visit in interface OWLAnnotationObjectVisitor

Parameters:

annotation - object to visit

visit

public void visit(OWLAnnotationPropertyDomainAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLAnnotationPropertyDomainAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLAnnotationPropertyRangeAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLAnnotationPropertyRangeAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSubAnnotationPropertyOfAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLSubAnnotationPropertyOfAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLAnnotationValue value)

Parameters:

value - value

visit

public void visit(OWLHasKeyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLHasKeyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLDataIntersectionOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataIntersectionOf type

Specified by:

visit in interface OWLDataRangeVisitor

Parameters:

node - object to visit

visit

public void visit(OWLDataUnionOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataUnionOf type

Specified by:

visit in interface OWLDataRangeVisitor

Parameters:

node - object to visit

visit

public void visit(OWLAnonymousIndividual individual)

Description copied from interface: OWLIndividualVisitor

visit OWLAnonymousIndividual type

Specified by:

visit in interface OWLAnnotationValueVisitor

Specified by:

visit in interface OWLIndividualVisitor

Parameters:

individual - object to visit

visit

public void visit(IRI iri)

Description copied from interface: OWLAnnotationValueVisitor

visit IRI type

Specified by:

visit in interface OWLAnnotationValueVisitor

Parameters:

iri - object to visit