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 renders 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 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}

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) 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

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)

Description copied from interface: OWLNamedObjectVisitor

visit OWLOntology type

Specified by:

visit in interface OWLNamedObjectVisitor

Parameters:

ontology - ontology to visit

visit

public void visit(OWLDisjointClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDifferentIndividualsAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLClassAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLClassAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLTransitiveObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSameIndividualAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSameIndividualAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLClass ce)

Description copied from interface: OWLClassVisitorBase

visit OWLClass type

Specified by:

visit in interface OWLClassVisitorBase

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectIntersectionOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectIntersectionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectUnionOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectUnionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectComplementOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectComplementOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectSomeValuesFrom ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectAllValuesFrom ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectMinCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectExactCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectMaxCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLDataSomeValuesFrom ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLDataAllValuesFrom ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLDataMinCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLDataExactCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLDataMaxCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

ce - ce to visit

visit

public void visit(OWLLiteral node)

Description copied from interface: OWLLiteralVisitorBase

visit OWLLiteral type

Specified by:

visit in interface OWLLiteralVisitorBase

Parameters:

node - node to visit

visit

public void visit(OWLObjectProperty property)

Description copied from interface: OWLPropertyEntityVisitorBase

visit OWLObjectProperty type

Specified by:

visit in interface OWLPropertyEntityVisitorBase

Parameters:

property - property to visit

visit

public void visit(OWLObjectInverseOf property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectInverseOf type

Specified by:

visit in interface OWLPropertyExpressionVisitor

Parameters:

property - property to visit

visit

public void visit(OWLDataProperty property)

Description copied from interface: OWLPropertyEntityVisitorBase

visit OWLDataProperty type

Specified by:

visit in interface OWLPropertyEntityVisitorBase

Parameters:

property - property to visit

visit

public void visit(OWLNamedIndividual individual)

Description copied from interface: OWLIndividualEntityVisitorBase

visit OWLNamedIndividual type

Specified by:

visit in interface OWLIndividualEntityVisitorBase

Parameters:

individual - individual to visit