org.semanticweb.HermiT.structural
Class BuiltInPropertyManager.Checker

java.lang.Object
  extended by org.semanticweb.HermiT.structural.BuiltInPropertyManager.Checker
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLClassExpressionVisitor
Enclosing class:
BuiltInPropertyManager

protected class BuiltInPropertyManager.Checker
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor


Nested Class Summary
protected  class BuiltInPropertyManager.Checker.FactVisitor
           
 
Field Summary
 boolean m_usesBottomDataProperty
           
 boolean m_usesBottomObjectProperty
           
 boolean m_usesTopDataProperty
           
 boolean m_usesTopObjectProperty
           
 
Constructor Summary
BuiltInPropertyManager.Checker(OWLAxioms axioms)
           
 
Method Summary
 void visit(org.semanticweb.owlapi.model.OWLClass object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataHasValue object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)
           
protected  void visitProperty(org.semanticweb.owlapi.model.OWLDataPropertyExpression object)
           
protected  void visitProperty(org.semanticweb.owlapi.model.OWLObjectPropertyExpression object)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_usesTopObjectProperty

public boolean m_usesTopObjectProperty

m_usesBottomObjectProperty

public boolean m_usesBottomObjectProperty

m_usesTopDataProperty

public boolean m_usesTopDataProperty

m_usesBottomDataProperty

public boolean m_usesBottomDataProperty
Constructor Detail

BuiltInPropertyManager.Checker

public BuiltInPropertyManager.Checker(OWLAxioms axioms)
Method Detail

visitProperty

protected void visitProperty(org.semanticweb.owlapi.model.OWLObjectPropertyExpression object)

visitProperty

protected void visitProperty(org.semanticweb.owlapi.model.OWLDataPropertyExpression object)

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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