Constantes
|
Top
|
Thing
|
Bottom
|
Nothing
|
Axiomes
|
|
Subsomption de classe
Subsomption de propriété
Équivalence
Instanciation
Relations
|
A subclass of B
R subproperty of S
A equivalent to B
i type A
I
object property assertion j
i
data property assertion j
|
Connecteurs sémantiques
|
|
Complément (négation)
Intersection (et)
Union (ou)
Extension
|
not A
A
and B
A or B
{i, j,...}
|
Inverse
Clôture
transitive
Composition
|
inverse of R
-
R
o S
|
Restriction existentielle
Restriction universelle
Restriction de cardinalité
Restriction de valeur
|
R some B
R
only B
R exactly 2 B
R max 2 B
R
min 2 B
R value j
|
Décomposition
|
|
Disjonction
Domaine
Range
|
A disjoint with B
R domain A
R
range B
|