public class KRSSObjectRenderer extends OWLObjectVisitorAdapter
KRSSObjectRenderer
renders 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 split 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 split into: { (equal i(j) i(j+k)) | 1 <= j <=n, j<k<=n, j=|=k} |
Constructor and Description |
---|
KRSSObjectRenderer(OWLOntology ontology,
Writer writer) |
Modifier and Type | Method and Description |
---|---|
void |
visit(OWLClass ce)
visit OWLClass type
|
void |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
void |
visit(OWLDataAllValuesFrom ce)
visit OWLDataAllValuesFrom type
|
void |
visit(OWLDataExactCardinality ce)
visit OWLDataExactCardinality type
|
void |
visit(OWLDataMaxCardinality ce)
visit OWLDataMaxCardinality type
|
void |
visit(OWLDataMinCardinality ce)
visit OWLDataMinCardinality type
|
void |
visit(OWLDataProperty property)
visit OWLDataProperty type
|
void |
visit(OWLDataSomeValuesFrom ce)
visit OWLDataSomeValuesFrom type
|
void |
visit(OWLDifferentIndividualsAxiom axiom)
visit OWLDifferentIndividualsAxiom type
|
void |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
void |
visit(OWLLiteral node)
visit OWLLiteral type
|
void |
visit(OWLNamedIndividual individual)
visit OWLNamedIndividual type
|
void |
visit(OWLObjectAllValuesFrom ce)
visit OWLObjectAllValuesFrom type
|
void |
visit(OWLObjectComplementOf ce)
visit OWLObjectComplementOf type
|
void |
visit(OWLObjectExactCardinality ce)
visit OWLObjectExactCardinality 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(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 ce)
visit OWLObjectSomeValuesFrom type
|
void |
visit(OWLObjectUnionOf ce)
visit OWLObjectUnionOf type
|
void |
visit(OWLOntology ontology)
visit OWLOntology type
|
void |
visit(OWLSameIndividualAxiom axiom)
visit OWLSameIndividualAxiom type
|
void |
visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit
public KRSSObjectRenderer(@Nonnull OWLOntology ontology, @Nonnull Writer writer)
ontology
- ontologywriter
- writerpublic void visit(@Nonnull OWLOntology ontology)
OWLNamedObjectVisitor
visit
in interface OWLNamedObjectVisitor
visit
in class OWLObjectVisitorAdapter
ontology
- ontology to visitpublic void visit(@Nonnull OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLDifferentIndividualsAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLTransitiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLSameIndividualAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(@Nonnull OWLClass ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectIntersectionOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectUnionOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectComplementOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectSomeValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectMinCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectExactCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLObjectMaxCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLDataSomeValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLDataAllValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLDataMinCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLDataExactCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLDataMaxCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(@Nonnull OWLLiteral node)
OWLDataVisitor
visit
in interface OWLAnnotationValueVisitor
visit
in interface OWLDataVisitor
visit
in class OWLObjectVisitorAdapter
node
- node to visitpublic void visit(@Nonnull OWLObjectProperty property)
OWLPropertyExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in interface OWLPropertyExpressionVisitor
visit
in class OWLObjectVisitorAdapter
property
- property to visitpublic void visit(@Nonnull OWLObjectInverseOf property)
OWLPropertyExpressionVisitor
visit
in interface OWLPropertyExpressionVisitor
visit
in class OWLObjectVisitorAdapter
property
- property to visitpublic void visit(@Nonnull OWLDataProperty property)
OWLPropertyExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in interface OWLPropertyExpressionVisitor
visit
in class OWLObjectVisitorAdapter
property
- property to visitpublic void visit(@Nonnull OWLNamedIndividual individual)
OWLEntityVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLIndividualVisitor
visit
in interface OWLNamedObjectVisitor
visit
in class OWLObjectVisitorAdapter
individual
- individual to visitCopyright © 2020 The University of Manchester. All rights reserved.