org.semanticweb.more
Class BottomLocalityChecker.TopChecker
java.lang.Object
org.semanticweb.more.BottomLocalityChecker.TopChecker
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.OWLClassExpressionVisitor
- Enclosing class:
- BottomLocalityChecker
public class BottomLocalityChecker.TopChecker
- extends Object
- implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor
Method Summary |
LocalityInfo |
info()
|
void |
visit(org.semanticweb.owlapi.model.OWLClass exp)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom exp)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataHasValue 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 desc)
|
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 |
isTop
public boolean isTop
canMakeTop
public boolean canMakeTop
solutions
public List<Set<org.semanticweb.owlapi.model.OWLEntity>> solutions
BottomLocalityChecker.TopChecker
public BottomLocalityChecker.TopChecker()
info
public LocalityInfo info()
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.OWLObjectIntersectionOf exp)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
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.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.OWLObjectAllValuesFrom 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.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.OWLObjectHasSelf 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.OWLDataHasValue 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.OWLDataMinCardinality 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.OWLDataMaxCardinality exp)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
Copyright © 2013. All Rights Reserved.