org.semanticweb.owlapi.util

Class MaximumModalDepthFinder

java.lang.Object

org.semanticweb.owlapi.util.MaximumModalDepthFinder

All Implemented Interfaces:

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

public class MaximumModalDepthFinder
extends Object
implements OWLObjectVisitorEx<Integer>

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

Constructor Summary

Constructors

Constructor and Description
MaximumModalDepthFinder()

Method Summary

Methods

Modifier and Type	Method and Description
Integer	visit(IRI iri)
Integer	visit(OWLAnnotation node)
Integer	visit(OWLAnnotationAssertionAxiom axiom)
Integer	visit(OWLAnnotationProperty property)
Integer	visit(OWLAnnotationPropertyDomainAxiom axiom)
Integer	visit(OWLAnnotationPropertyRangeAxiom axiom)
Integer	visit(OWLAnonymousIndividual individual)
Integer	visit(OWLAsymmetricObjectPropertyAxiom axiom)
Integer	visit(OWLClass ce)
Integer	visit(OWLClassAssertionAxiom axiom)
Integer	visit(OWLDataAllValuesFrom ce)
Integer	visit(OWLDataComplementOf node)
Integer	visit(OWLDataExactCardinality ce)
Integer	visit(OWLDataHasValue ce)
Integer	visit(OWLDataIntersectionOf node)
Integer	visit(OWLDataMaxCardinality ce)
Integer	visit(OWLDataMinCardinality ce)
Integer	visit(OWLDataOneOf node)
Integer	visit(OWLDataProperty property)
Integer	visit(OWLDataPropertyAssertionAxiom axiom)
Integer	visit(OWLDataPropertyDomainAxiom axiom)
Integer	visit(OWLDataPropertyRangeAxiom axiom)
Integer	visit(OWLDataSomeValuesFrom ce)
Integer	visit(OWLDatatype node)
Integer	visit(OWLDatatypeDefinitionAxiom axiom)
Integer	visit(OWLDatatypeRestriction node)
Integer	visit(OWLDataUnionOf node)
Integer	visit(OWLDeclarationAxiom axiom)
Integer	visit(OWLDifferentIndividualsAxiom axiom)
Integer	visit(OWLDisjointClassesAxiom axiom)
Integer	visit(OWLDisjointDataPropertiesAxiom axiom)
Integer	visit(OWLDisjointObjectPropertiesAxiom axiom)
Integer	visit(OWLDisjointUnionAxiom axiom)
Integer	visit(OWLEquivalentClassesAxiom axiom)
Integer	visit(OWLEquivalentDataPropertiesAxiom axiom)
Integer	visit(OWLEquivalentObjectPropertiesAxiom axiom)
Integer	visit(OWLFacetRestriction node)
Integer	visit(OWLFunctionalDataPropertyAxiom axiom)
Integer	visit(OWLFunctionalObjectPropertyAxiom axiom)
Integer	visit(OWLHasKeyAxiom axiom)
Integer	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Integer	visit(OWLInverseObjectPropertiesAxiom axiom)
Integer	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
Integer	visit(OWLLiteral node)
Integer	visit(OWLNamedIndividual individual)
Integer	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
Integer	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
Integer	visit(OWLObjectAllValuesFrom ce)
Integer	visit(OWLObjectComplementOf ce)
Integer	visit(OWLObjectExactCardinality ce)
Integer	visit(OWLObjectHasSelf ce)
Integer	visit(OWLObjectHasValue ce)
Integer	visit(OWLObjectIntersectionOf ce)
Integer	visit(OWLObjectInverseOf property)
Integer	visit(OWLObjectMaxCardinality ce)
Integer	visit(OWLObjectMinCardinality ce)
Integer	visit(OWLObjectOneOf ce)
Integer	visit(OWLObjectProperty property)
Integer	visit(OWLObjectPropertyAssertionAxiom axiom)
Integer	visit(OWLObjectPropertyDomainAxiom axiom)
Integer	visit(OWLObjectPropertyRangeAxiom axiom)
Integer	visit(OWLObjectSomeValuesFrom ce)
Integer	visit(OWLObjectUnionOf ce)
Integer	visit(OWLOntology ontology)
Integer	visit(OWLReflexiveObjectPropertyAxiom axiom)
Integer	visit(OWLSameIndividualAxiom axiom)
Integer	visit(OWLSubAnnotationPropertyOfAxiom axiom)
Integer	visit(OWLSubClassOfAxiom axiom)
Integer	visit(OWLSubDataPropertyOfAxiom axiom)
Integer	visit(OWLSubObjectPropertyOfAxiom axiom)
Integer	visit(OWLSubPropertyChainOfAxiom axiom)
Integer	visit(OWLSymmetricObjectPropertyAxiom axiom)
Integer	visit(OWLTransitiveObjectPropertyAxiom axiom)
Integer	visit(SWRLBuiltInAtom node)
Integer	visit(SWRLClassAtom node)
Integer	visit(SWRLDataPropertyAtom node)
Integer	visit(SWRLDataRangeAtom node)
Integer	visit(SWRLDifferentIndividualsAtom node)
Integer	visit(SWRLIndividualArgument node)
Integer	visit(SWRLLiteralArgument node)
Integer	visit(SWRLObjectPropertyAtom node)
Integer	visit(SWRLRule rule)
Integer	visit(SWRLSameIndividualAtom node)
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 Integer visit(IRI iri)

