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:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor, org.semanticweb.owlapi.model.OWLAnnotationValueVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor, org.semanticweb.owlapi.model.OWLDataRangeVisitor, org.semanticweb.owlapi.model.OWLDataVisitor, org.semanticweb.owlapi.model.OWLEntityVisitor, org.semanticweb.owlapi.model.OWLIndividualVisitor, org.semanticweb.owlapi.model.OWLNamedObjectVisitor, org.semanticweb.owlapi.model.OWLObjectVisitor, org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor, org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.model.OWLOntology ontology, Writer writer) Deprecated.
KRSS2ObjectRenderer(org.semanticweb.owlapi.model.OWLOntology ontology, Writer writer)

Method Summary

Modifier and Type	Method and Description
protected Set<org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom>	getPropertyChainSubPropertyAxiomsFor(org.semanticweb.owlapi.model.OWLPropertyExpression<?,?> property)
protected boolean	isLeftIdentityAxiom(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom, org.semanticweb.owlapi.model.OWLObjectProperty property)
protected boolean	isRightIdentityAxiom(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom, org.semanticweb.owlapi.model.OWLObjectProperty property)
void	setIgnoreDeclarations(boolean ignoreDeclarations)
void	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLClass desc)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLImportsDeclaration axiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property)
void	visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectProperty property)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLOntology ontology1)
void	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
protected void	write(KRSS2Vocabulary v)
protected void	writeChain(List<org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLOntologyManager manager,
                                       org.semanticweb.owlapi.model.OWLOntology ontology,
                                       Writer writer)

Deprecated.

KRSS2ObjectRenderer

public KRSS2ObjectRenderer(org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLOntology ontology1)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public final void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLImportsDeclaration axiom)

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public final void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

writeChain

protected void writeChain(List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> expressions,
                          int i)

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public final void visit(org.semanticweb.owlapi.model.OWLClass desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public final void visit(org.semanticweb.owlapi.model.OWLObjectProperty property)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

Overrides:

visit in class KRSSObjectRenderer

visit

public final void visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

Overrides:

visit in class KRSSObjectRenderer

isLeftIdentityAxiom

protected boolean isLeftIdentityAxiom(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom,
                                      org.semanticweb.owlapi.model.OWLObjectProperty property)

isRightIdentityAxiom

protected boolean isRightIdentityAxiom(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom,
                                       org.semanticweb.owlapi.model.OWLObjectProperty property)

getPropertyChainSubPropertyAxiomsFor

protected Set<org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxiomsFor(org.semanticweb.owlapi.model.OWLPropertyExpression<?,?> property)