Notations pour les ontologies formelles
Les tableaux des pages suivantes donnent la correspondance entre différentes notations pour les ontologies : Protégé, Owlready, les logiques de description, ainsi que la sémantique correspondante en logique ensembliste et en logique du premier ordre. Le tableau suivant, disponible en téléchargement, peut être imprimé pour servir d’aide-mémoire sur une seule page.
|
Protégé |
|
|
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 |
|
Python + Owlready2 |
||
|
Constantes |
||
|
Top Bottom |
Thing Nothing |
|
|
Axiomes |
||
|
Subsomption |
class A(B) : … A.is_a.append(B) issubclass(A, B) |
(assertion) (assertion) (test) |
|
Équivalence |
A.equivalent_to.append(B) B in A.equivalent_to |
(assertion) (test) |
|
Instanciation |
i = A() i.is_instance_of.append(A) isinstance(i, A) |
(assertion) (test) |
|
Relations... | ||
Pour consulter la suite, découvrez le livre suivant :
En version papier
En version numérique
En illimité avec l'abonnement ENI
Sur la boutique officielle ENI
Conditions générales d'utilisationCopyright - © Editions ENI ||Politique de protection des données du groupe ENI