public class ProfileVisitor extends ProfileVisitorBase
Constructor and Description |
---|
ProfileVisitor(OWLOntologyWalker walker,
Collection<OWLProfileViolation> violations,
Collection<Profiles> profiles) |
Modifier and Type | Method and Description |
---|---|
void |
visit(IRI iri)
visit IRI type
|
void |
visit(OWLAnnotationProperty property)
visit OWLAnnotationProperty type
|
void |
visit(OWLAnonymousIndividual individual)
visit OWLAnonymousIndividual type
|
void |
visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit OWLAsymmetricObjectPropertyAxiom type
|
void |
visit(OWLClass ce)
visit OWLClass type
|
void |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
void |
visit(OWLDataAllValuesFrom ce)
visit OWLDataAllValuesFrom type
|
void |
visit(OWLDataComplementOf node)
visit OWLDataComplementOf type
|
void |
visit(OWLDataExactCardinality ce)
visit OWLDataExactCardinality type
|
void |
visit(OWLDataIntersectionOf node)
visit OWLDataIntersectionOf type
|
void |
visit(OWLDataMaxCardinality ce)
visit OWLDataMaxCardinality type
|
void |
visit(OWLDataMinCardinality ce)
visit OWLDataMinCardinality type
|
void |
visit(OWLDataOneOf node)
visit OWLDataOneOf type
|
void |
visit(OWLDataProperty property)
visit OWLDataProperty type
|
void |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
void |
visit(OWLDatatype node)
visit OWLDatatype type
|
void |
visit(OWLDatatypeDefinitionAxiom axiom) |
void |
visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
void |
visit(OWLDataUnionOf node)
visit OWLDataUnionOf type
|
void |
visit(OWLDifferentIndividualsAxiom axiom)
visit OWLDifferentIndividualsAxiom type
|
void |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
void |
visit(OWLDisjointDataPropertiesAxiom axiom)
visit OWLDisjointDataPropertiesAxiom type
|
void |
visit(OWLDisjointObjectPropertiesAxiom axiom)
visit OWLDisjointObjectPropertiesAxiom type
|
void |
visit(OWLDisjointUnionAxiom axiom)
visit OWLDisjointUnionAxiom type
|
void |
visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
void |
visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
void |
visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit OWLEquivalentObjectPropertiesAxiom type
|
void |
visit(OWLFunctionalDataPropertyAxiom axiom)
visit OWLFunctionalDataPropertyAxiom type
|
void |
visit(OWLFunctionalObjectPropertyAxiom axiom)
visit OWLFunctionalObjectPropertyAxiom type
|
void |
visit(OWLHasKeyAxiom axiom)
visit OWLHasKeyAxiom type
|
void |
visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
void |
visit(OWLInverseObjectPropertiesAxiom axiom)
visit OWLInverseObjectPropertiesAxiom type
|
void |
visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit OWLIrreflexiveObjectPropertyAxiom type
|
void |
visit(OWLLiteral node)
visit OWLLiteral type
|
void |
visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
void |
visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit OWLNegativeDataPropertyAssertionAxiom type
|
void |
visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit OWLNegativeObjectPropertyAssertionAxiom type
|
void |
visit(OWLObjectAllValuesFrom ce)
visit OWLObjectAllValuesFrom type
|
void |
visit(OWLObjectComplementOf ce)
visit OWLObjectComplementOf type
|
void |
visit(OWLObjectExactCardinality ce)
visit OWLObjectExactCardinality type
|
void |
visit(OWLObjectHasSelf ce)
visit OWLObjectHasSelf type
|
void |
visit(OWLObjectIntersectionOf ce)
visit OWLObjectIntersectionOf type
|
void |
visit(OWLObjectInverseOf property)
visit OWLObjectInverseOf type
|
void |
visit(OWLObjectMaxCardinality ce)
visit OWLObjectMaxCardinality type
|
void |
visit(OWLObjectMinCardinality ce)
visit OWLObjectMinCardinality type
|
void |
visit(OWLObjectOneOf ce)
visit OWLObjectOneOf type
|
void |
visit(OWLObjectProperty property)
visit OWLObjectProperty type
|
void |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
void |
visit(OWLObjectPropertyRangeAxiom axiom)
visit OWLObjectPropertyRangeAxiom type
|
void |
visit(OWLObjectUnionOf ce)
visit OWLObjectUnionOf type
|
void |
visit(OWLOntology ontology)
visit OWLOntology type
|
void |
visit(OWLReflexiveObjectPropertyAxiom axiom)
visit OWLReflexiveObjectPropertyAxiom type
|
void |
visit(OWLSameIndividualAxiom axiom)
visit OWLSameIndividualAxiom type
|
void |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
void |
visit(OWLSubDataPropertyOfAxiom axiom)
visit OWLSubDataPropertyOfAxiom type
|
void |
visit(OWLSubPropertyChainOfAxiom axiom)
visit OWLSubPropertyChainOfAxiom type
|
void |
visit(OWLSymmetricObjectPropertyAxiom axiom)
visit OWLSymmetricObjectPropertyAxiom type
|
void |
visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
void |
visit(SWRLRule rule)
visit SWRLRule type
|
getCurrentAnnotation, getCurrentAxiom, getCurrentOntology
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit
visit, visit, visit, visit
visit, visit, visit, visit
visit
visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
doDefault, getDefaultReturnValue, handleDefault
public ProfileVisitor(OWLOntologyWalker walker, Collection<OWLProfileViolation> violations, Collection<Profiles> profiles)
walker
- ontology walker to useviolations
- collection of violations; the collection is modified during the visitprofiles
- the profiles to check. An empty collection means OWL 2 FULL will be the
profile used.public void visit(IRI iri)
OWLAnnotationValueVisitor
iri
- object to visitpublic void visit(OWLDatatypeDefinitionAxiom axiom)
axiom
- axiom to visitpublic void visit(OWLDatatypeRestriction node)
OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLLiteral node)
OWLLiteralVisitorBase
node
- node to visitpublic void visit(OWLOntology ontology)
OWLNamedObjectVisitor
ontology
- ontology to visitpublic void visit(OWLAnnotationProperty property)
OWLPropertyEntityVisitorBase
property
- property to visitpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLClass ce)
OWLClassVisitorBase
ce
- ce to visitpublic void visit(OWLDataIntersectionOf node)
OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLDataOneOf node)
OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLDataProperty property)
OWLPropertyEntityVisitorBase
property
- property to visitpublic void visit(OWLDatatype node)
OWLDataEntityVisitorBase
node
- node to visitpublic void visit(OWLDataUnionOf node)
OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDisjointUnionAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLHasKeyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLNamedIndividual individual)
OWLIndividualEntityVisitorBase
individual
- individual to visitpublic void visit(OWLObjectExactCardinality ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectHasSelf ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectIntersectionOf ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectMaxCardinality ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectMinCardinality ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectOneOf ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectProperty property)
OWLPropertyEntityVisitorBase
property
- property to visitpublic void visit(OWLObjectUnionOf ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLSameIndividualAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSubDataPropertyOfAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLAnonymousIndividual individual)
OWLAnonymousIndividualVisitorBase
individual
- object to visitpublic void visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDataAllValuesFrom ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataComplementOf node)
OWLDataRangeVisitor
node
- node to visitpublic void visit(OWLDataExactCardinality ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataMaxCardinality ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataMinCardinality ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectComplementOf ce)
OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitor
property
- property to visitpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(SWRLRule rule)
SWRLRuleVisitorBase
rule
- node to visitpublic void visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
axiom
- axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.