org.semanticweb.owl.debugging
Class DebuggerDescriptionGenerator

java.lang.Object
  org.semanticweb.owl.debugging.DebuggerDescriptionGenerator

All Implemented Interfaces:

OWLAxiomVisitor

public class DebuggerDescriptionGenerator
extends java.lang.Object
implements OWLAxiomVisitor

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 01-Mar-2007

Constructor Summary

DebuggerDescriptionGenerator(OWLDataFactory dataFactory)

Method Summary

OWLDescription	getDebuggerDescription()
void	visit(OWLAntiSymmetricObjectPropertyAxiom axiom)
void	visit(OWLAxiomAnnotationAxiom axiom)
void	visit(OWLClassAssertionAxiom axiom)
void	visit(OWLDataPropertyAssertionAxiom axiom)
void	visit(OWLDataPropertyDomainAxiom axiom)
void	visit(OWLDataPropertyRangeAxiom axiom)
void	visit(OWLDataSubPropertyAxiom axiom)
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(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	visit(OWLInverseObjectPropertiesAxiom axiom)
void	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
void	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
void	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectPropertyChainSubPropertyAxiom axiom)
void	visit(OWLObjectPropertyDomainAxiom axiom)
void	visit(OWLObjectPropertyRangeAxiom axiom)
void	visit(OWLObjectSubPropertyAxiom axiom)
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(SWRLRule rule)

Methods inherited from class java.lang.Object

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

Constructor Detail

DebuggerDescriptionGenerator

public DebuggerDescriptionGenerator(OWLDataFactory dataFactory)

Method Detail

getDebuggerDescription

public OWLDescription getDebuggerDescription()

visit

public void visit(OWLSubClassAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom 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(OWLDisjointClassesAxiom 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(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDifferentIndividualsAxiom 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(OWLObjectPropertyRangeAxiom 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(OWLEntityAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLOntologyAnnotationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataPropertyRangeAxiom 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(OWLEquivalentClassesAxiom 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(OWLSameIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyChainSubPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

visit

public void visit(SWRLRule rule)

Specified by:

visit in interface OWLAxiomVisitor