edu.unika.aifb.owltools.serializer
Class LatexSerializer

java.lang.Object
  extended by edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
      extended by edu.unika.aifb.owltools.serializer.LatexSerializer
All Implemented Interfaces:
org.semanticweb.kaon2.api.KAON2Visitor

public class LatexSerializer
extends KAON2VisitorAdapter

Serializes an ontology in latex code


Constructor Summary
LatexSerializer()
           
 
Method Summary
 java.lang.String processAnnotation(java.lang.Object o)
           
 java.lang.String processLiteral(java.lang.Object o)
           
 void setSimple(boolean to)
           
 java.lang.String toName(java.lang.String s)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.Annotation a)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.AnnotationProperty ap)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ClassMember m)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataAll da)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataCardinality dc)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataHasValue dhv)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataProperty dp)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyAttribute dpa)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyDomain dpd)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyMember dpm)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyRange dpr)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataRange dr)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataSome ds)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DifferentIndividuals di)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DisjointClasses dc)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.EquivalentClasses ec)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.EquivalentDataProperties edp)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.EquivalentObjectProperties eop)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.Individual i)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.InverseObjectProperties iop)
           
 java.lang.String visit(org.semanticweb.kaon2.api.logic.Literal l)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectAll oa)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectAnd oa)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectCardinality oc)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectHasValue ohv)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectNot on)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectOneOf ooo)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectOr oo)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectProperty op)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyAttribute opa)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyDomain opd)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyMember opm)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyRange opr)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectSome os)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.OWLClass oc)
           
 java.lang.String visit(org.semanticweb.kaon2.api.logic.Rule r)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SameIndividual si)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SubClassOf sco)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SubDataPropertyOf sdpo)
           
 java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SubObjectPropertyOf sopo)
           
 java.lang.String visit(org.semanticweb.kaon2.api.logic.Variable var)
           
 
Methods inherited from class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
defaultbehaviour, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LatexSerializer

public LatexSerializer()
Method Detail

setSimple

public void setSimple(boolean to)

toName

public java.lang.String toName(java.lang.String s)

processLiteral

public java.lang.String processLiteral(java.lang.Object o)

processAnnotation

public java.lang.String processAnnotation(java.lang.Object o)

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataAll da)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataCardinality dc)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataHasValue dhv)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataSome ds)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectAll oa)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectAnd oa)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectCardinality oc)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectHasValue ohv)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectNot on)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectOneOf ooo)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectOr oo)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectSome os)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.OWLClass oc)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataProperty dp)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.AnnotationProperty ap)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.Individual i)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.ObjectProperty op)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.logic.Rule r)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.logic.Literal l)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.logic.Variable var)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.elements.DataRange dr)

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.Annotation a)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ClassMember m)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyAttribute dpa)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyDomain dpd)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyMember dpm)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DataPropertyRange dpr)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DifferentIndividuals di)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.DisjointClasses dc)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.EquivalentClasses ec)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.EquivalentDataProperties edp)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.EquivalentObjectProperties eop)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.InverseObjectProperties iop)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyAttribute opa)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyDomain opd)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyMember opm)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.ObjectPropertyRange opr)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SameIndividual si)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SubClassOf sco)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SubDataPropertyOf sdpo)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter

visit

public java.lang.String visit(org.semanticweb.kaon2.api.owl.axioms.SubObjectPropertyOf sopo)
Specified by:
visit in interface org.semanticweb.kaon2.api.KAON2Visitor
Overrides:
visit in class KAON2VisitorAdapter