org.semanticweb.HermiT.structural
Class OWLNormalization.NormalizationVisitor
java.lang.Object
org.semanticweb.HermiT.structural.OWLNormalization.NormalizationVisitor
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
- Enclosing class:
- OWLNormalization
protected class OWLNormalization.NormalizationVisitor
- extends java.lang.Object
- implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
Constructor Summary |
OWLNormalization.NormalizationVisitor(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusions,
java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
|
Method Summary |
protected void |
throwInvalidTopDPUseError(org.semanticweb.owlapi.model.OWLClassExpression ex)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLClass object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataHasValue object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMinCardinality object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_newInclusions
protected final java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_newInclusions
m_newDataRangeInclusions
protected final java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_newDataRangeInclusions
m_alreadyExists
protected final boolean[] m_alreadyExists
OWLNormalization.NormalizationVisitor
public OWLNormalization.NormalizationVisitor(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusions,
java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLClass object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
throwInvalidTopDPUseError
protected void throwInvalidTopDPUseError(org.semanticweb.owlapi.model.OWLClassExpression ex)
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataHasValue object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMinCardinality object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataExactCardinality object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>