org.semanticweb.owlapi.krss2.renderer

Class KRSS2ObjectRenderer

java.lang.Object

org.semanticweb.owlapi.krss2.renderer.KRSSObjectRenderer

org.semanticweb.owlapi.krss2.renderer.KRSS2ObjectRenderer

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

public class KRSS2ObjectRenderer
extends KRSSObjectRenderer

KRSS2ObjectRenderer is an extension of KRSSObjectRenderer which uses the extended vocabulary.
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.

KRSS2	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)	OWLDisjointClasses C D1 D2 ... Dn { (disjoint i(j) i(j+k)) | 1 <= j <=n, j<k<=n, j=|=k}
OWLSubClassOfAxiom	(define-primitive-concept C D)	OWLSubClassOfAxiom C D1...Dn (n > 1) will be translated to: (define-primitive-concept C (and D1...Dn)) Only applicable if there is no OWLEquivalentClasses axiom. In that case the class will be introduced via (define-concept...) and all subclass axioms are handled via implies
OWLSubClassOfAxiom	(implies D C)	Only in case of GCIs with concept expression (not named class) D, or in case that D is a non-primitive concept. Otherwise superclasses are introduced via (define-primitive-concept D ...)
OWLEquivalentObjectPropertiesAxiom	(roles-equivalent r s)	All roles are explicitly introduced via define-primitive-role.
OWLSubPropertyChainOfAxiom	(role-inclusion (compose r s) t)	Role inclusions of the kind (role-inclusion (compose r s) r) resp. (role-inclusion (compose s r) r) are handled within the (define-primitive-role) statement as right- resp. left-identities iff it is the only role-inclusion wrt. the super property.
OWLSubObjectPropertyAxiom	(define-primitive-role R :parent S) (define-primitive-role R :parents S T U) Additional attributes: :transitive t :symmetric t :reflexive t :inverse I :domain C resp. :domain (and C C1...Cn) :range D resp. :range (and D D1..Dn)	This will be only used if there is no OWLEquivalentClasses axiom containing R (see define-role). The additional attributes are added if there is an OWLTransitiveObjectProperyAxiom, OWLSymmetricObjectPropertyAxiom, OWLReflexiveObjectPropertyAxiom, OWLObjectPropertyDomainAxiom, OWLObjectPropertyRangeAxiom resp. OWLInverseObjectPropertiesAxiom. If there are multiple OWLInverseObjectPropertiesAxioms only one inverse is handled here, all others are handled via (inverse) statements. Domains/ranges of multiple domain/range axioms are handled as (and C C1...Cn).
OWLSubObjectPropertyAxiom	(implies-role r s)	Only applicable if r is an inverse property, otherwise superproperties are handled within the define-primitive-role statement.
OWLInverseObjectPropertiesAxiom	(inverse r s)	Only inverse properties which are not introduced via define-primitive-role.
OWLObjectPropertyRangeAxiom		see define-primitive-role
OWLObjectPropertyDomainAxiom		see define-primitive-role
OWLSymmetricObjectPropertyAxiom		see define-primitive-role
OWLTransitiveObjectPropertyAxiom		see define-primitive-role
OWLReflexiveObjectPropertyAxiom		see define-primitive-role
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 in will be splitted into: { (equal i(j) i(j+k)) | 1 <= j <=n, j<k<=n, j=|=k} (equal i1 i2) (equal i1 i3) ... (equal i(n-1) in)

Author:

Olaf Noppens, Ulm University, Institute of Artificial Intelligence

Constructor Summary

Constructors

Constructor and Description
KRSS2ObjectRenderer(OWLOntology ontology, Writer writer)

Method Summary

Modifier and Type	Method and Description
void	setIgnoreDeclarations(boolean ignoreDeclarations)
void	visit(OWLDisjointObjectPropertiesAxiom axiom) visit OWLDisjointObjectPropertiesAxiom type
void	visit(OWLEquivalentClassesAxiom axiom) visit OWLEquivalentClassesAxiom type
void	visit(OWLEquivalentObjectPropertiesAxiom axiom) visit OWLEquivalentObjectPropertiesAxiom type
void	visit(OWLInverseObjectPropertiesAxiom axiom) visit OWLInverseObjectPropertiesAxiom type
void	visit(OWLObjectInverseOf property) visit OWLObjectInverseOf type
void	visit(OWLObjectOneOf ce) visit OWLObjectOneOf type
void	visit(OWLOntology ontology) visit OWLOntology type
void	visit(OWLSubClassOfAxiom axiom) visit OWLSubClassOfAxiom type
void	visit(OWLSubObjectPropertyOfAxiom axiom) visit OWLSubObjectPropertyOfAxiom type
void	visit(OWLSubPropertyChainOfAxiom axiom) visit OWLSubPropertyChainOfAxiom type

Methods inherited from class org.semanticweb.owlapi.krss2.renderer.KRSSObjectRenderer

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

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

visit

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

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

KRSS2ObjectRenderer

public KRSS2ObjectRenderer(OWLOntology ontology,
                           Writer writer)

Parameters:

ontology - ontology to render

writer - writer to render to

Method Detail

setIgnoreDeclarations

public void setIgnoreDeclarations(boolean ignoreDeclarations)

Parameters:

ignoreDeclarations - true if declarations should be ignored

visit

public void visit(OWLOntology ontology)

Description copied from interface: OWLNamedObjectVisitor

visit OWLOntology type

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

ontology - ontology to visit

visit

public void visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubClassOfAxiom type

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentObjectPropertiesAxiom type

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointObjectPropertiesAxiom type

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubObjectPropertyOfAxiom type

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentClassesAxiom type

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubPropertyChainOfAxiom type

Parameters:

axiom - axiom to visit

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLInverseObjectPropertiesAxiom type

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectOneOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectOneOf type

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectInverseOf property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectInverseOf type

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

property - property to visit