public class MaximumModalDepthFinder extends OWLObjectVisitorExAdapter<Integer>
Constructor and Description |
---|
MaximumModalDepthFinder()
default constructor, setting default value to 0
|
Modifier and Type | Method and Description |
---|---|
Integer |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
Integer |
visit(OWLDataAllValuesFrom ce)
visit OWLDataAllValuesFrom type
|
Integer |
visit(OWLDataExactCardinality ce)
visit OWLDataExactCardinality type
|
Integer |
visit(OWLDataHasValue ce)
visit OWLDataHasValue type
|
Integer |
visit(OWLDataMaxCardinality ce)
visit OWLDataMaxCardinality type
|
Integer |
visit(OWLDataMinCardinality ce)
visit OWLDataMinCardinality type
|
Integer |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
Integer |
visit(OWLDataSomeValuesFrom ce)
visit OWLDataSomeValuesFrom type
|
Integer |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
Integer |
visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
Integer |
visit(OWLObjectAllValuesFrom ce)
visit OWLObjectAllValuesFrom type
|
Integer |
visit(OWLObjectComplementOf ce)
visit OWLObjectComplementOf type
|
Integer |
visit(OWLObjectExactCardinality ce)
visit OWLObjectExactCardinality type
|
Integer |
visit(OWLObjectHasSelf ce)
visit OWLObjectHasSelf type
|
Integer |
visit(OWLObjectIntersectionOf ce)
visit OWLObjectIntersectionOf type
|
Integer |
visit(OWLObjectMaxCardinality ce)
visit OWLObjectMaxCardinality type
|
Integer |
visit(OWLObjectMinCardinality ce)
visit OWLObjectMinCardinality type
|
Integer |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
Integer |
visit(OWLObjectSomeValuesFrom ce)
visit OWLObjectSomeValuesFrom type
|
Integer |
visit(OWLObjectUnionOf ce)
visit OWLObjectUnionOf type
|
Integer |
visit(OWLOntology ontology)
visit OWLOntology type
|
Integer |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
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, visit
visit, visit, visit, visit, visit, visit, visit, visit
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit, visit, visit, visit, visit, visit, visit, visit
visit
visit
visit
public MaximumModalDepthFinder()
public Integer visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
axiom
- axiom to visitpublic Integer visit(OWLOntology ontology)
OWLNamedObjectVisitorEx
visit
in interface OWLNamedObjectVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ontology
- ontology to visitpublic Integer visit(OWLObjectIntersectionOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectUnionOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectComplementOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectSomeValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
axiom
- axiom to visitpublic Integer visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
axiom
- axiom to visitpublic Integer visit(OWLObjectMinCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
axiom
- axiom to visitpublic Integer visit(OWLObjectExactCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectMaxCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectHasSelf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLDataSomeValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLDataAllValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLDataHasValue ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLDataMinCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLDataExactCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLDataMaxCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
ce
- ce to visitpublic Integer visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
axiom
- axiom to visitpublic Integer visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
visit
in class OWLObjectVisitorExAdapter<Integer>
axiom
- axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.