org.semanticweb.owlapi.profiles

Class ProfileVisitor

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

org.semanticweb.owlapi.util.OWLOntologyWalkerVisitor

org.semanticweb.owlapi.profiles.ProfileVisitorBase

org.semanticweb.owlapi.profiles.ProfileVisitor

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAnnotationObjectVisitor, OWLAnnotationValueVisitor, OWLAxiomVisitor, OWLClassExpressionVisitor, OWLDataRangeVisitor, OWLDataVisitor, OWLEntityVisitor, OWLIndividualVisitor, OWLLogicalAxiomVisitor, OWLNamedObjectVisitor, OWLObjectVisitor, OWLPropertyExpressionVisitor, SWRLObjectVisitor

public class ProfileVisitor
extends ProfileVisitorBase

Profile visitor - walks the imports closure and adds all violations found to the violation collection. This class is public for use in extensions of the profile detection framework. Any other use should be through the OWLProfile implementations. See Profiles for convenience methods.

Author:

ignazio

Constructor Summary

Constructors

Constructor and Description
ProfileVisitor(OWLOntologyWalker walker, Collection<OWLProfileViolation> violations, Collection<Profiles> profiles)

Method Summary

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

Methods inherited from class org.semanticweb.owlapi.util.OWLOntologyWalkerVisitor

getCurrentAnnotation, getCurrentAxiom, getCurrentOntology

Methods inherited from class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit, visit, visit, visit

Constructor Detail

ProfileVisitor

public ProfileVisitor(OWLOntologyWalker walker,
                      Collection<OWLProfileViolation> violations,
                      Collection<Profiles> profiles)

Parameters:

walker - ontology walker to use

violations - collection of violations; the collection is modified during the visit

profiles - the profiles to check. An empty collection means OWL 2 FULL will be the profile used.

Method Detail

visit

public void visit(IRI iri)

Description copied from interface: OWLAnnotationValueVisitor

visit IRI type

Specified by:

visit in interface OWLAnnotationValueVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

iri - object to visit

visit

public void visit(OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDatatypeRestriction node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDatatypeRestriction type

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

node - node to visit

visit

public void visit(OWLLiteral node)

Description copied from interface: OWLDataVisitor

visit OWLLiteral type

Specified by:

visit in interface OWLAnnotationValueVisitor

Specified by:

visit in interface OWLDataVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

node - node to visit

visit

public void visit(OWLOntology ontology)

Description copied from interface: OWLNamedObjectVisitor

visit OWLOntology type

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ontology - ontology to visit

visit

public void visit(OWLAnnotationProperty property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLAnnotationProperty type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

property - property to visit

visit

public void visit(OWLAsymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLAsymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLClass ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLClass type

Specified by:

visit in interface OWLClassExpressionVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLDataIntersectionOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataIntersectionOf type

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

node - node to visit

visit

public void visit(OWLDataOneOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataOneOf type

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

node - node to visit

visit

public void visit(OWLDataProperty property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLDataProperty type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

property - property to visit

visit

public void visit(OWLDatatype node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDatatype type

Specified by:

visit in interface OWLDataRangeVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

node - node to visit

visit

public void visit(OWLDataUnionOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataUnionOf type

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

node - node to visit

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDifferentIndividualsAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointDataPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointDataPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointObjectPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointUnionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointUnionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentDataPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentDataPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentObjectPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLHasKeyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLHasKeyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLInverseFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLIrreflexiveObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLReflexiveObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLReflexiveObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLNamedIndividual individual)

Description copied from interface: OWLEntityVisitor

visit OWLNamedIndividual type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLIndividualVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

individual - individual to visit

visit

public void visit(OWLObjectExactCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectHasSelf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectHasSelf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectIntersectionOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectIntersectionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectMaxCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectMinCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectOneOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectOneOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectProperty property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectProperty type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

property - property to visit

visit

public void visit(OWLObjectUnionOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectUnionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLSameIndividualAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSameIndividualAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubDataPropertyOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubDataPropertyOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubPropertyChainOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLAnonymousIndividual individual)

Description copied from interface: OWLIndividualVisitor

visit OWLAnonymousIndividual type

Specified by:

visit in interface OWLAnnotationValueVisitor

Specified by:

visit in interface OWLIndividualVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

individual - individual to visit

visit

public void visit(OWLClassAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLClassAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDataAllValuesFrom ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLDataComplementOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataComplementOf type

Specified by:

visit in interface OWLDataRangeVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

node - node to visit

visit

public void visit(OWLDataExactCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLDataMaxCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLDataMinCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLInverseObjectPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectAllValuesFrom ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectComplementOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectComplementOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectInverseOf property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectInverseOf type

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

Parameters:

property - property to visit

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(SWRLRule rule)

Description copied from interface: OWLLogicalAxiomVisitor

visit SWRLRule type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Specified by:

visit in interface SWRLObjectVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

rule - rule to visit

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDataPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLFunctionalDataPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLFunctionalDataPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLNegativeDataPropertyAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLNegativeObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLTransitiveObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit