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, getCurrentOntologyequals, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitvisitvisit, visit, visit, visitvisit, visit, visit, visitvisitvisitvisit, visit, visit, visit, visit, visit, visit, visit, visit, visitdoDefault, getDefaultReturnValue, handleDefaultpublic 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)
OWLAnnotationValueVisitoriri - object to visitpublic void visit(OWLDatatypeDefinitionAxiom axiom)
axiom - axiom to visitpublic void visit(OWLDatatypeRestriction node)
OWLDataRangeVisitornode - node to visitpublic void visit(OWLLiteral node)
OWLLiteralVisitorBasenode - node to visitpublic void visit(OWLOntology ontology)
OWLNamedObjectVisitorontology - ontology to visitpublic void visit(OWLAnnotationProperty property)
OWLPropertyEntityVisitorBaseproperty - property to visitpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLClass ce)
OWLClassVisitorBasece - ce to visitpublic void visit(OWLDataIntersectionOf node)
OWLDataRangeVisitornode - node to visitpublic void visit(OWLDataOneOf node)
OWLDataRangeVisitornode - node to visitpublic void visit(OWLDataProperty property)
OWLPropertyEntityVisitorBaseproperty - property to visitpublic void visit(OWLDatatype node)
OWLDataEntityVisitorBasenode - node to visitpublic void visit(OWLDataUnionOf node)
OWLDataRangeVisitornode - node to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLDisjointUnionAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLHasKeyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLNamedIndividual individual)
OWLIndividualEntityVisitorBaseindividual - individual to visitpublic void visit(OWLObjectExactCardinality ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectHasSelf ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectIntersectionOf ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectMaxCardinality ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectMinCardinality ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectOneOf ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectProperty property)
OWLPropertyEntityVisitorBaseproperty - property to visitpublic void visit(OWLObjectUnionOf ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLSameIndividualAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLSubDataPropertyOfAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLAnonymousIndividual individual)
OWLAnonymousIndividualVisitorBaseindividual - object to visitpublic void visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLDataAllValuesFrom ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLDataComplementOf node)
OWLDataRangeVisitornode - node to visitpublic void visit(OWLDataExactCardinality ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLDataMaxCardinality ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLDataMinCardinality ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectComplementOf ce)
OWLClassExpressionVisitorce - ce to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitorproperty - property to visitpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(SWRLRule rule)
SWRLRuleVisitorBaserule - node to visitpublic void visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitoraxiom - axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.