org.semanticweb.owlapi.krss2.renderer

Class KRSSObjectRenderer

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.owlapi.util.OWLObjectVisitorAdapter

org.semanticweb.owlapi.krss2.renderer.KRSSObjectRenderer

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAnnotationObjectVisitor, OWLAnnotationValueVisitor, OWLAxiomVisitor, OWLClassExpressionVisitor, OWLDataRangeVisitor, OWLDataVisitor, OWLEntityVisitor, OWLIndividualVisitor, OWLLogicalAxiomVisitor, OWLNamedObjectVisitor, OWLObjectVisitor, OWLPropertyExpressionVisitor, SWRLObjectVisitor

Direct Known Subclasses:

KRSS2ObjectRenderer

public class KRSSObjectRenderer
extends 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(OWLOntology ontology, Writer writer)

Method Summary

Modifier and Type	Method and Description
void	visit(OWLClass ce)
void	visit(OWLClassAssertionAxiom axiom)
void	visit(OWLDataAllValuesFrom ce)
void	visit(OWLDataExactCardinality ce)
void	visit(OWLDataMaxCardinality ce)
void	visit(OWLDataMinCardinality ce)
void	visit(OWLDataProperty property)
void	visit(OWLDataSomeValuesFrom ce)
void	visit(OWLDifferentIndividualsAxiom axiom)
void	visit(OWLDisjointClassesAxiom axiom)
void	visit(OWLLiteral node)
void	visit(OWLNamedIndividual individual)
void	visit(OWLObjectAllValuesFrom ce)
void	visit(OWLObjectComplementOf ce)
void	visit(OWLObjectExactCardinality ce)
void	visit(OWLObjectIntersectionOf ce)
void	visit(OWLObjectInverseOf property)
void	visit(OWLObjectMaxCardinality ce)
void	visit(OWLObjectMinCardinality ce)
void	visit(OWLObjectProperty property)
void	visit(OWLObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectPropertyDomainAxiom axiom)
void	visit(OWLObjectPropertyRangeAxiom axiom)
void	visit(OWLObjectSomeValuesFrom ce)
void	visit(OWLObjectUnionOf ce)
void	visit(OWLOntology ontology)
void	visit(OWLSameIndividualAxiom axiom)
void	visit(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
                          OWLOntology ontology,
                          @Nonnull
                          Writer writer)

Parameters:

ontology - ontology

writer - writer

Method Detail

visit

public void visit(@Nonnull
                  OWLOntology ontology)

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLSameIndividualAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(@Nonnull
                  OWLClass ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectIntersectionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectUnionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectComplementOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDataSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDataAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDataMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDataExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDataMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLLiteral node)

Specified by:

visit in interface OWLAnnotationValueVisitor

Specified by:

visit in interface OWLDataVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectProperty property)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLObjectInverseOf property)

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLDataProperty property)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class OWLObjectVisitorAdapter

visit

public void visit(@Nonnull
                  OWLNamedIndividual individual)

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLIndividualVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class OWLObjectVisitorAdapter