de.uulm.ecs.ai.owlapi.krssrenderer

Class KRSS2ObjectRenderer

java.lang.Object

de.uulm.ecs.ai.owlapi.krssrenderer.KRSSObjectRenderer

de.uulm.ecs.ai.owlapi.krssrenderer.KRSS2ObjectRenderer

All Implemented Interfaces:

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	ignoreDeclarations If declarations are ignored, entities which are only referenced in a declaration are not rendered.

Fields inherited from class de.uulm.ecs.ai.owlapi.krssrenderer.KRSSObjectRenderer

ontology, writer

Constructor Summary

Constructors

Constructor and Description
KRSS2ObjectRenderer(OWLOntologyManager manager, OWLOntology ontology, Writer writer) Deprecated.
KRSS2ObjectRenderer(OWLOntology ontology, Writer writer)

Method Summary

Modifier and Type	Method and Description
protected Set<OWLSubPropertyChainOfAxiom>	getPropertyChainSubPropertyAxiomsFor(OWLPropertyExpression<?,?> property)
protected boolean	isLeftIdentityAxiom(OWLSubPropertyChainOfAxiom axiom, OWLObjectProperty property)
protected boolean	isRightIdentityAxiom(OWLSubPropertyChainOfAxiom axiom, OWLObjectProperty property)
void	setIgnoreDeclarations(boolean ignoreDeclarations)
void	visit(OWLAsymmetricObjectPropertyAxiom axiom) visit OWLAsymmetricObjectPropertyAxiom type
void	visit(OWLClass desc) visit OWLClass type
void	visit(OWLDataPropertyAssertionAxiom axiom) visit OWLDataPropertyAssertionAxiom type
void	visit(OWLDataPropertyDomainAxiom axiom) visit OWLDataPropertyDomainAxiom type
void	visit(OWLDataPropertyRangeAxiom axiom) visit OWLDataPropertyRangeAxiom type
void	visit(OWLDeclarationAxiom axiom) visit OWLDeclarationAxiom type
void	visit(OWLDifferentIndividualsAxiom axiom) visit OWLDifferentIndividualsAxiom type
void	visit(OWLDisjointClassesAxiom axiom) visit OWLDisjointClassesAxiom type
void	visit(OWLDisjointDataPropertiesAxiom axiom) visit OWLDisjointDataPropertiesAxiom type
void	visit(OWLDisjointObjectPropertiesAxiom axiom) visit OWLDisjointObjectPropertiesAxiom type
void	visit(OWLDisjointUnionAxiom axiom) visit OWLDisjointUnionAxiom type
void	visit(OWLEquivalentClassesAxiom axiom) visit OWLEquivalentClassesAxiom type
void	visit(OWLEquivalentDataPropertiesAxiom axiom) visit OWLEquivalentDataPropertiesAxiom type
void	visit(OWLEquivalentObjectPropertiesAxiom axiom) visit OWLEquivalentObjectPropertiesAxiom type
void	visit(OWLFunctionalDataPropertyAxiom axiom) visit OWLFunctionalDataPropertyAxiom type
void	visit(OWLFunctionalObjectPropertyAxiom axiom) visit OWLFunctionalObjectPropertyAxiom type
void	visit(OWLImportsDeclaration axiom)
void	visit(OWLInverseFunctionalObjectPropertyAxiom axiom) visit OWLInverseFunctionalObjectPropertyAxiom type
void	visit(OWLInverseObjectPropertiesAxiom axiom) visit OWLInverseObjectPropertiesAxiom type
void	visit(OWLIrreflexiveObjectPropertyAxiom axiom) visit OWLIrreflexiveObjectPropertyAxiom type
void	visit(OWLNegativeDataPropertyAssertionAxiom axiom) visit OWLNegativeDataPropertyAssertionAxiom type
void	visit(OWLNegativeObjectPropertyAssertionAxiom axiom) visit OWLNegativeObjectPropertyAssertionAxiom type
void	visit(OWLObjectInverseOf property) visit OWLObjectInverseOf type
void	visit(OWLObjectOneOf desc) visit OWLObjectOneOf 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(OWLOntology ontology1) visit OWLOntology type
void	visit(OWLReflexiveObjectPropertyAxiom axiom) visit OWLReflexiveObjectPropertyAxiom type
void	visit(OWLSubClassOfAxiom axiom) visit OWLSubClassOfAxiom type
void	visit(OWLSubDataPropertyOfAxiom axiom) visit OWLSubDataPropertyOfAxiom type
void	visit(OWLSubObjectPropertyOfAxiom axiom) visit OWLSubObjectPropertyOfAxiom type
void	visit(OWLSubPropertyChainOfAxiom axiom) visit OWLSubPropertyChainOfAxiom type
void	visit(OWLSymmetricObjectPropertyAxiom axiom) visit OWLSymmetricObjectPropertyAxiom type
void	visit(OWLTransitiveObjectPropertyAxiom axiom) visit OWLTransitiveObjectPropertyAxiom type
protected void	write(KRSS2Vocabulary v)
protected void	writeChain(List<OWLObjectPropertyExpression> expressions, int i)

