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 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) |
Constructor and Description |
---|
KRSS2ObjectRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer writer)
Deprecated.
|
KRSS2ObjectRenderer(OWLOntology ontology,
Writer writer) |
Modifier and Type | Method and Description |
---|---|
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
|
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
@Deprecated public KRSS2ObjectRenderer(OWLOntologyManager manager, OWLOntology ontology, Writer writer)
public KRSS2ObjectRenderer(OWLOntology ontology, Writer writer)
ontology
- ontology to renderwriter
- writer to render topublic void setIgnoreDeclarations(boolean ignoreDeclarations)
ignoreDeclarations
- true if declarations should be ignoredpublic final void visit(OWLOntology ontology1)
OWLNamedObjectVisitor
visit
in interface OWLNamedObjectVisitor
visit
in class KRSSObjectRenderer
ontology1
- object to visitpublic final void visit(OWLSubClassOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDisjointClassesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLImportsDeclaration axiom)
visit
in class KRSSObjectRenderer
public void visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic final void visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDisjointUnionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDeclarationAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLEquivalentClassesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic void visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiomVisitor
visit
in interface OWLAxiomVisitor
visit
in class KRSSObjectRenderer
axiom
- object to visitpublic final void visit(OWLClass desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in class KRSSObjectRenderer
desc
- object to visitpublic void visit(OWLObjectOneOf desc)
OWLClassExpressionVisitor
visit
in interface OWLClassExpressionVisitor
visit
in class KRSSObjectRenderer
desc
- object to visitpublic final void visit(OWLObjectProperty property)
OWLPropertyExpressionVisitor
visit
in interface OWLEntityVisitor
visit
in interface OWLNamedObjectVisitor
visit
in interface OWLPropertyExpressionVisitor
visit
in class KRSSObjectRenderer
property
- object to visitpublic final void visit(OWLObjectInverseOf property)
OWLPropertyExpressionVisitor
visit
in interface OWLPropertyExpressionVisitor
visit
in class KRSSObjectRenderer
property
- object to visitCopyright © 2017 The University of Manchester. All Rights Reserved.