org.semanticweb.owlapi.profiles
Class OWL2ELProfile.OWL2ELProfileObjectVisitor

java.lang.Object
  org.semanticweb.owlapi.util.OWLObjectVisitorExAdapter<E>
      org.semanticweb.owlapi.util.OWLOntologyWalkerVisitor
          org.semanticweb.owlapi.profiles.OWL2ELProfile.OWL2ELProfileObjectVisitor

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx, OWLAnnotationObjectVisitorEx, OWLAnnotationValueVisitorEx, OWLAxiomVisitorEx, OWLClassExpressionVisitorEx, OWLDataVisitorEx, OWLEntityVisitorEx, OWLIndividualVisitorEx, OWLNamedObjectVisitorEx, OWLObjectVisitorEx, OWLPropertyExpressionVisitorEx, SWRLObjectVisitorEx

Enclosing class:

OWL2ELProfile

protected class OWL2ELProfile.OWL2ELProfileObjectVisitor
extends OWLOntologyWalkerVisitor

Constructor Summary

OWL2ELProfile.OWL2ELProfileObjectVisitor(OWLOntologyWalker walker, OWLOntologyManager man)

Method Summary

java.util.Set<OWLProfileViolation>	getProfileViolations()
java.lang.Object	visit(OWLAnonymousIndividual individual)
java.lang.Object	visit(OWLAsymmetricObjectPropertyAxiom axiom)
java.lang.Object	visit(OWLDataAllValuesFrom desc)
java.lang.Object	visit(OWLDataComplementOf node)
java.lang.Object	visit(OWLDataExactCardinality desc)
java.lang.Object	visit(OWLDataMaxCardinality desc)
java.lang.Object	visit(OWLDataMinCardinality desc)
java.lang.Object	visit(OWLDataOneOf node)
java.lang.Object	visit(OWLDatatype node)
java.lang.Object	visit(OWLDatatypeRestriction node)
java.lang.Object	visit(OWLDataUnionOf node)
java.lang.Object	visit(OWLDisjointDataPropertiesAxiom axiom)
java.lang.Object	visit(OWLDisjointObjectPropertiesAxiom axiom)
java.lang.Object	visit(OWLDisjointUnionAxiom axiom)
java.lang.Object	visit(OWLFunctionalObjectPropertyAxiom axiom)
java.lang.Object	visit(OWLHasKeyAxiom axiom)
java.lang.Object	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
java.lang.Object	visit(OWLInverseObjectPropertiesAxiom axiom)
java.lang.Object	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
java.lang.Object	visit(OWLObjectAllValuesFrom desc)
java.lang.Object	visit(OWLObjectComplementOf desc)
java.lang.Object	visit(OWLObjectExactCardinality desc)
java.lang.Object	visit(OWLObjectInverseOf property)
java.lang.Object	visit(OWLObjectMaxCardinality desc)
java.lang.Object	visit(OWLObjectMinCardinality desc)
java.lang.Object	visit(OWLObjectOneOf desc)
java.lang.Object	visit(OWLObjectUnionOf desc)
java.lang.Object	visit(OWLOntology ontology)
java.lang.Object	visit(OWLSubPropertyChainOfAxiom axiom)
java.lang.Object	visit(OWLSymmetricObjectPropertyAxiom axiom)
java.lang.Object	visit(SWRLRule rule)

Methods inherited from class org.semanticweb.owlapi.util.OWLOntologyWalkerVisitor

getCurrentAnnotation, getCurrentAxiom, getCurrentOntology

Methods inherited from class org.semanticweb.owlapi.util.OWLObjectVisitorExAdapter

getDefaultReturnValue, 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, 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

Constructor Detail

OWL2ELProfile.OWL2ELProfileObjectVisitor

public OWL2ELProfile.OWL2ELProfileObjectVisitor(OWLOntologyWalker walker,
                                                OWLOntologyManager man)

Method Detail

getProfileViolations

public java.util.Set<OWLProfileViolation> getProfileViolations()

visit

public java.lang.Object visit(OWLDatatype node)

Specified by:

visit in interface OWLDataVisitorEx

Specified by:

visit in interface OWLEntityVisitorEx

Specified by:

visit in interface OWLNamedObjectVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLAnonymousIndividual individual)

Specified by:

visit in interface OWLAnnotationValueVisitorEx

Specified by:

visit in interface OWLIndividualVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectInverseOf property)

Specified by:

visit in interface OWLPropertyExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDataAllValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDataExactCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDataMaxCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDataMinCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectAllValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectComplementOf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectExactCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectMaxCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectMinCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectOneOf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLObjectUnionOf desc)

Specified by:

visit in interface OWLClassExpressionVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDataComplementOf node)

Specified by:

visit in interface OWLDataVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDataOneOf node)

Specified by:

visit in interface OWLDataVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDatatypeRestriction node)

Specified by:

visit in interface OWLDataVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDataUnionOf node)

Specified by:

visit in interface OWLDataVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLHasKeyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(SWRLRule rule)

Specified by:

visit in interface OWLAxiomVisitorEx

Specified by:

visit in interface SWRLObjectVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter

visit

public java.lang.Object visit(OWLOntology ontology)

Specified by:

visit in interface OWLNamedObjectVisitorEx

Overrides:

visit in class OWLObjectVisitorExAdapter