org.semanticweb.HermiT.structural
Class ExpressionManager.DescriptionSimplificationVisitor

java.lang.Object
  extended by org.semanticweb.HermiT.structural.ExpressionManager.DescriptionSimplificationVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
Enclosing class:
ExpressionManager

protected class ExpressionManager.DescriptionSimplificationVisitor
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>


Constructor Summary
protected ExpressionManager.DescriptionSimplificationVisitor()
           
 
Method Summary
protected  boolean isBottomDataRange(org.semanticweb.owlapi.model.OWLDataRange dataRange)
           
 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
 

Constructor Detail

ExpressionManager.DescriptionSimplificationVisitor

protected ExpressionManager.DescriptionSimplificationVisitor()
Method Detail

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>

isBottomDataRange

protected boolean isBottomDataRange(org.semanticweb.owlapi.model.OWLDataRange dataRange)