org.semanticweb.owlapi.krss2.renderer

Class KRSSObjectRenderer

java.lang.Object

org.semanticweb.owlapi.krss2.renderer.KRSSObjectRenderer

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAnnotationObjectVisitor, OWLAnnotationValueVisitor, OWLAnonymousIndividualVisitorBase, OWLAxiomVisitor, OWLClassExpressionVisitor, OWLClassVisitorBase, OWLDataEntityVisitorBase, OWLDataRangeVisitor, OWLDataVisitor, OWLEntityVisitor, OWLIndividualEntityVisitorBase, OWLIndividualVisitor, OWLLiteralVisitorBase, OWLLogicalAxiomVisitor, OWLNamedObjectVisitor, OWLObjectVisitor, OWLPropertyEntityVisitorBase, OWLPropertyExpressionVisitor, OWLVisitorBase, SWRLObjectVisitor, SWRLRuleVisitorBase

Direct Known Subclasses:

KRSS2ObjectRenderer, KRSS2OWLObjectRenderer

public class KRSSObjectRenderer
extends Object
implements OWLObjectVisitor

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 java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

visit, 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

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

visit

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

visit, visit, visit, visit

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

visit

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

visit, visit, visit, visit, visit

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

visit

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

visit

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

visit

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

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

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

visit

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

doDefault, getDefaultReturnValue, handleDefault

Constructor Detail

KRSSObjectRenderer

public KRSSObjectRenderer(OWLOntology ontology,
                          Writer writer)

Parameters:

ontology - ontology

writer - writer

Method Detail

visit

public void visit(OWLOntology ontology)

Specified by:

visit in interface OWLNamedObjectVisitor

visit

public void visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLSameIndividualAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLClass ce)

Specified by:

visit in interface OWLClassVisitorBase

visit

public void visit(OWLObjectIntersectionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectUnionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectComplementOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLLiteral node)

Specified by:

visit in interface OWLLiteralVisitorBase

visit

public void visit(OWLObjectProperty property)

Specified by:

visit in interface OWLPropertyEntityVisitorBase

visit

public void visit(OWLObjectInverseOf property)

Specified by:

visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLDataProperty property)

Specified by:

visit in interface OWLPropertyEntityVisitorBase

visit

public void visit(OWLNamedIndividual individual)

Specified by:

visit in interface OWLIndividualEntityVisitorBase