org.semanticweb.HermiT.structural
Class OWLAxiomsExpressivity
java.lang.Object
org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
org.semanticweb.HermiT.structural.OWLAxiomsExpressivity
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor
public class OWLAxiomsExpressivity
- extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
- implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor
Method Summary |
void |
visit(org.semanticweb.owlapi.model.OWLClass desc)
|
void |
visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom 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.OWLDataPropertyAssertionAxiom object)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom object)
|
void |
visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom 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.OWLObjectPropertyAssertionAxiom object)
|
void |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
|
void |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)
|
protected void |
visitProperty(org.semanticweb.owlapi.model.OWLObjectPropertyExpression object)
|
Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter |
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_hasAtMostRestrictions
public boolean m_hasAtMostRestrictions
m_hasInverseRoles
public boolean m_hasInverseRoles
m_hasNominals
public boolean m_hasNominals
m_hasDatatypes
public boolean m_hasDatatypes
m_hasSWRLRules
public boolean m_hasSWRLRules
OWLAxiomsExpressivity
public OWLAxiomsExpressivity(OWLAxioms axioms)
visitProperty
protected void visitProperty(org.semanticweb.owlapi.model.OWLObjectPropertyExpression object)
visit
public void visit(org.semanticweb.owlapi.model.OWLClass desc)
- 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
visit
public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
- Overrides:
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
visit
public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
- Overrides:
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
visit
public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
- Overrides:
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
visit
public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
- Overrides:
visit
in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter