org.semanticweb.HermiT.structural
Class OWLNormalization.AxiomVisitor

java.lang.Object
  extended by org.semanticweb.HermiT.structural.OWLNormalization.AxiomVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor
Enclosing class:
OWLNormalization

protected class OWLNormalization.AxiomVisitor
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitor


Field Summary
protected  boolean[] m_alreadyExists
           
protected  java.util.List<org.semanticweb.owlapi.model.OWLDataRange[]> m_dataRangeInclusionsAsDisjunctions
           
protected  java.util.List<org.semanticweb.owlapi.model.OWLClassExpression[]> m_inclusionsAsDisjunctions
           
protected  java.util.Collection<org.semanticweb.owlapi.model.SWRLRule> m_rules
           
 
Constructor Summary
OWLNormalization.AxiomVisitor()
           
 
Method Summary
protected  boolean containsBottomObjectProperty(java.util.List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> properties)
           
protected  void throwInvalidTopDPUseError(org.semanticweb.owlapi.model.OWLAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLImportsDeclaration axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
           
 void visit(org.semanticweb.owlapi.model.SWRLRule rule)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_inclusionsAsDisjunctions

protected final java.util.List<org.semanticweb.owlapi.model.OWLClassExpression[]> m_inclusionsAsDisjunctions

m_dataRangeInclusionsAsDisjunctions

protected final java.util.List<org.semanticweb.owlapi.model.OWLDataRange[]> m_dataRangeInclusionsAsDisjunctions

m_rules

protected final java.util.Collection<org.semanticweb.owlapi.model.SWRLRule> m_rules

m_alreadyExists

protected final boolean[] m_alreadyExists
Constructor Detail

OWLNormalization.AxiomVisitor

public OWLNormalization.AxiomVisitor()
Method Detail

visit

public void visit(org.semanticweb.owlapi.model.OWLImportsDeclaration axiom)

visit

public void visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

containsBottomObjectProperty

protected boolean containsBottomObjectProperty(java.util.List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> properties)

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

throwInvalidTopDPUseError

protected void throwInvalidTopDPUseError(org.semanticweb.owlapi.model.OWLAxiom axiom)

visit

public void visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLRule rule)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor