| 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} |
| |
| |