Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.semanticweb.owlapi.util
Class MaximumModalDepthFinder

java.lang.Object
  extended by org.semanticweb.owlapi.util.MaximumModalDepthFinder
All Implemented Interfaces:
OWLAnnotationAxiomVisitorEx<java.lang.Integer>, OWLAnnotationObjectVisitorEx<java.lang.Integer>, OWLAnnotationValueVisitorEx<java.lang.Integer>, OWLAxiomVisitorEx<java.lang.Integer>, OWLClassExpressionVisitorEx<java.lang.Integer>, OWLDataVisitorEx<java.lang.Integer>, OWLEntityVisitorEx<java.lang.Integer>, OWLIndividualVisitorEx<java.lang.Integer>, OWLNamedObjectVisitorEx<java.lang.Integer>, OWLObjectVisitorEx<java.lang.Integer>, OWLPropertyExpressionVisitorEx<java.lang.Integer>, SWRLObjectVisitorEx<java.lang.Integer>
public class MaximumModalDepthFinder
extends java.lang.Object
implements OWLObjectVisitorEx<java.lang.Integer>

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14-Jun-2010

Constructor Summary
MaximumModalDepthFinder()
           
 
Method Summary
 java.lang.Integer visit(IRI iri)
           
 java.lang.Integer visit(OWLAnnotation node)
           
 java.lang.Integer visit(OWLAnnotationAssertionAxiom axiom)
           
 java.lang.Integer visit(OWLAnnotationProperty property)
           
 java.lang.Integer visit(OWLAnnotationPropertyDomainAxiom axiom)
           
 java.lang.Integer visit(OWLAnnotationPropertyRangeAxiom axiom)
           
 java.lang.Integer visit(OWLAnonymousIndividual individual)
           
 java.lang.Integer visit(OWLAsymmetricObjectPropertyAxiom axiom)
           
 java.lang.Integer visit(OWLClass ce)
           
 java.lang.Integer visit(OWLClassAssertionAxiom axiom)
           
 java.lang.Integer visit(OWLDataAllValuesFrom ce)
           
 java.lang.Integer visit(OWLDataComplementOf node)
           
 java.lang.Integer visit(OWLDataExactCardinality ce)
           
 java.lang.Integer visit(OWLDataHasValue ce)
           
 java.lang.Integer visit(OWLDataIntersectionOf node)
           
 java.lang.Integer visit(OWLDataMaxCardinality ce)
           
 java.lang.Integer visit(OWLDataMinCardinality ce)
           
 java.lang.Integer visit(OWLDataOneOf node)
           
 java.lang.Integer visit(OWLDataProperty property)
           
 java.lang.Integer visit(OWLDataPropertyAssertionAxiom axiom)
           
 java.lang.Integer visit(OWLDataPropertyDomainAxiom axiom)
           
 java.lang.Integer visit(OWLDataPropertyRangeAxiom axiom)
           
 java.lang.Integer visit(OWLDataSomeValuesFrom ce)
           
 java.lang.Integer visit(OWLDatatype node)
           
 java.lang.Integer visit(OWLDatatypeDefinitionAxiom axiom)
           
 java.lang.Integer visit(OWLDatatypeRestriction node)
           
 java.lang.Integer visit(OWLDataUnionOf node)
           
 java.lang.Integer visit(OWLDeclarationAxiom axiom)
           
 java.lang.Integer visit(OWLDifferentIndividualsAxiom axiom)
           
 java.lang.Integer visit(OWLDisjointClassesAxiom axiom)
           
 java.lang.Integer visit(OWLDisjointDataPropertiesAxiom axiom)
           
 java.lang.Integer visit(OWLDisjointObjectPropertiesAxiom axiom)
           
 java.lang.Integer visit(OWLDisjointUnionAxiom axiom)
           
 java.lang.Integer visit(OWLEquivalentClassesAxiom axiom)
           
 java.lang.Integer visit(OWLEquivalentDataPropertiesAxiom axiom)
           
 java.lang.Integer visit(OWLEquivalentObjectPropertiesAxiom axiom)
           
 java.lang.Integer visit(OWLFacetRestriction node)
           
 java.lang.Integer visit(OWLFunctionalDataPropertyAxiom axiom)
           
 java.lang.Integer visit(OWLFunctionalObjectPropertyAxiom axiom)
           
 java.lang.Integer visit(OWLHasKeyAxiom axiom)
           
 java.lang.Integer visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
           
 java.lang.Integer visit(OWLInverseObjectPropertiesAxiom axiom)
           
 java.lang.Integer visit(OWLIrreflexiveObjectPropertyAxiom axiom)
           
 java.lang.Integer visit(OWLLiteral node)
           
 java.lang.Integer visit(OWLNamedIndividual individual)
           
 java.lang.Integer visit(OWLNegativeDataPropertyAssertionAxiom axiom)
           
 java.lang.Integer visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
           
 java.lang.Integer visit(OWLObjectAllValuesFrom ce)
           
 java.lang.Integer visit(OWLObjectComplementOf ce)
           
 java.lang.Integer visit(OWLObjectExactCardinality ce)
           
 java.lang.Integer visit(OWLObjectHasSelf ce)
           
 java.lang.Integer visit(OWLObjectHasValue ce)
           
 java.lang.Integer visit(OWLObjectIntersectionOf ce)
           
 java.lang.Integer visit(OWLObjectInverseOf property)
           
 java.lang.Integer visit(OWLObjectMaxCardinality ce)
           
 java.lang.Integer visit(OWLObjectMinCardinality ce)
           
 java.lang.Integer visit(OWLObjectOneOf ce)
           
 java.lang.Integer visit(OWLObjectProperty property)
           
 java.lang.Integer visit(OWLObjectPropertyAssertionAxiom axiom)
           
 java.lang.Integer visit(OWLObjectPropertyDomainAxiom axiom)
           
 java.lang.Integer visit(OWLObjectPropertyRangeAxiom axiom)
           
 java.lang.Integer visit(OWLObjectSomeValuesFrom ce)
           
 java.lang.Integer visit(OWLObjectUnionOf ce)
           
 java.lang.Integer visit(OWLOntology ontology)
           
 java.lang.Integer visit(OWLReflexiveObjectPropertyAxiom axiom)
           
 java.lang.Integer visit(OWLSameIndividualAxiom axiom)
           
 java.lang.Integer visit(OWLSubAnnotationPropertyOfAxiom axiom)
           
 java.lang.Integer visit(OWLSubClassOfAxiom axiom)
           
 java.lang.Integer visit(OWLSubDataPropertyOfAxiom axiom)
           
 java.lang.Integer visit(OWLSubObjectPropertyOfAxiom axiom)
           
 java.lang.Integer visit(OWLSubPropertyChainOfAxiom axiom)
           
 java.lang.Integer visit(OWLSymmetricObjectPropertyAxiom axiom)
           
 java.lang.Integer visit(OWLTransitiveObjectPropertyAxiom axiom)
           
 java.lang.Integer visit(SWRLBuiltInAtom node)
           
 java.lang.Integer visit(SWRLClassAtom node)
           
 java.lang.Integer visit(SWRLDataPropertyAtom node)
           
 java.lang.Integer visit(SWRLDataRangeAtom node)
           
 java.lang.Integer visit(SWRLDifferentIndividualsAtom node)
           
 java.lang.Integer visit(SWRLIndividualArgument node)
           
 java.lang.Integer visit(SWRLLiteralArgument node)
           
 java.lang.Integer visit(SWRLObjectPropertyAtom node)
           
 java.lang.Integer visit(SWRLRule rule)
           
 java.lang.Integer visit(SWRLSameIndividualAtom node)
           
 java.lang.Integer visit(SWRLVariable node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MaximumModalDepthFinder

public MaximumModalDepthFinder()
Method Detail

visit

public java.lang.Integer visit(IRI iri)
Specified by:
visit in interface OWLAnnotationValueVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDatatype node)
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLEntityVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLNamedObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectProperty property)
Specified by:
visit in interface OWLEntityVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLNamedObjectVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLPropertyExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLAnonymousIndividual individual)
Specified by:
visit in interface OWLAnnotationValueVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLIndividualVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLClassAtom node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectInverseOf property)
Specified by:
visit in interface OWLPropertyExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLDataRangeAtom node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLAnnotation node)
Specified by:
visit in interface OWLAnnotationObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataOneOf node)
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataProperty property)
Specified by:
visit in interface OWLEntityVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLNamedObjectVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLPropertyExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLObjectPropertyAtom node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataIntersectionOf node)
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLNamedIndividual individual)
Specified by:
visit in interface OWLEntityVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLIndividualVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLNamedObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataUnionOf node)
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLSubClassOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLAnnotationPropertyRangeAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLOntology ontology)
Specified by:
visit in interface OWLNamedObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDatatypeRestriction node)
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLBuiltInAtom node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLAnnotationProperty property)
Specified by:
visit in interface OWLEntityVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLNamedObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLClass ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLEntityVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLNamedObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLVariable node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLLiteral node)
Specified by:
visit in interface OWLAnnotationValueVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectIntersectionOf ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLIndividualArgument node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectUnionOf ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLFacetRestriction node)
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLLiteralArgument node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLAsymmetricObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectComplementOf ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLSameIndividualAtom node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectSomeValuesFrom ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLReflexiveObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLDifferentIndividualsAtom node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectAllValuesFrom ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDisjointClassesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectHasValue ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataPropertyDomainAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectMinCardinality ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectPropertyDomainAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectExactCardinality ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLEquivalentObjectPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectMaxCardinality ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectHasSelf ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLNegativeDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectOneOf ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDifferentIndividualsAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataSomeValuesFrom ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataAllValuesFrom ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDisjointDataPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataHasValue ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDisjointObjectPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataMinCardinality ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectPropertyRangeAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataExactCardinality ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataMaxCardinality ce)
Specified by:
visit in interface OWLClassExpressionVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLSubObjectPropertyOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDisjointUnionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDeclarationAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLAnnotationAssertionAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitorEx<java.lang.Integer>
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLSymmetricObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataPropertyRangeAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLFunctionalDataPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLEquivalentDataPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLClassAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLEquivalentClassesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLTransitiveObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLIrreflexiveObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLSubDataPropertyOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLSameIndividualAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLSubPropertyChainOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLInverseObjectPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLHasKeyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDatatypeDefinitionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLRule rule)
Specified by:
visit in interface OWLAxiomVisitorEx<java.lang.Integer>
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLSubAnnotationPropertyOfAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLAnnotationPropertyDomainAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(OWLDataComplementOf node)
Specified by:
visit in interface OWLDataVisitorEx<java.lang.Integer>

visit

public java.lang.Integer visit(SWRLDataPropertyAtom node)
Specified by:
visit in interface SWRLObjectVisitorEx<java.lang.Integer>
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD