org.semanticweb.more
Class BottomLocalityChecker.TopChecker

java.lang.Object
  extended by 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


Field Summary
 boolean canMakeTop
           
 boolean isTop
           
 List<Set<org.semanticweb.owlapi.model.OWLEntity>> solutions
           
 
Constructor Summary
BottomLocalityChecker.TopChecker()
           
 
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
 

Field Detail

isTop

public boolean isTop

canMakeTop

public boolean canMakeTop

solutions

public List<Set<org.semanticweb.owlapi.model.OWLEntity>> solutions
Constructor Detail

BottomLocalityChecker.TopChecker

public BottomLocalityChecker.TopChecker()
Method Detail

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.