org.semanticweb.HermiT.structural
Class OWLNormalization.PLVisitor

java.lang.Object
  extended by org.semanticweb.HermiT.structural.OWLNormalization.PLVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>
Enclosing class:
OWLNormalization

protected class OWLNormalization.PLVisitor
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

checks the polarity


Constructor Summary
protected OWLNormalization.PLVisitor()
           
 
Method Summary
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLClass object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
           
 java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
           
 java.lang.Boolean 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
 

Constructor Detail

OWLNormalization.PLVisitor

protected OWLNormalization.PLVisitor()
Method Detail

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLClass object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>

visit

public java.lang.Boolean visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<java.lang.Boolean>