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} |
| Modifier and Type | Field and Description |
|---|---|
protected OWLOntology |
ontology |
protected Writer |
writer |
| Constructor and Description |
|---|
KRSSObjectRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer writer)
Deprecated.
|
KRSSObjectRenderer(OWLOntology ontology,
Writer writer) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
flatten(Set<OWLClassExpression> description,
KRSSVocabulary junctor) |
protected void |
flattenProperties(Set<OWLObjectPropertyExpression> properties,
KRSSVocabulary junctor) |
protected int |
getIndent() |
protected <T extends OWLObject> |
sort(Collection<T> objects) |
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
|
protected void |
write(int i) |
protected void |
write(IRI iri) |
void |
write(OWLClassExpression obj) |
void |
write(OWLDataRange obj) |
void |
write(OWLIndividual ind) |
void |
write(OWLPropertyExpression<?,?> obj) |
protected void |
write(String s) |
protected void |
writeCloseBracket() |
protected void |
writeIndent(int indent) |
protected void |
writeln() |
protected void |
writeOpenBracket() |
protected void |
writeSpace() |
protected final OWLOntology ontology
protected final Writer writer
@Deprecated public KRSSObjectRenderer(OWLOntologyManager manager, OWLOntology ontology, Writer writer)
public KRSSObjectRenderer(OWLOntology ontology, Writer writer)
protected <T extends OWLObject> List<T> sort(Collection<T> objects)
protected final void writeOpenBracket()
protected final void writeCloseBracket()
protected final void write(int i)
protected final void write(IRI iri)
protected final void writeSpace()
protected final void write(String s)
protected final int getIndent()
protected final void writeIndent(int indent)
protected final void writeln()
public final void write(OWLClassExpression obj)
public final void write(OWLIndividual ind)
public final void write(OWLPropertyExpression<?,?> obj)
public final void write(OWLDataRange obj)
protected void flattenProperties(Set<OWLObjectPropertyExpression> properties, KRSSVocabulary junctor)
protected void flatten(Set<OWLClassExpression> description, KRSSVocabulary junctor)
public void visit(OWLOntology ontology1)
OWLNamedObjectVisitorvisit in interface OWLNamedObjectVisitorontology1 - object to visitpublic void visit(OWLSubClassOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLImportsDeclaration axiom)
public void visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDisjointUnionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDeclarationAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLAnnotationAssertionAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLClassAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSameIndividualAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(SWRLRule rule)
OWLAxiomVisitorvisit in interface OWLAxiomVisitorvisit in interface SWRLObjectVisitorrule - object to visitpublic void visit(SWRLClassAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLDataRangeAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLObjectPropertyAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLDataPropertyAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLBuiltInAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLVariable node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLIndividualArgument node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLLiteralArgument node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLSameIndividualAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(SWRLDifferentIndividualsAtom node)
SWRLObjectVisitorvisit in interface SWRLObjectVisitornode - object to visitpublic void visit(OWLClass desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitordesc - object to visitpublic void visit(OWLObjectIntersectionOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectUnionOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectComplementOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectSomeValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectAllValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectHasValue desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectMinCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectExactCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectMaxCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectHasSelf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLObjectOneOf desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataSomeValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataAllValuesFrom desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataHasValue desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataMinCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataExactCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDataMaxCardinality desc)
OWLClassExpressionVisitorvisit in interface OWLClassExpressionVisitordesc - object to visitpublic void visit(OWLDatatype node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitornode - object to visitpublic void visit(OWLDataComplementOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLDataOneOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLDatatypeRestriction node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLLiteral node)
OWLDataVisitorvisit in interface OWLAnnotationValueVisitorvisit in interface OWLDataVisitornode - object to visitpublic void visit(OWLFacetRestriction node)
OWLDataVisitorvisit in interface OWLDataVisitornode - object to visitpublic void visit(OWLObjectProperty property)
OWLPropertyExpressionVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitorvisit in interface OWLPropertyExpressionVisitorproperty - object to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitorvisit in interface OWLPropertyExpressionVisitorproperty - object to visitpublic void visit(OWLDataProperty property)
OWLPropertyExpressionVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitorvisit in interface OWLPropertyExpressionVisitorproperty - object to visitpublic void visit(OWLNamedIndividual individual)
OWLEntityVisitorvisit in interface OWLEntityVisitorvisit in interface OWLIndividualVisitorvisit in interface OWLNamedObjectVisitorindividual - object to visitpublic void visit(OWLHasKeyAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiomVisitorvisit in interface OWLAxiomVisitoraxiom - object to visitpublic void visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAnnotationAxiomVisitorvisit in interface OWLAnnotationAxiomVisitoraxiom - object to visitpublic void visit(OWLDataIntersectionOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLDataUnionOf node)
OWLDataRangeVisitorvisit in interface OWLDataRangeVisitornode - object to visitpublic void visit(OWLAnnotationProperty property)
OWLEntityVisitorvisit in interface OWLEntityVisitorvisit in interface OWLNamedObjectVisitorproperty - object to visitpublic void visit(OWLAnonymousIndividual individual)
OWLIndividualVisitorvisit in interface OWLAnnotationValueVisitorvisit in interface OWLIndividualVisitorindividual - object to visitpublic void visit(IRI iri)
OWLAnnotationValueVisitorvisit in interface OWLAnnotationValueVisitoriri - object to visitpublic void visit(OWLAnnotation node)
OWLAnnotationObjectVisitorvisit in interface OWLAnnotationObjectVisitornode - object to visitCopyright © 2014 The University of Manchester. All Rights Reserved.