public class KRSSObjectRenderer extends Object implements OWLObjectVisitor
KRSSObjectRenderer
renderes an OWLOntology in the original KRSS
syntax. Note that only a subset of OWL can be expressed in KRSS. CN | concept name |
C,D,E | concept expression |
RN | role name |
R, R1, R2,... | role expressions, i.e. role name or inverse role |
KRSS | OWLClassExpression |
(at-least n R C) | (OWLObjectMinCardinality R n C) |
(at-most n R C) | (OWLObjectMaxCardinality R n C) |
(exactly n R C) | (OWLObjectExactCardinality R n C) |
(some R C) | (OWLObjectSomeValuesFrom R C) |
(all R C) | (OWLObjectAllValuesFrom R C) |
(not C) | (OWLObjectComplementOf C) |
(and C D E) | (OWLObjectIntersectionOf C D E) |
(or C D E) | (OWLObjectUnionOf C D E) |
KRSS | OWLObjectPropertyExpression |
(inv R) | (OWLInverseObjectPropertiesAxiom R) |
OWLAxiom | KRSS syntax | Remarks |
OWLEquivalentClasses | (define-concept C D) | OWLEquivalentClasses C D1 D2...Dn will be translated to: (define-concept C (and D1 D2...Dn)) Only applicable if there is no OWLSubClassOf axiom. |
OWLDisjointClassesAxiom | (disjoint C D) | multiple pairwise disjoint statements are added in case of more than 2 disjoint expressions |
OWLSubClassOf | (define-primitive-concept C D) | Multiple OWLSubClassOf axioms for C will be combined: (define-primitive-concept C (and D1...Dn)) Only applicable if there is no OWLEquivalentClasses axiom. KRSS does not allow both define-concept C and define-primitive-concept C. GCIs not supported in KRSS (see KRSS2) |
OWLEquivalentObjectPropertiesAxiom | (define-role R S) | Only applicable if the is no OWLSubObjectPropertyOf for R and the number of the involved properties must be two |
OWLObjectPropertyDomainAxiom | (domain P D) | |
OWLObjectPropertyRangeAxiom | (range P D) | |
OWLSubObjectPropertyOf | (define-primitive-role R S) | Only applicable if the is no OWLEquivalentObjectPropertiesAxiom for R and only one OWLSubObjectPropertyOf axiom for a given property is allowed. If there are more one is randomly chosen. |
OWLTransitiveObjectPropertyAxiom | (transitive P) | |
OWLClassAssertionAxiom | (instance i D) | |
OWLDifferentIndividualsAxiom | (distinct i1 i2) | OWLDifferentIndividualsAxiom i1 i2 ... in will be splitted into: { (distinct i(j) i(j+k)) | 1 <= j <=n, j<k<=n, j=|=k} |
OWLObjectPropertyAssertionAxiom | (related i1 P i2) | i1: subject, i2: object |
OWLSameIndividualsAxiom | (equal i1 i2) | OWLSameIndividual i1 i2 ...i(n-1) in will be splitted into: { (equal i(j) i(j+k)) | 1 <= j <=n, j<k<=n, j=|=k} |
Constructor and Description |
---|
KRSSObjectRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer writer)
Deprecated.
|
KRSSObjectRenderer(OWLOntology ontology,
Writer writer) |
Modifier and Type | Method and Description |
---|---|
void |
visit(IRI iri)
visit IRI type
|
void |
visit(OWLAnnotation node)
visit OWLAnnotation type
|
void |
visit(OWLAnnotationAssertionAxiom axiom)
visit OWLAnnotationAssertionAxiom type
|
void |
visit(OWLAnnotationProperty property)
visit OWLAnnotationProperty type
|
void |
visit(OWLAnnotationPropertyDomainAxiom axiom)
visit OWLAnnotationPropertyDomainAxiom type
|
void |
visit(OWLAnnotationPropertyRangeAxiom axiom)
visit OWLAnnotationPropertyRangeAxiom type
|
void |
visit(OWLAnonymousIndividual individual)
visit OWLAnonymousIndividual type
|
void |
visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit OWLAsymmetricObjectPropertyAxiom type
|
void |
visit(OWLClass desc)
visit OWLClass type
|
void |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
void |
visit(OWLDataAllValuesFrom desc)
visit OWLDataAllValuesFrom type
|
void |
visit(OWLDataComplementOf node)
visit OWLDataComplementOf type
|
void |
visit(OWLDataExactCardinality desc)
visit OWLDataExactCardinality type
|
void |
visit(OWLDataHasValue desc)
visit OWLDataHasValue type
|
void |
visit(OWLDataIntersectionOf node)
visit OWLDataIntersectionOf type
|
void |
visit(OWLDataMaxCardinality desc)
visit OWLDataMaxCardinality type
|
void |
visit(OWLDataMinCardinality desc)
visit OWLDataMinCardinality type
|
void |
visit(OWLDataOneOf node)
visit OWLDataOneOf type
|
void |
visit(OWLDataProperty property)
visit OWLDataProperty type
|
void |
visit(OWLDataPropertyAssertionAxiom axiom)
visit OWLDataPropertyAssertionAxiom type
|
void |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
void |
visit(OWLDataPropertyRangeAxiom axiom)
visit OWLDataPropertyRangeAxiom type
|
void |
visit(OWLDataSomeValuesFrom desc)
visit OWLDataSomeValuesFrom type
|
void |
visit(OWLDatatype node)
visit OWLDatatype type
|
void |
visit(OWLDatatypeDefinitionAxiom axiom)
visit OWLDatatypeDefinitionAxiom type
|
void |
visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
void |
visit(OWLDataUnionOf node)
visit OWLDataUnionOf type
|
void |
visit(OWLDeclarationAxiom axiom)
visit OWLDeclarationAxiom 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(OWLFacetRestriction node)
visit OWLFacetRestriction type
|
void |
visit(OWLFunctionalDataPropertyAxiom axiom)
visit OWLFunctionalDataPropertyAxiom type
|
void |
visit(OWLFunctionalObjectPropertyAxiom axiom)
visit OWLFunctionalObjectPropertyAxiom type
|
void |
visit(OWLHasKeyAxiom axiom)
visit OWLHasKeyAxiom type
|
void |
visit(OWLImportsDeclaration axiom) |
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 desc)
visit OWLObjectAllValuesFrom type
|
void |
visit(OWLObjectComplementOf desc)
visit OWLObjectComplementOf type
|
void |
visit(OWLObjectExactCardinality desc)
visit OWLObjectExactCardinality type
|
void |
visit(OWLObjectHasSelf desc)
visit OWLObjectHasSelf type
|
void |
visit(OWLObjectHasValue desc)
visit OWLObjectHasValue type
|
void |
visit(OWLObjectIntersectionOf desc)
visit OWLObjectIntersectionOf type
|
void |
visit(OWLObjectInverseOf property)
visit OWLObjectInverseOf type
|
void |
visit(OWLObjectMaxCardinality desc)
visit OWLObjectMaxCardinality type
|
void |
visit(OWLObjectMinCardinality desc)
visit OWLObjectMinCardinality type
|
void |
visit(OWLObjectOneOf desc)
visit OWLObjectOneOf type
|
void |
visit(OWLObjectProperty property)
visit OWLObjectProperty type
|
void |
visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom type
|
void |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
void |
visit(OWLObjectPropertyRangeAxiom axiom)
visit OWLObjectPropertyRangeAxiom type
|
void |
visit(OWLObjectSomeValuesFrom desc)
visit OWLObjectSomeValuesFrom type
|
void |
visit(OWLObjectUnionOf desc)
visit OWLObjectUnionOf type
|
void |
visit(OWLOntology ontology1)
visit OWLOntology type
|
void |
visit(OWLReflexiveObjectPropertyAxiom axiom)
visit OWLReflexiveObjectPropertyAxiom type
|
void |
visit(OWLSameIndividualAxiom axiom)
visit OWLSameIndividualAxiom type
|
void |
visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit OWLSubAnnotationPropertyOfAxiom type
|
void |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
void |
visit(OWLSubDataPropertyOfAxiom axiom)
visit OWLSubDataPropertyOfAxiom type
|
void |
visit(OWLSubObjectPropertyOfAxiom axiom)
visit OWLSubObjectPropertyOfAxiom type
|
void |
visit(OWLSubPropertyChainOfAxiom axiom)
visit OWLSubPropertyChainOfAxiom type
|
void |
visit(OWLSymmetricObjectPropertyAxiom axiom)
visit OWLSymmetricObjectPropertyAxiom type
|
void |
visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
void |
visit(SWRLBuiltInAtom node)
visit SWRLBuiltInAtom type
|
void |
visit(SWRLClassAtom node)
visit SWRLClassAtom type
|
void |
visit(SWRLDataPropertyAtom node)
visit SWRLDataPropertyAtom type
|
void |
visit(SWRLDataRangeAtom node)
visit SWRLDataRangeAtom type
|
void |
visit(SWRLDifferentIndividualsAtom node)
visit SWRLDifferentIndividualsAtom type
|
void |
visit(SWRLIndividualArgument node)
visit SWRLIndividualArgument type
|
void |
visit(SWRLLiteralArgument node)
visit SWRLLiteralArgument type
|
void |
visit(SWRLObjectPropertyAtom node)
visit SWRLObjectPropertyAtom type
|
void |
visit(SWRLRule rule)
visit SWRLRule type
|
void |
visit(SWRLSameIndividualAtom node)
visit SWRLSameIndividualAtom type
|
void |
visit(SWRLVariable node)
visit SWRLVariable type
|
void |
write(OWLClassExpression obj) |
void |
write(OWLDataRange obj) |
void |
write(OWLIndividual ind) |
void |
write(OWLPropertyExpression<?,?> obj) |
@Deprecated public KRSSObjectRenderer(OWLOntologyManager manager, OWLOntology ontology, Writer writer)
public KRSSObjectRenderer(OWLOntology ontology, Writer writer)
public final void write(OWLClassExpression obj)
public final void write(OWLIndividual ind)
public final void write(OWLPropertyExpression<?,?> obj)
public final void write(OWLDataRange obj)
public void visit(OWLOntology ontology1)
OWLNamedObjectVisitor
visit
in interface OWLNamedObjectVisitor
ontology1
- object to visitpublic void visit(OWLSubClassOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLImportsDeclaration axiom)
public void visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDisjointUnionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDeclarationAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLAnnotationAssertionAxiom axiom)
OWLAnnotationAxiomVisitor
visit
in interface OWLAnnotationAxiomVisitor
axiom
- object to visitpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLClassAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLSameIndividualAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(SWRLRule rule)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in interface SWRLObjectVisitor
rule
- object to visitpublic void visit(SWRLClassAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLDataRangeAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLObjectPropertyAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLDataPropertyAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLBuiltInAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLVariable node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLIndividualArgument node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLLiteralArgument node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLSameIndividualAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(SWRLDifferentIndividualsAtom node)
SWRLObjectVisitor
visit
in interface SWRLObjectVisitor
node
- object to visitpublic void visit(OWLClass desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
desc
- object to visitpublic void visit(OWLObjectIntersectionOf desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectUnionOf desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectComplementOf desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectSomeValuesFrom desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectAllValuesFrom desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectHasValue desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectMinCardinality desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectExactCardinality desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectMaxCardinality desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectHasSelf desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLObjectOneOf desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLDataSomeValuesFrom desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLDataAllValuesFrom desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLDataHasValue desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLDataMinCardinality desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLDataExactCardinality desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLDataMaxCardinality desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
desc
- object to visitpublic void visit(OWLDatatype node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
node
- object to visitpublic void visit(OWLDataComplementOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- object to visitpublic void visit(OWLDataOneOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- object to visitpublic void visit(OWLDatatypeRestriction node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- object to visitpublic void visit(OWLLiteral node)
OWLDataVisitor
visit
in interface OWLAnnotationValueVisitor
visit
in interface OWLDataVisitor
node
- object to visitpublic void visit(OWLFacetRestriction node)
OWLDataVisitor
visit
in interface OWLDataVisitor
node
- object to visitpublic void visit(OWLObjectProperty property)
OWLPropertyExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in interface OWLPropertyExpressionVisitor
property
- object to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitor
visit
in interface OWLPropertyExpressionVisitor
property
- object to visitpublic void visit(OWLDataProperty property)
OWLPropertyExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in interface OWLPropertyExpressionVisitor
property
- object to visitpublic void visit(OWLNamedIndividual individual)
OWLEntityVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLIndividualVisitor
visit
in interface OWLNamedObjectVisitor
individual
- object to visitpublic void visit(OWLHasKeyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
axiom
- object to visitpublic void visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAnnotationAxiomVisitor
visit
in interface OWLAnnotationAxiomVisitor
axiom
- object to visitpublic void visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAnnotationAxiomVisitor
visit
in interface OWLAnnotationAxiomVisitor
axiom
- object to visitpublic void visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAnnotationAxiomVisitor
visit
in interface OWLAnnotationAxiomVisitor
axiom
- object to visitpublic void visit(OWLDataIntersectionOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- object to visitpublic void visit(OWLDataUnionOf node)
OWLDataRangeVisitor
visit
in interface OWLDataRangeVisitor
node
- object to visitpublic void visit(OWLAnnotationProperty property)
OWLEntityVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
property
- object to visitpublic void visit(OWLAnonymousIndividual individual)
OWLIndividualVisitor
visit
in interface OWLAnnotationValueVisitor
visit
in interface OWLIndividualVisitor
individual
- object to visitpublic void visit(IRI iri)
OWLAnnotationValueVisitor
visit
in interface OWLAnnotationValueVisitor
iri
- object to visitpublic void visit(OWLAnnotation node)
OWLAnnotationObjectVisitor
visit
in interface OWLAnnotationObjectVisitor
node
- object to visitCopyright © 2017 The University of Manchester. All Rights Reserved.