Specified by:

visit in interface OWLAnnotationValueVisitorEx<Integer>

visit

public Integer visit(OWLDatatype node)

Specified by:

visit in interface OWLDataVisitorEx<Integer>

Specified by:

visit in interface OWLEntityVisitorEx<Integer>

Specified by:

visit in interface OWLNamedObjectVisitorEx<Integer>

visit

public Integer visit(OWLObjectProperty property)

Specified by:

visit in interface OWLEntityVisitorEx<Integer>

Specified by:

visit in interface OWLNamedObjectVisitorEx<Integer>

Specified by:

visit in interface OWLPropertyExpressionVisitorEx<Integer>

visit

public Integer visit(OWLAnonymousIndividual individual)

Specified by:

visit in interface OWLAnnotationValueVisitorEx<Integer>

Specified by:

visit in interface OWLIndividualVisitorEx<Integer>

visit

public Integer visit(SWRLClassAtom node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLObjectInverseOf property)

Specified by:

visit in interface OWLPropertyExpressionVisitorEx<Integer>

visit

public Integer visit(SWRLDataRangeAtom node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLAnnotation node)

Specified by:

visit in interface OWLAnnotationObjectVisitorEx<Integer>

visit

public Integer visit(OWLDataOneOf node)

Specified by:

visit in interface OWLDataVisitorEx<Integer>

visit

public Integer visit(OWLDataProperty property)

Specified by:

visit in interface OWLEntityVisitorEx<Integer>

Specified by:

visit in interface OWLNamedObjectVisitorEx<Integer>

Specified by:

visit in interface OWLPropertyExpressionVisitorEx<Integer>

visit

public Integer visit(SWRLObjectPropertyAtom node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLDataIntersectionOf node)

Specified by:

visit in interface OWLDataVisitorEx<Integer>

visit

public Integer visit(OWLNamedIndividual individual)

Specified by:

visit in interface OWLEntityVisitorEx<Integer>

Specified by:

visit in interface OWLIndividualVisitorEx<Integer>

Specified by:

visit in interface OWLNamedObjectVisitorEx<Integer>

visit

public Integer visit(OWLDataUnionOf node)

Specified by:

visit in interface OWLDataVisitorEx<Integer>

visit

public Integer visit(OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLAnnotationPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<Integer>

visit

public Integer visit(OWLOntology ontology)

Specified by:

visit in interface OWLNamedObjectVisitorEx<Integer>

visit

public Integer visit(OWLDatatypeRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<Integer>

visit

public Integer visit(SWRLBuiltInAtom node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLAnnotationProperty property)

Specified by:

visit in interface OWLEntityVisitorEx<Integer>

Specified by:

visit in interface OWLNamedObjectVisitorEx<Integer>

visit

public Integer visit(OWLClass ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

Specified by:

visit in interface OWLEntityVisitorEx<Integer>

Specified by:

visit in interface OWLNamedObjectVisitorEx<Integer>

visit

public Integer visit(SWRLVariable node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLLiteral node)

Specified by:

visit in interface OWLAnnotationValueVisitorEx<Integer>

Specified by:

visit in interface OWLDataVisitorEx<Integer>

visit

public Integer visit(OWLObjectIntersectionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(SWRLIndividualArgument node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLObjectUnionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLFacetRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<Integer>

visit

public Integer visit(SWRLLiteralArgument node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLObjectComplementOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(SWRLSameIndividualAtom node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLObjectSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(SWRLDifferentIndividualsAtom node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLObjectAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLObjectHasValue ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLObjectMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLObjectExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLObjectMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLObjectHasSelf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLObjectOneOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDataSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLDataAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDataHasValue ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDataMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDataExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLDataMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<Integer>

visit

public Integer visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDeclarationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<Integer>

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLSameIndividualAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLHasKeyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

visit

public Integer visit(SWRLRule rule)

Specified by:

visit in interface OWLAxiomVisitorEx<Integer>

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>

visit

public Integer visit(OWLSubAnnotationPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<Integer>

visit

public Integer visit(OWLAnnotationPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<Integer>

visit

public Integer visit(OWLDataComplementOf node)

Specified by:

visit in interface OWLDataVisitorEx<Integer>

visit

public Integer visit(SWRLDataPropertyAtom node)

Specified by:

visit in interface SWRLObjectVisitorEx<Integer>