Sommaire

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

i.R = j

i.R.append(j) ...