public abstract class AbstractMacroExpansionVisitor extends OWLDataVisitorExAdapter<OWLDataRange> implements OWLClassExpressionVisitorEx<OWLClassExpression>, OWLDataVisitorEx<OWLDataRange>, OWLAxiomVisitorEx<OWLAxiom>
Modifier and Type | Method and Description |
---|---|
Set<OWLAnnotation> |
getAnnotationsWithOptionalExpansionMarker(OWLAxiom axiom) |
OWLAnnotation |
getExpansionMarkerAnnotation() |
OWLAnnotationProperty |
getOIO_ISEXPANSION() |
OWLAxiom |
visit(OWLAnnotationAssertionAxiom axiom)
visit OWLAnnotationAssertionAxiom type
|
OWLAxiom |
visit(OWLAnnotationPropertyDomainAxiom axiom)
visit OWLAnnotationPropertyDomainAxiom type
|
OWLAxiom |
visit(OWLAnnotationPropertyRangeAxiom axiom)
visit OWLAnnotationPropertyRangeAxiom type
|
OWLAxiom |
visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit OWLAsymmetricObjectPropertyAxiom type
|
OWLClassExpression |
visit(OWLClass ce)
visit OWLClass type
|
OWLAxiom |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
OWLClassExpression |
visit(OWLDataAllValuesFrom ce)
visit OWLDataAllValuesFrom type
|
OWLDataRange |
visit(OWLDataComplementOf node)
visit OWLDataComplementOf type
|
OWLClassExpression |
visit(OWLDataExactCardinality ce)
visit OWLDataExactCardinality type
|
OWLClassExpression |
visit(OWLDataHasValue ce)
visit OWLDataHasValue type
|
OWLDataRange |
visit(OWLDataIntersectionOf node)
visit OWLDataIntersectionOf type
|
OWLClassExpression |
visit(OWLDataMaxCardinality ce)
visit OWLDataMaxCardinality type
|
OWLClassExpression |
visit(OWLDataMinCardinality ce)
visit OWLDataMinCardinality type
|
OWLDataRange |
visit(OWLDataOneOf node)
visit OWLDataOneOf type
|
OWLAxiom |
visit(OWLDataPropertyAssertionAxiom axiom)
visit OWLDataPropertyAssertionAxiom type
|
OWLAxiom |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
OWLAxiom |
visit(OWLDataPropertyRangeAxiom axiom)
visit OWLDataPropertyRangeAxiom type
|
OWLClassExpression |
visit(OWLDataSomeValuesFrom ce)
visit OWLDataSomeValuesFrom type
|
OWLDataRange |
visit(OWLDatatype node)
visit OWLDatatype type
|
OWLAxiom |
visit(OWLDatatypeDefinitionAxiom axiom)
visit OWLDatatypeDefinitionAxiom type
|
OWLDataRange |
visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
OWLDataRange |
visit(OWLDataUnionOf node)
visit OWLDataUnionOf type
|
OWLAxiom |
visit(OWLDeclarationAxiom axiom)
visit OWLDeclarationAxiom type
|
OWLAxiom |
visit(OWLDifferentIndividualsAxiom axiom)
visit OWLDifferentIndividualsAxiom type
|
OWLAxiom |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
OWLAxiom |
visit(OWLDisjointDataPropertiesAxiom axiom)
visit OWLDisjointDataPropertiesAxiom type
|
OWLAxiom |
visit(OWLDisjointObjectPropertiesAxiom axiom)
visit OWLDisjointObjectPropertiesAxiom type
|
OWLAxiom |
visit(OWLDisjointUnionAxiom axiom)
visit OWLDisjointUnionAxiom type
|
OWLAxiom |
visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
OWLAxiom |
visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
OWLAxiom |
visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit OWLEquivalentObjectPropertiesAxiom type
|
OWLAxiom |
visit(OWLFunctionalDataPropertyAxiom axiom)
visit OWLFunctionalDataPropertyAxiom type
|
OWLAxiom |
visit(OWLFunctionalObjectPropertyAxiom axiom)
visit OWLFunctionalObjectPropertyAxiom type
|
OWLAxiom |
visit(OWLHasKeyAxiom axiom)
visit OWLHasKeyAxiom type
|
OWLAxiom |
visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
OWLAxiom |
visit(OWLInverseObjectPropertiesAxiom axiom)
visit OWLInverseObjectPropertiesAxiom type
|
OWLAxiom |
visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit OWLIrreflexiveObjectPropertyAxiom type
|
OWLAxiom |
visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit OWLNegativeDataPropertyAssertionAxiom type
|
OWLAxiom |
visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit OWLNegativeObjectPropertyAssertionAxiom type
|
OWLClassExpression |
visit(OWLObjectAllValuesFrom ce)
visit OWLObjectAllValuesFrom type
|
OWLClassExpression |
visit(OWLObjectComplementOf ce)
visit OWLObjectComplementOf type
|
OWLClassExpression |
visit(OWLObjectExactCardinality ce)
visit OWLObjectExactCardinality type
|
OWLClassExpression |
visit(OWLObjectHasSelf ce)
visit OWLObjectHasSelf type
|
OWLClassExpression |
visit(OWLObjectHasValue ce)
visit OWLObjectHasValue type
|
OWLClassExpression |
visit(OWLObjectIntersectionOf ce)
visit OWLObjectIntersectionOf type
|
OWLClassExpression |
visit(OWLObjectMaxCardinality ce)
visit OWLObjectMaxCardinality type
|
OWLClassExpression |
visit(OWLObjectMinCardinality ce)
visit OWLObjectMinCardinality type
|
OWLClassExpression |
visit(OWLObjectOneOf ce)
visit OWLObjectOneOf type
|
OWLAxiom |
visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom type
|
OWLAxiom |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
OWLAxiom |
visit(OWLObjectPropertyRangeAxiom axiom)
visit OWLObjectPropertyRangeAxiom type
|
OWLClassExpression |
visit(OWLObjectSomeValuesFrom ce)
visit OWLObjectSomeValuesFrom type
|
OWLClassExpression |
visit(OWLObjectUnionOf ce)
visit OWLObjectUnionOf type
|
OWLAxiom |
visit(OWLReflexiveObjectPropertyAxiom axiom)
visit OWLReflexiveObjectPropertyAxiom type
|
OWLAxiom |
visit(OWLSameIndividualAxiom axiom)
visit OWLSameIndividualAxiom type
|
OWLAxiom |
visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit OWLSubAnnotationPropertyOfAxiom type
|
OWLAxiom |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
OWLAxiom |
visit(OWLSubDataPropertyOfAxiom axiom)
visit OWLSubDataPropertyOfAxiom type
|
OWLAxiom |
visit(OWLSubObjectPropertyOfAxiom axiom)
visit OWLSubObjectPropertyOfAxiom type
|
OWLAxiom |
visit(OWLSubPropertyChainOfAxiom axiom)
visit OWLSubPropertyChainOfAxiom type
|
OWLAxiom |
visit(OWLSymmetricObjectPropertyAxiom axiom)
visit OWLSymmetricObjectPropertyAxiom type
|
OWLAxiom |
visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
OWLAxiom |
visit(SWRLRule rule)
visit SWRLRule type
|
visit, visit
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit, visit
public OWLAnnotationProperty getOIO_ISEXPANSION()
public OWLAnnotation getExpansionMarkerAnnotation()
public OWLClassExpression visit(@Nonnull OWLObjectIntersectionOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLObjectUnionOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLObjectComplementOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visit@Nonnull public OWLClassExpression visit(@Nonnull OWLObjectSomeValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visit@Nonnull public OWLClassExpression visit(@Nonnull OWLObjectHasValue ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLObjectMinCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLObjectExactCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLObjectMaxCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLDataSomeValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLDataAllValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLDataHasValue ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLDataExactCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLDataMaxCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(@Nonnull OWLDataMinCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLDataRange visit(@Nonnull OWLDataOneOf node)
OWLDataVisitorEx
visit
in interface OWLDataVisitorEx<OWLDataRange>
visit
in class OWLDataVisitorExAdapter<OWLDataRange>
node
- node to visitpublic OWLDataRange visit(@Nonnull OWLDataIntersectionOf node)
OWLDataVisitorEx
visit
in interface OWLDataVisitorEx<OWLDataRange>
visit
in class OWLDataVisitorExAdapter<OWLDataRange>
node
- node to visitpublic OWLDataRange visit(@Nonnull OWLDataUnionOf node)
OWLDataVisitorEx
visit
in interface OWLDataVisitorEx<OWLDataRange>
visit
in class OWLDataVisitorExAdapter<OWLDataRange>
node
- node to visitpublic OWLAxiom visit(@Nonnull OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visit@Nonnull public Set<OWLAnnotation> getAnnotationsWithOptionalExpansionMarker(OWLAxiom axiom)
axiom
- axiom providing annotationspublic OWLAxiom visit(@Nonnull OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(@Nonnull OWLDisjointUnionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(@Nonnull OWLDataPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(@Nonnull OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(@Nonnull OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLClass ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(OWLObjectHasSelf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLClassExpression visit(OWLObjectOneOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<OWLClassExpression>
ce
- ce to visitpublic OWLDataRange visit(OWLDatatype node)
OWLDataVisitorEx
visit
in interface OWLDataVisitorEx<OWLDataRange>
visit
in class OWLDataVisitorExAdapter<OWLDataRange>
node
- node to visitpublic OWLDataRange visit(OWLDataComplementOf node)
OWLDataVisitorEx
visit
in interface OWLDataVisitorEx<OWLDataRange>
visit
in class OWLDataVisitorExAdapter<OWLDataRange>
node
- node to visitpublic OWLAxiom visit(OWLHasKeyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLDataRange visit(OWLDatatypeRestriction node)
OWLDataVisitorEx
visit
in interface OWLDataVisitorEx<OWLDataRange>
visit
in class OWLDataVisitorExAdapter<OWLDataRange>
node
- node to visitpublic OWLAxiom visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDifferentIndividualsAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDisjointDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLSubObjectPropertyOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDeclarationAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLAnnotationAssertionAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
axiom
- object to visitpublic OWLAxiom visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLFunctionalDataPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLSubDataPropertyOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLSameIndividualAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLSubPropertyChainOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(OWLInverseObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitpublic OWLAxiom visit(SWRLRule rule)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLAxiom>
rule
- rule to visitpublic OWLAxiom visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
axiom
- object to visitpublic OWLAxiom visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
axiom
- object to visitpublic OWLAxiom visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>
axiom
- object to visitpublic OWLAxiom visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<OWLAxiom>
axiom
- axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.