org.semanticweb.more.visitors
Class ELKAxiomVisitor.ELKClassExpressionVisitor

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

protected class ELKAxiomVisitor.ELKClassExpressionVisitor
extends Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor


Constructor Summary
protected ELKAxiomVisitor.ELKClassExpressionVisitor()
           
 
Method Summary
 boolean isSupportedByELK()
           
 void visit(org.semanticweb.owlapi.model.OWLClass exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataHasValue exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataOneOf exp)
           
 void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasValue exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectOneOf exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom exp)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf exp)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ELKAxiomVisitor.ELKClassExpressionVisitor

protected ELKAxiomVisitor.ELKClassExpressionVisitor()
Method Detail

isSupportedByELK

public boolean isSupportedByELK()

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

public void visit(org.semanticweb.owlapi.model.OWLDataOneOf exp)

visit

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

visit

public void visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf exp)

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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


Copyright © 2013. All Rights Reserved.