org.semanticweb.HermiT.structural
Class OWLNormalization.AxiomVisitor
java.lang.Object
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
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 |
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
OWLNormalization.AxiomVisitor
public OWLNormalization.AxiomVisitor()
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