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) |
OWLAxiom | KRSS syntax | Remarks |
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. |
OWLDisjointClassesAxiom | (disjoint C D) | multiple pairwise disjoint statements are added in case of more than 2 disjoint expressions |
OWLSubClassOf | (define-primitive-concept C D) | Multiple OWLSubClassOf axioms for C will be combined: (define-primitive-concept C (and D1...Dn)) Only applicable if there is no OWLEquivalentClasses axiom. KRSS does not allow both define-concept C and define-primitive-concept C. GCIs not supported in KRSS (see KRSS2) |
OWLEquivalentObjectPropertiesAxiom | (define-role R S) | Only applicable if the is no OWLSubObjectPropertyOf for R and the number of the involved properties must be two |
OWLObjectPropertyDomainAxiom | (domain P D) | |
OWLObjectPropertyRangeAxiom | (range P D) | |
OWLSubObjectPropertyOf | (define-primitive-role R S) | Only applicable if the is no OWLEquivalentObjectPropertiesAxiom for R and only one OWLSubObjectPropertyOf axiom for a given property is allowed. If there are more one is randomly chosen. |
OWLTransitiveObjectPropertyAxiom | (transitive P) | |
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 will be splitted into: { (equal i(j) i(j+k)) | 1 <= j <=n, j<k<=n, j=|=k} |
|
|
|
|