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
OWLDisjointClassesAxiom	(disjoint C D)	OWLDisjointClasses C D1 D2 ... Dn { (disjoint i(j) i(j+k)) | 1 <= j <=n, j<k<=n, j=|=k}
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.
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(OWLClass desc)
void	visit(OWLDisjointClassesAxiom axiom)
void	visit(OWLDisjointObjectPropertiesAxiom axiom)
void	visit(OWLEquivalentClassesAxiom axiom)
void	visit(OWLEquivalentObjectPropertiesAxiom axiom)
void	visit(OWLInverseObjectPropertiesAxiom axiom)
void	visit(OWLObjectInverseOf property)
void	visit(OWLObjectOneOf ce)
void	visit(OWLObjectProperty property)
void	visit(OWLObjectPropertyAssertionAxiom axiom)
void	visit(OWLOntology ontology)
void	visit(OWLSubClassOfAxiom axiom)
void	visit(OWLSubObjectPropertyOfAxiom axiom)
void	visit(OWLSubPropertyChainOfAxiom axiom)

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

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)

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(OWLSubClassOfAxiom axiom)

visit

public void visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

visit

public void visit(OWLEquivalentClassesAxiom axiom)

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

visit

public void visit(OWLClass desc)

Specified by:

visit in interface OWLClassVisitorBase

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(OWLObjectOneOf ce)

visit

public void visit(OWLObjectProperty property)

Specified by:

visit in interface OWLPropertyEntityVisitorBase

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(OWLObjectInverseOf property)

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class KRSSObjectRenderer