public class LatexObjectVisitor extends java.lang.Object implements OWLObjectVisitor
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ALL |
static java.lang.String |
AND |
static java.lang.String |
BOTTOM |
static java.lang.String |
CIRC |
static java.lang.String |
EQUAL |
static java.lang.String |
EQUIV |
static java.lang.String |
HASVALUE |
static java.lang.String |
MAX |
static java.lang.String |
MIN |
static java.lang.String |
NOT |
static java.lang.String |
NOT_EQUIV |
static java.lang.String |
OR |
static java.lang.String |
SELF |
static java.lang.String |
SOME |
static java.lang.String |
SUBCLASS |
static java.lang.String |
TOP |
Constructor and Description |
---|
LatexObjectVisitor(LatexWriter writer,
OWLDataFactory df) |
public static final java.lang.String AND
public static final java.lang.String OR
public static final java.lang.String NOT
public static final java.lang.String ALL
public static final java.lang.String SOME
public static final java.lang.String HASVALUE
public static final java.lang.String MIN
public static final java.lang.String MAX
public static final java.lang.String EQUAL
public static final java.lang.String SUBCLASS
public static final java.lang.String EQUIV
public static final java.lang.String NOT_EQUIV
public static final java.lang.String TOP
public static final java.lang.String BOTTOM
public static final java.lang.String SELF
public static final java.lang.String CIRC
public LatexObjectVisitor(LatexWriter writer, OWLDataFactory df)
public void setSubject(OWLObject subject)
public void setShortFormProvider(ShortFormProvider shortFormProvder)
public boolean isPrettyPrint()
public void setPrettyPrint(boolean prettyPrint)
public void visit(OWLObjectIntersectionOf node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDataAllValuesFrom node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDataExactCardinality desc)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDataMaxCardinality desc)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDataMinCardinality desc)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDataSomeValuesFrom node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDataHasValue node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectAllValuesFrom node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectExactCardinality desc)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectMaxCardinality desc)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectMinCardinality desc)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectSomeValuesFrom node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectHasValue node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectComplementOf node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLObjectUnionOf node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLClass node)
visit
in interface OWLClassExpressionVisitor
visit
in interface OWLEntityVisitor
public void visit(OWLObjectOneOf node)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDataProperty entity)
visit
in interface OWLEntityVisitor
visit
in interface OWLPropertyExpressionVisitor
public void visit(OWLObjectProperty entity)
visit
in interface OWLEntityVisitor
visit
in interface OWLPropertyExpressionVisitor
public void visit(OWLNamedIndividual entity)
visit
in interface OWLEntityVisitor
visit
in interface OWLIndividualVisitor
public void visit(OWLObjectHasSelf desc)
visit
in interface OWLClassExpressionVisitor
public void visit(OWLDisjointClassesAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLEquivalentClassesAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLSubClassOfAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLClassAssertionAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDataPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDataPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLSubDataPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDeclarationAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDifferentIndividualsAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDisjointDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDisjointObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDisjointUnionAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLAnnotationAssertionAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitor
public void visit(OWLEquivalentDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLFunctionalDataPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLImportsDeclaration axiom)
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLInverseObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLSubPropertyChainOfAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLObjectPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLObjectPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLSubObjectPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLReflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLSameIndividualAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLSymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDatatypeDefinitionAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLTransitiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(SWRLRule rule)
visit
in interface OWLAxiomVisitor
visit
in interface SWRLObjectVisitor
public void visit(SWRLVariable node)
visit
in interface SWRLObjectVisitor
public void visit(OWLOntology ontology)
visit
in interface OWLObjectVisitor
public void visit(OWLObjectInverseOf property)
visit
in interface OWLPropertyExpressionVisitor
public void visit(OWLDataComplementOf node)
visit
in interface OWLDataRangeVisitor
public void visit(OWLDataOneOf node)
visit
in interface OWLDataRangeVisitor
public void visit(OWLFacetRestriction node)
visit
in interface OWLDataVisitor
public void visit(OWLDatatypeRestriction node)
visit
in interface OWLDataRangeVisitor
public void visit(OWLDatatype node)
visit
in interface OWLDataRangeVisitor
visit
in interface OWLEntityVisitor
public void visit(OWLLiteral node)
visit
in interface OWLAnnotationValueVisitor
visit
in interface OWLDataVisitor
public void visit(SWRLLiteralArgument node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLIndividualArgument node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLBuiltInAtom node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLClassAtom node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLDataRangeAtom node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLDataPropertyAtom node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLDifferentIndividualsAtom node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLObjectPropertyAtom node)
visit
in interface SWRLObjectVisitor
public void visit(SWRLSameIndividualAtom node)
visit
in interface SWRLObjectVisitor
public void visit(OWLAnnotationProperty property)
visit
in interface OWLEntityVisitor
public void visit(OWLAnnotation annotation)
visit
in interface OWLAnnotationObjectVisitor
public void visit(OWLAnnotationPropertyDomainAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitor
public void visit(OWLAnnotationPropertyRangeAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitor
public void visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitor
public void visit(OWLAnnotationValue value)
public void visit(OWLHasKeyAxiom axiom)
visit
in interface OWLAxiomVisitor
public void visit(OWLDataIntersectionOf node)
visit
in interface OWLDataRangeVisitor
public void visit(OWLDataUnionOf node)
visit
in interface OWLDataRangeVisitor
public void visit(OWLAnonymousIndividual individual)
visit
in interface OWLAnnotationValueVisitor
visit
in interface OWLIndividualVisitor
public void visit(IRI iri)
visit
in interface OWLAnnotationValueVisitor