Methods inherited from class de.uulm.ecs.ai.owlapi.krssrenderer.KRSSObjectRenderer

flatten, flattenProperties, getIndent, sort, 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, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, write, write, write, write, write, write, write, writeCloseBracket, writeIndent, writeln, writeOpenBracket, writeSpace

Methods inherited from class java.lang.Object

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

Field Detail

ignoreDeclarations

protected boolean ignoreDeclarations

If declarations are ignored, entities which are only referenced in a declaration are not rendered.

Constructor Detail

KRSS2ObjectRenderer

@Deprecated
public KRSS2ObjectRenderer(OWLOntologyManager manager,
                                       OWLOntology ontology,
                                       Writer writer)

Deprecated.

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

write

protected void write(KRSS2Vocabulary v)

visit

public final void visit(OWLOntology ontology1)

Description copied from interface: OWLNamedObjectVisitor

visit OWLOntology type

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

ontology1 - object to visit

visit

public final void visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDisjointClassesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointClassesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLNegativeObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLAsymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLAsymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLReflexiveObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLReflexiveObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDataPropertyDomainAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLImportsDeclaration axiom)

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLEquivalentObjectPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLNegativeDataPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDifferentIndividualsAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDisjointDataPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointDataPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointObjectPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public final void visit(OWLObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubObjectPropertyOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDisjointUnionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDisjointUnionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDeclarationAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDeclarationAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDataPropertyRangeAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDataPropertyRangeAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLFunctionalDataPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLFunctionalDataPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLEquivalentDataPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLEquivalentDataPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLEquivalentClassesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLDataPropertyAssertionAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLDataPropertyAssertionAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLTransitiveObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLIrreflexiveObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLSubDataPropertyOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubDataPropertyOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLInverseFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLSubPropertyChainOfAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

writeChain

protected void writeChain(List<OWLObjectPropertyExpression> expressions,
                          int i)

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Description copied from interface: OWLAxiomVisitor

visit OWLInverseObjectPropertiesAxiom type

Specified by:

visit in interface OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

axiom - object to visit

visit

public final void visit(OWLClass desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLClass type

Specified by:

visit in interface OWLClassExpressionVisitor

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

desc - object to visit

visit

public void visit(OWLObjectOneOf desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectOneOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

desc - object to visit

visit

public final void visit(OWLObjectProperty property)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectProperty type

Specified by:

visit in interface OWLEntityVisitor

Specified by:

visit in interface OWLNamedObjectVisitor

Specified by:

visit in interface OWLPropertyExpressionVisitor

Overrides:

visit in class KRSSObjectRenderer

Parameters:

property - object to visit

visit

public final 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 - object to visit

isLeftIdentityAxiom

protected boolean isLeftIdentityAxiom(OWLSubPropertyChainOfAxiom axiom,
                                      OWLObjectProperty property)

isRightIdentityAxiom

protected boolean isRightIdentityAxiom(OWLSubPropertyChainOfAxiom axiom,
                                       OWLObjectProperty property)

getPropertyChainSubPropertyAxiomsFor

protected Set<OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxiomsFor(OWLPropertyExpression<?,?> property)