org.semanticweb.HermiT.structural
Class ExpressionManager.DescriptionNNFVisitor
java.lang.Object
org.semanticweb.HermiT.structural.ExpressionManager.DescriptionNNFVisitor
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
- Enclosing class:
- ExpressionManager
protected class ExpressionManager.DescriptionNNFVisitor
- extends java.lang.Object
- implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
Method Summary |
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLClass d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataHasValue d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataMinCardinality d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectComplementOf d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasSelf d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectHasValue d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectOneOf d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom d)
|
org.semanticweb.owlapi.model.OWLClassExpression |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf d)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ExpressionManager.DescriptionNNFVisitor
protected ExpressionManager.DescriptionNNFVisitor()
visit
public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLClass d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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 d)
- 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.OWLDataHasValue d)
- 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 d)
- 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 d)
- 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 d)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>