org.semanticweb.HermiT.structural
Class OWLAxiomsExpressivity

java.lang.Object
  extended by org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
      extended by 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


Field Summary
 boolean m_hasAtMostRestrictions
           
 boolean m_hasDatatypes
           
 boolean m_hasInverseRoles
           
 boolean m_hasNominals
           
 boolean m_hasSWRLRules
           
 
Constructor Summary
OWLAxiomsExpressivity(OWLAxioms axioms)
           
 
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
 

Field Detail

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
Constructor Detail

OWLAxiomsExpressivity

public OWLAxiomsExpressivity(OWLAxioms axioms)
Method Detail

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