uk.ac.manchester.cs.owl.inference.dig11
Class DIGRenderer

java.lang.Object
  uk.ac.manchester.cs.owl.inference.dig11.DIGRenderer

All Implemented Interfaces:

OWLAnnotationVisitor, OWLAxiomVisitor, OWLDataVisitor, OWLDescriptionVisitor, OWLEntityVisitor, OWLObjectVisitor, OWLPropertyExpressionVisitor, SWRLObjectVisitor

public class DIGRenderer
extends java.lang.Object
implements OWLObjectVisitor

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Nov-2006

Field Summary

static java.net.URI	NOTHING_URI
static java.net.URI	THING_URI

Constructor Summary

DIGRenderer(OWLOntologyManager manager, org.w3c.dom.Document document, org.w3c.dom.Element node)

Method Summary

void	visit(OWLAntiSymmetricObjectPropertyAxiom axiom)
void	visit(OWLAxiomAnnotationAxiom axiom)
void	visit(OWLClass node)
void	visit(OWLClassAssertionAxiom axiom)
void	visit(OWLConstantAnnotation annotation)
void	visit(OWLDataAllRestriction desc)
void	visit(OWLDataComplementOf node)
void	visit(OWLDataExactCardinalityRestriction desc)
void	visit(OWLDataMaxCardinalityRestriction desc)
void	visit(OWLDataMinCardinalityRestriction desc)
void	visit(OWLDataOneOf node)
void	visit(OWLDataProperty property)
void	visit(OWLDataPropertyAssertionAxiom axiom)
void	visit(OWLDataPropertyDomainAxiom axiom)
void	visit(OWLDataPropertyRangeAxiom axiom)
void	visit(OWLDataRangeFacetRestriction node)
void	visit(OWLDataRangeRestriction node)
void	visit(OWLDataSomeRestriction desc)
void	visit(OWLDataSubPropertyAxiom axiom)
void	visit(OWLDataType node)
void	visit(OWLDataValueRestriction desc)
void	visit(OWLDeclarationAxiom axiom)
void	visit(OWLDifferentIndividualsAxiom axiom)
void	visit(OWLDisjointClassesAxiom axiom)
void	visit(OWLDisjointDataPropertiesAxiom axiom)
void	visit(OWLDisjointObjectPropertiesAxiom axiom)
void	visit(OWLDisjointUnionAxiom axiom)
void	visit(OWLEntityAnnotationAxiom axiom)
void	visit(OWLEquivalentClassesAxiom axiom)
void	visit(OWLEquivalentDataPropertiesAxiom axiom)
void	visit(OWLEquivalentObjectPropertiesAxiom axiom)
void	visit(OWLFunctionalDataPropertyAxiom axiom)
void	visit(OWLFunctionalObjectPropertyAxiom axiom)
void	visit(OWLImportsDeclaration axiom)
void	visit(OWLIndividual node)
void	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	visit(OWLInverseObjectPropertiesAxiom axiom)
void	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
void	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
void	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectAllRestriction node)
void	visit(OWLObjectAnnotation annotation)
void	visit(OWLObjectComplementOf node)
void	visit(OWLObjectExactCardinalityRestriction desc)
void	visit(OWLObjectIntersectionOf node)
void	visit(OWLObjectMaxCardinalityRestriction desc)
void	visit(OWLObjectMinCardinalityRestriction desc)
void	visit(OWLObjectOneOf node)
void	visit(OWLObjectProperty node)
void	visit(OWLObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectPropertyChainSubPropertyAxiom axiom)
void	visit(OWLObjectPropertyDomainAxiom axiom)
void	visit(OWLObjectPropertyInverse property)
void	visit(OWLObjectPropertyRangeAxiom axiom)
void	visit(OWLObjectSelfRestriction desc)
void	visit(OWLObjectSomeRestriction node)
void	visit(OWLObjectSubPropertyAxiom axiom)
void	visit(OWLObjectUnionOf node)
void	visit(OWLObjectValueRestriction node)
void	visit(OWLOntology ontology)
void	visit(OWLOntologyAnnotationAxiom axiom)
void	visit(OWLReflexiveObjectPropertyAxiom axiom)
void	visit(OWLSameIndividualsAxiom axiom)
void	visit(OWLSubClassAxiom axiom)
void	visit(OWLSymmetricObjectPropertyAxiom axiom)
void	visit(OWLTransitiveObjectPropertyAxiom axiom)
void	visit(OWLTypedConstant node)
void	visit(OWLUntypedConstant node)
void	visit(SWRLAtomConstantObject node)
void	visit(SWRLAtomDVariable node)
void	visit(SWRLAtomIndividualObject node)
void	visit(SWRLAtomIVariable node)
void	visit(SWRLBuiltInAtom node)
void	visit(SWRLClassAtom node)
void	visit(SWRLDataRangeAtom node)
void	visit(SWRLDataValuedPropertyAtom node)
void	visit(SWRLDifferentFromAtom node)
void	visit(SWRLObjectPropertyAtom node)
void	visit(SWRLRule rule)
void	visit(SWRLSameAsAtom node)

