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.
Abbreviations
| 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 OWLOntologyManager |
manager |
protected OWLOntology |
ontology |
protected Writer |
writer |
| Constructor and Description |
|---|
KRSSObjectRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer writer) |
protected final OWLOntology ontology
protected final Writer writer
protected final OWLOntologyManager manager
public KRSSObjectRenderer(OWLOntologyManager manager, 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 ontology)
visit in interface OWLObjectVisitorpublic void visit(OWLSubClassOfAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDisjointClassesAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDataPropertyDomainAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLImportsDeclaration axiom)
public void visit(OWLObjectPropertyDomainAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDifferentIndividualsAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLObjectPropertyRangeAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLObjectPropertyAssertionAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLSubObjectPropertyOfAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDisjointUnionAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDeclarationAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLAnnotationAssertionAxiom axiom)
visit in interface OWLAnnotationAxiomVisitorpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDataPropertyRangeAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLClassAssertionAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLEquivalentClassesAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDataPropertyAssertionAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLSubDataPropertyOfAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLSameIndividualAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLSubPropertyChainOfAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(SWRLRule rule)
visit in interface OWLAxiomVisitorvisit in interface SWRLObjectVisitorpublic void visit(SWRLClassAtom node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLDataRangeAtom node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLObjectPropertyAtom node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLDataPropertyAtom node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLBuiltInAtom node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLVariable node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLIndividualArgument node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLLiteralArgument node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLSameIndividualAtom node)
visit in interface SWRLObjectVisitorpublic void visit(SWRLDifferentIndividualsAtom node)
visit in interface SWRLObjectVisitorpublic void visit(OWLClass desc)
visit in interface OWLClassExpressionVisitorvisit in interface OWLEntityVisitorpublic void visit(OWLObjectIntersectionOf desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectUnionOf desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectComplementOf desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectSomeValuesFrom desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectAllValuesFrom desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectHasValue desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectMinCardinality desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectExactCardinality desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectMaxCardinality desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectHasSelf desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLObjectOneOf desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLDataSomeValuesFrom desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLDataAllValuesFrom desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLDataHasValue desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLDataMinCardinality desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLDataExactCardinality desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLDataMaxCardinality desc)
visit in interface OWLClassExpressionVisitorpublic void visit(OWLDatatype node)
visit in interface OWLDataRangeVisitorvisit in interface OWLEntityVisitorpublic void visit(OWLDataComplementOf node)
visit in interface OWLDataRangeVisitorpublic void visit(OWLDataOneOf node)
visit in interface OWLDataRangeVisitorpublic void visit(OWLDatatypeRestriction node)
visit in interface OWLDataRangeVisitorpublic void visit(OWLLiteral node)
visit in interface OWLAnnotationValueVisitorvisit in interface OWLDataVisitorpublic void visit(OWLFacetRestriction node)
visit in interface OWLDataVisitorpublic void visit(OWLObjectProperty property)
visit in interface OWLEntityVisitorvisit in interface OWLPropertyExpressionVisitorpublic void visit(OWLObjectInverseOf property)
visit in interface OWLPropertyExpressionVisitorpublic void visit(OWLDataProperty property)
visit in interface OWLEntityVisitorvisit in interface OWLPropertyExpressionVisitorpublic void visit(OWLNamedIndividual individual)
visit in interface OWLEntityVisitorvisit in interface OWLIndividualVisitorpublic void visit(OWLHasKeyAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLDatatypeDefinitionAxiom axiom)
visit in interface OWLAxiomVisitorpublic void visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit in interface OWLAnnotationAxiomVisitorpublic void visit(OWLAnnotationPropertyDomainAxiom axiom)
visit in interface OWLAnnotationAxiomVisitorpublic void visit(OWLAnnotationPropertyRangeAxiom axiom)
visit in interface OWLAnnotationAxiomVisitorpublic void visit(OWLDataIntersectionOf node)
visit in interface OWLDataRangeVisitorpublic void visit(OWLDataUnionOf node)
visit in interface OWLDataRangeVisitorpublic void visit(OWLAnnotationProperty property)
visit in interface OWLEntityVisitorpublic void visit(OWLAnonymousIndividual individual)
visit in interface OWLAnnotationValueVisitorvisit in interface OWLIndividualVisitorpublic void visit(IRI iri)
visit in interface OWLAnnotationValueVisitorpublic void visit(OWLAnnotation node)
visit in interface OWLAnnotationObjectVisitorCopyright © 2012 The University of Manchester. All Rights Reserved.