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