org.semanticweb.more.visitors
Class ELKAxiomVisitor.ELKClassExpressionVisitor
java.lang.Object
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
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 |
ELKAxiomVisitor.ELKClassExpressionVisitor
protected ELKAxiomVisitor.ELKClassExpressionVisitor()
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.