public class KRSS2ObjectRenderer extends KRSSObjectRenderer
KRSS2ObjectRenderer
is an extension of KRSSObjectRenderer
which uses the extended vocabulary. CN | concept name |
C,D,E | concept expression |
RN | role name |
R, R1, R2,... | role expressions, i.e. role name or inverse role |
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 | OWLObjectPropertyExpression |
(inv R) | (OWLInverseObjectPropertiesAxiom R) |
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:
|
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 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 in will be split 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) |
Constructor and Description |
---|
KRSS2ObjectRenderer(OWLOntology ontology,
Writer writer) |
Modifier and Type | Method and Description |
---|---|
void |
setIgnoreDeclarations(boolean ignoreDeclarations) |
void |
visit(OWLClass desc)
visit OWLClass type
|
void |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
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(OWLObjectProperty property)
visit OWLObjectProperty type
|
void |
visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom 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
|
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, visit, visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit
public KRSS2ObjectRenderer(@Nonnull OWLOntology ontology, @Nonnull Writer writer)
ontology
- ontology to renderwriter
- writer to render topublic void setIgnoreDeclarations(boolean ignoreDeclarations)
ignoreDeclarations
- true if declarations should be ignoredpublic void visit(OWLOntology ontology)
OWLNamedObjectVisitor
visit
in interface OWLNamedObjectVisitor
visit
in class KRSSObjectRenderer
ontology
- ontology to visitpublic void visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- axiom to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(OWLObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- axiom to visitpublic void visit(OWLSubObjectPropertyOfAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitor
visit
in interface OWLLogicalAxiomVisitor
visit
in class OWLAxiomVisitorAdapter
axiom
- axiom to visitpublic void visit(OWLClass desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in class KRSSObjectRenderer
desc
- ce to visitpublic void visit(OWLObjectOneOf ce)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class OWLObjectVisitorAdapter
ce
- ce to visitpublic void visit(OWLObjectProperty property)
OWLPropertyExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in interface OWLPropertyExpressionVisitor
visit
in class KRSSObjectRenderer
property
- property to visitpublic void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitor
visit
in interface OWLPropertyExpressionVisitor
visit
in class KRSSObjectRenderer
property
- property to visitCopyright © 2020 The University of Manchester. All rights reserved.