KRSSObjectRenderer (parsers 4.0.1 API)

java.lang.Object
- org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
- - org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - - org.semanticweb.owlapi.krss2.renderer.KRSSObjectRenderer

All Implemented Interfaces:: org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor, org.semanticweb.owlapi.model.OWLAnnotationValueVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor, org.semanticweb.owlapi.model.OWLDataRangeVisitor, org.semanticweb.owlapi.model.OWLDataVisitor, org.semanticweb.owlapi.model.OWLEntityVisitor, org.semanticweb.owlapi.model.OWLIndividualVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor, org.semanticweb.owlapi.model.OWLNamedObjectVisitor, org.semanticweb.owlapi.model.OWLObjectVisitor, org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor, org.semanticweb.owlapi.model.SWRLObjectVisitor

Direct Known Subclasses:: KRSS2ObjectRenderer

public class KRSSObjectRenderer
extends org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

A 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 concept language

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 role language

KRSS	OWLObjectPropertyExpression
(inv R)	(OWLInverseObjectPropertiesAxiom R)

Each referenced class, object property as well as individual is defined using define-concept resp. define-primitive-concept, define-role and define-individual. In addition, axioms are translated as follows.

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}

Author:: Olaf Noppens, Ulm University, Institute of Artificial Intelligence

Constructor Summary

Constructors
Constructor and Description

KRSSObjectRenderer(org.semanticweb.owlapi.model.OWLOntology ontology, Writer writer)

Constructors
Constructor and Description
`KRSSObjectRenderer(org.semanticweb.owlapi.model.OWLOntology ontology, Writer writer)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`visit(org.semanticweb.owlapi.model.OWLClass ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDataProperty property)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)`
`void`	`visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)`
`void`	`visit(org.semanticweb.owlapi.model.OWLLiteral node)`
`void`	`visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectProperty property)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce)`
`void`	`visit(org.semanticweb.owlapi.model.OWLOntology ontology)`
`void`	`visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)`
`void`	`visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)`

Methods inherited from class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
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

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
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

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
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

Methods inherited from interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit

- Constructor Detail
  - KRSSObjectRenderer
```
public KRSSObjectRenderer(@Nonnull
                          org.semanticweb.owlapi.model.OWLOntology ontology,
                          @Nonnull
                          Writer writer)
```
    Parameters:
    
    ontology - ontology
    
    writer - writer
- Method Detail
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLOntology ontology)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLClass ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectUnionOf ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectComplementOf ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectMinCardinality ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectExactCardinality ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDataMinCardinality ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDataExactCardinality ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDataMaxCardinality ce)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLLiteral node)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLDataVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectProperty property)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLObjectInverseOf property)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLDataProperty property)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter
  - visit
```
public void visit(@Nonnull
                  org.semanticweb.owlapi.model.OWLNamedIndividual individual)
```
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLIndividualVisitor
    
    Specified by:
    
    visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor
    
    Overrides:
    
    visit in class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

Class KRSSObjectRenderer

Constructor Summary

Method Summary

Methods inherited from class org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

Methods inherited from class java.lang.Object

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Methods inherited from interface org.semanticweb.owlapi.model.SWRLObjectVisitor

Constructor Detail

KRSSObjectRenderer

Method Detail

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