org.semanticweb.HermiT.structural
Class BuiltInPropertyManager.Checker
java.lang.Object
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
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 |
m_usesTopObjectProperty
public boolean m_usesTopObjectProperty
m_usesBottomObjectProperty
public boolean m_usesBottomObjectProperty
m_usesTopDataProperty
public boolean m_usesTopDataProperty
m_usesBottomDataProperty
public boolean m_usesBottomDataProperty
BuiltInPropertyManager.Checker
public BuiltInPropertyManager.Checker(OWLAxioms axioms)
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