public class KRSSObjectRenderer extends Object implements OWLObjectVisitor
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
|
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
visit, visit, visit, visit
visit
visit, visit, visit, visit, visit
visit
visit
visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit
doDefault, getDefaultReturnValue, handleDefault
public KRSSObjectRenderer(OWLOntology ontology, Writer writer)
ontology
- ontologywriter
- writerpublic void visit(OWLOntology ontology)
OWLNamedObjectVisitor
visit
in interface OWLNamedObjectVisitor
ontology
- ontology to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLSameIndividualAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
axiom
- axiom to visitpublic void visit(OWLClass ce)
OWLClassVisitorBase
visit
in interface OWLClassVisitorBase
ce
- ce to visitpublic void visit(OWLObjectIntersectionOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectUnionOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectComplementOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectSomeValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectMinCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectExactCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLObjectMaxCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataSomeValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataAllValuesFrom ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataMinCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataExactCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLDataMaxCardinality ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
ce
- ce to visitpublic void visit(OWLLiteral node)
OWLLiteralVisitorBase
visit
in interface OWLLiteralVisitorBase
node
- node to visitpublic void visit(OWLObjectProperty property)
OWLPropertyEntityVisitorBase
visit
in interface OWLPropertyEntityVisitorBase
property
- property to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitor
visit
in interface OWLPropertyExpressionVisitor
property
- property to visitpublic void visit(OWLDataProperty property)
OWLPropertyEntityVisitorBase
visit
in interface OWLPropertyEntityVisitorBase
property
- property to visitpublic void visit(OWLNamedIndividual individual)
OWLIndividualEntityVisitorBase
visit
in interface OWLIndividualEntityVisitorBase
individual
- individual to visitCopyright © 2020 The University of Manchester. All rights reserved.