Methods inherited from class java.lang.Object

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

Field Detail

THING_URI

public static final java.net.URI THING_URI

NOTHING_URI

public static final java.net.URI NOTHING_URI

Constructor Detail

DIGRenderer

public DIGRenderer(OWLOntologyManager manager,
                   org.w3c.dom.Document document,
                   org.w3c.dom.Element node)

Method Detail

visit

public void visit(OWLSubClassAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLSameIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLAntiSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLImportsDeclaration axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLAxiomAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLEntityAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectSubPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDeclarationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataSubPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyChainSubPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyInverse property)

Specified by:

visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLDataProperty property)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLObjectIntersectionOf node)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLIndividual node)

Specified by:

visit in interface OWLEntityVisitor

visit

public void visit(OWLObjectAllRestriction node)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectMinCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectExactCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectMaxCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectProperty node)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLObjectSomeRestriction node)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectValueRestriction node)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectComplementOf node)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLOntology ontology)

Specified by:

visit in interface OWLObjectVisitor

visit

public void visit(OWLObjectUnionOf node)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLClass node)

Specified by:

visit in interface OWLDescriptionVisitor

Specified by:

visit in interface OWLEntityVisitor

visit

public void visit(OWLObjectOneOf node)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectSelfRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataSomeRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataAllRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataValueRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataMinCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataExactCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataMaxCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLOntologyAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataType node)

Specified by:

visit in interface OWLDataVisitor

Specified by:

visit in interface OWLEntityVisitor

visit

public void visit(OWLDataComplementOf node)

Specified by:

visit in interface OWLDataVisitor

visit

public void visit(OWLDataOneOf node)

Specified by:

visit in interface OWLDataVisitor

visit

public void visit(OWLDataRangeRestriction node)

Specified by:

visit in interface OWLDataVisitor

visit

public void visit(OWLDataRangeFacetRestriction node)

Specified by:

visit in interface OWLDataVisitor

visit

public void visit(OWLTypedConstant node)

Specified by:

visit in interface OWLDataVisitor

visit

public void visit(OWLUntypedConstant node)

Specified by:

visit in interface OWLDataVisitor

visit

public void visit(OWLConstantAnnotation annotation)

Specified by:

visit in interface OWLAnnotationVisitor

visit

public void visit(OWLObjectAnnotation annotation)

Specified by:

visit in interface OWLAnnotationVisitor

visit

public void visit(SWRLRule rule)

Specified by:

visit in interface OWLAxiomVisitor

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLClassAtom node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLDataRangeAtom node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLObjectPropertyAtom node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLDataValuedPropertyAtom node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLBuiltInAtom node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLAtomDVariable node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLAtomIVariable node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLAtomIndividualObject node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLAtomConstantObject node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLDifferentFromAtom node)

Specified by:

visit in interface SWRLObjectVisitor

visit

public void visit(SWRLSameAsAtom node)

Specified by:

visit in interface SWRLObjectVisitor