org.semanticweb.more.visitors
Class HornSHIFAxiomVisitor.PosOccurrenceVisitor

java.lang.Object
  extended by org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLClassExpressionVisitor
Enclosing class:
HornSHIFAxiomVisitor

protected class HornSHIFAxiomVisitor.PosOccurrenceVisitor
extends Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor


Constructor Summary
HornSHIFAxiomVisitor.PosOccurrenceVisitor(String kind)
           
 
Method Summary
 boolean containsPosOccurrence(org.semanticweb.owlapi.model.OWLClassExpression ce)
           
 void visit(org.semanticweb.owlapi.model.OWLClass ce)
           
 void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce)
           
 void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce)
           
 void visit(org.semanticweb.owlapi.model.OWLDataHasValue ce)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce)
           
 void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

HornSHIFAxiomVisitor.PosOccurrenceVisitor

public HornSHIFAxiomVisitor.PosOccurrenceVisitor(String kind)
Method Detail

containsPosOccurrence

public boolean containsPosOccurrence(org.semanticweb.owlapi.model.OWLClassExpression ce)

visit

public void visit(org.semanticweb.owlapi.model.OWLClass ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataHasValue ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor


Copyright © 2013. All Rights Reserved.