Leslogiques de description aussi appeléeslogiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description deconcepts utilisée pour décrire un domaine et d'autre part à lasémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre. La logique de description a été développée comme une extension deslangages à cadres, une famille delangage de programmation pour l'intelligence artificielle, et desréseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique.

Les logiques de description ont été conçues à partir des réseaux sémantiques de Quillian (ref) qui sont des graphes orientés étiquetés dans lesquels on associe des concepts aux nœuds et des relations aux arcs, et de la sémantique des cadres deMinsky (ref) où l'on a des concepts représentés par des cadres qui sont caractérisés par un certain nombre d'attributs (appelés aussi slots) qui contiennent de l'information sur leur contenu.

Les logiques de description forment une famille de langages de représentation de connaissances qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une façon structurée et formelle.Le nom « logique de description » peut être interprété de deux manières. D'une part, ces langages ont été élaborés pour écrire la « description » des concepts pertinents d'un domaine d'application. D'autre part, une caractéristique cruciale de ces langages est qu'ils ont unesémantique formelle définie enlogique du premier ordre (à la différence des propositions précédentes comme les cadres de Minsky). Dans ce sens, nous pouvons dire que les LDs ont une sémantique « descriptive » formelle.

Les logiques de description sont utilisées pour de nombreuses applications (voirInternational Workshop on Description Logics etWorkshop on Applications of Description Logics). Sans être exhaustifs, nous pouvons dire que ces applications font partie des domaines suivants :

• leweb sémantique (par exemple représentation d'ontologies, etrecherche d'information basée sur la logique)
• médecine/bio-informatique (par exemple pour représenter et gérer des ontologies biomédicales)
• traitement automatique des langues et représentation de la connaissance
• Ingénierie de processus (par exemple pour représenter des descriptions de service)
• Ingénierie de la connaissance (par exemple pour représenter des ontologies)
• Ingénierie logicielle (par exemple pour représenter la sémantique des diagrammes de classeUML)

La plupart des logiques de description divisent la connaissance en deux parties :

• les informations terminologiques: définition des notions basiques ou dérivées et de la façon dont elles sont reliées entre elles. Ces informations sont « génériques » ou « globales », vraies dans tous les modèles et pour tous les individus.
• les informations sur les individus: ces informations sont « spécifiques » ou « locales », vraies pour certains individus particuliers.

Toutes les informations connues sont alors modélisées comme un couple${\displaystyle ⟨T,A⟩}$, où${\displaystyle T}$ est un ensemble de formules relatives aux informations terminologiques (la T-Box) et où${\displaystyle A}$ est un ensemble de formules relatives aux informations sur les assertions (la A-Box).

Une autre manière de voir la séparation entre ces informations est d'associer la T-Box aux règles qui régissent notre monde (par exemple la physique, la chimie, la biologie, etc.), et d'associer les individus de notre monde à la A-Box (par exemple Jean, Marie, un chat, etc.).

Les logiques de description utilisent les notions deconcept, derôle et d'individu. Un concept correspond à une « classe d'éléments » et est interprété comme un ensemble dans un univers donné. Les rôles correspondent aux « liens entre les éléments » et sont interprétés comme des relations binaires sur un univers donné. Les individus correspondent aux éléments d'un univers donné. La sémantique des logiques de description est définie comme suit :

Définition 1 :

Soit${\displaystyle CON=\{C1,C2,\dots \}}$ unensemble fini de concepts atomiques,${\displaystyle ROL=\{R1,R2,\dots \}}$ un ensemble fini de rôles atomiques et${\displaystyle IND=\{a1,a2,\dots \}}$ un ensemble fini d'individus. Si${\displaystyle CON}$,${\displaystyle ROL}$,${\displaystyle IND}$ sont disjoints deux à deux,${\displaystyle \mathcal{S}=⟨CON,ROL,IND⟩}$ est unesignature. Une fois qu'une signature${\displaystyle \mathcal{S}}$ est fixée, uneinterprétation${\displaystyle \mathcal{I}}$ pour${\displaystyle \mathcal{S}}$ est un couple${\displaystyle \mathcal{I}=⟨{\mathrm{\Delta }}^{\mathcal{I}},{\cdot }^{\mathcal{I}}⟩}$, où :

• ${\displaystyle {\mathrm{\Delta }}^{\mathcal{I}}}$ est un ensemble non vide, le domaine de l'interprétation.
• ${\displaystyle {\cdot }^{\mathcal{I}}}$ est une fonction affectant :
  • un élément${\displaystyle a_i^{\mathcal{I}}\in {\mathrm{\Delta }}^{\mathcal{I}}}$ à chaque individu${\displaystyle a_i\in IND}$;
  • un sous-ensemble${\displaystyle C_i^{\mathcal{I}}\subseteq {\mathrm{\Delta }}^{\mathcal{I}}}$ à chaque concept atomique${\displaystyle C_i\in CON}$;
  • et une relation${\displaystyle R_i^{\mathcal{I}}\subseteq {\mathrm{\Delta }}^{\mathcal{I}}\times {\mathrm{\Delta }}^{\mathcal{I}}}$ à chaque rôle atomique${\displaystyle R_i\in ROL}$.

En d'autres termes, une interprétation de la logique de description n'est rien de plus qu'un modèle pour un type particulier de signature du premier ordre, où seuls les prédicats unaires et binaires sont autorisés, et où l'ensemble des symboles de fonction est vide.

Typiquement, labase de connaissances standard utilisée par les logiques de description est définie de la manière suivante :

Définition 2 :

Étant donné un langage de description${\displaystyle \mathcal{L}}$ et une signature${\displaystyle \mathcal{S}}$, une base de connaissances${\displaystyle \mathrm{\Sigma }}$ dans${\displaystyle \mathcal{L}}$ est une paire${\displaystyle \mathrm{\Sigma }=⟨T,A⟩}$ telle que :

• ${\displaystyle T}$ est la T(erminologique)-Box, un ensemble fini, qui peut être vide, d'expressions appelées GCI (General Concept Inclusion) de la forme${\displaystyle C_1⊑C_2}$ où${\displaystyle C_1}$ et${\displaystyle C_2}$ sont des concepts sans restriction.${\displaystyle C_1\dot{=}{C}_2}$ est une notation pour${\displaystyle C_1⊑C_2}$ et${\displaystyle C_2⊑C_1}$. Les formules de${\displaystyle T}$ sont appeléesaxiomes terminologiques.
• ${\displaystyle A}$ est la A(ssertion)-Box, un ensemble fini, qui peut être vide, d'expressions de la forme${\displaystyle a:C}$ ou${\displaystyle (a,b):R}$, où${\displaystyle C}$ est un concept sans restriction,${\displaystyle R}$ est un rôle qui n'est pas nécessairement atomique, et${\displaystyle a}$,${\displaystyle b}$ appartiennent à${\displaystyle IND}$. Les formules de${\displaystyle A}$ sont appelées desassertions.

Les axiomes terminologiques ont été pensés à l'origine comme des définitions, et nombre de conditions plus restrictives leur ont été imposées. Les deux restrictions les plus importantes sont les suivantes :

• simplicité des axiomes terminologiques : dans tous les axiomes terminologiques${\displaystyle C_1⊑C_2}$,${\displaystyle C_1}$ est un concept atomique dans${\displaystyle CON}$, et chaque concept atomique dans${\displaystyle CON}$ apparaît au plus une fois dans la partie gauche d'un axiome terminologique de la T-Box.
• acyclicité des définitions : le graphe obtenu en affectant un nœud${\displaystyle n_A}$ à chaque concept atomique${\displaystyle A}$ de la T-Box, et en créant un arc orienté entre deux nœuds${\displaystyle n_A}$ et${\displaystyle n_B}$ s'il existe un axiome terminologique${\displaystyle C_1⊑C_2}$ dans${\displaystyle T}$ tel que${\displaystyle A}$ apparaisse dans${\displaystyle C_1}$ et${\displaystyle B}$ dans${\displaystyle C_2}$, ne doit pas contenir de cycle.

Ces restrictions sont liées à l'idée de considérer les axiomes terminologiques comme des définitions de concepts.

Les logiques de descriptions ont une base commune enrichie de différentes extensions (voir tableau ci-dessous). On peut dès lors avoir des concepts complexes composés de concepts atomiques, et de même pour les rôles.

Lettre	Constructeur	Syntaxe	Sémantique
${\displaystyle \mathcal{A}\mathcal{L}}$	nom de concept	${\displaystyle C}$	${\displaystyle C^{\mathcal{I}}}$
${\displaystyle \mathcal{A}\mathcal{L}}$	nom de rôle	${\displaystyle R}$	${\displaystyle R^{\mathcal{I}}}$
${\displaystyle \mathcal{A}\mathcal{L}}$	top	${\displaystyle \mathrm{\top }}$	${\displaystyle {\mathrm{\Delta }}^{\mathcal{I}}}$
${\displaystyle \mathcal{A}\mathcal{L}}$	conjonction	${\displaystyle C_1\sqcap C_2}$	${\displaystyle C_1^{\mathcal{I}}\cap C_2^{\mathcal{I}}}$
${\displaystyle \mathcal{A}\mathcal{L}}$	quantificateur universel	${\displaystyle \mathrm{\forall }R.C}$	${\displaystyle \{d_1\in {\mathrm{\Delta }}^{\mathcal{I}}\mid \mathrm{\forall }{d}_2\in {\mathrm{\Delta }}^{\mathcal{I}}.(R^{\mathcal{I}}(d_1,d_2)\to d_2\in C^{\mathcal{I}})\}}$
${\displaystyle \mathcal{C}}$	négation de concepts non nécessairement primitifs	${\displaystyle \mathrm{\neg }C}$	${\displaystyle {\mathrm{\Delta }}^{\mathcal{I}}\setminus C^{\mathcal{I}}}$
${\displaystyle \mathcal{U}}$	disjonction	${\displaystyle C_1\bigsqcup C_2}$	${\displaystyle C_1^{\mathcal{I}}\cup C_2^{\mathcal{I}}}$
${\displaystyle \mathcal{E}}$	quantificateur existentiel typé	${\displaystyle \mathrm{\exists }R.C}$	${\displaystyle \{d_1\in {\mathrm{\Delta }}^{\mathcal{I}}\mid \mathrm{\exists }{d}_2\in {\mathrm{\Delta }}^{\mathcal{I}}.(R^{\mathcal{I}}(d_1,d_2)\wedge d_2\in C^{\mathcal{I}})\}}$
${\displaystyle \mathcal{N}}$	restriction de cardinalité	${\displaystyle (\ge nR)}$ ${\displaystyle (\le nR)}$	${\displaystyle \{d_1\in {\mathrm{\Delta }}^{\mathcal{I}}\mid \{d_2|R^{\mathcal{I}}(d_1,d_2)\}|\ge n\}}$ ${\displaystyle \{d_1\in {\mathrm{\Delta }}^{\mathcal{I}}\mid \{d_2|R^{\mathcal{I}}(d_1,d_2)\}|\le n\}}$
${\displaystyle \mathcal{Q}}$	restriction de cardinalité qualifiée	${\displaystyle (\ge nR.C)}$ ${\displaystyle (\le nR.C)}$	${\displaystyle \{d_1\in {\mathrm{\Delta }}^{\mathcal{I}}\mid \{d_2|R^{\mathcal{I}}(d_1,d_2),d_2\in C^{\mathcal{I}}\}|\ge n\}}$ ${\displaystyle \{d_1\in {\mathrm{\Delta }}^{\mathcal{I}}\mid \{d_2|R^{\mathcal{I}}(d_1,d_2),d_2\in C^{\mathcal{I}}\}|\le n\}}$
${\displaystyle \mathcal{O}}$	un-de	${\displaystyle \{a_1,\dots ,a_n\}}$	${\displaystyle \{d\in {\mathrm{\Delta }}^{\mathcal{I}}\mid d=a_i^{\mathcal{I}}\mathtt{\text{~pour~un~}}{a}_i\}}$
${\displaystyle \mathcal{B}}$	role filler	${\displaystyle \mathrm{\exists }R.\{a\}}$	${\displaystyle \{d\in {\mathrm{\Delta }}^{\mathcal{I}}\mid R^{\mathcal{I}}(d,a^{\mathcal{I}})\}}$
${\displaystyle \mathcal{R}}$	conjonction de rôles	${\displaystyle R_1\sqcap R_2}$	${\displaystyle R_1^{\mathcal{I}}\cap R_2^{\mathcal{I}}}$
${\displaystyle \mathcal{I}}$	rôles inverses	${\displaystyle R^{-1}}$	${\displaystyle \{(d_1,d_2)\in {\mathrm{\Delta }}^{\mathcal{I}}\times {\mathrm{\Delta }}^{\mathcal{I}}\mid R^{\mathcal{I}}(d_2,d_1)\}}$
${\displaystyle \mathcal{H}}$	hiérarchie des rôles	${\displaystyle R_1⊑R_2}$	${\displaystyle R_1^{\mathcal{I}}\subseteq R_2^{\mathcal{I}}}$
${\displaystyle {\mathcal{R}}^{\mathcal{+}}}$	transitivité des rôles	${\displaystyle R^{+}}$	Plus petite relation transitive contenant${\displaystyle R^{\mathcal{I}}}$

L'une des premières logiques de description est le langage${\displaystyle \mathcal{F}{\mathcal{L}}^{\mathcal{-}}}$ [Brachman and Levesque, 1984], qui est défini comme une logique de description permettant l'utilisation des quantificateurs universels, de la conjonction, et des quantificateurs existentiels de la forme${\displaystyle \mathrm{\exists }R.\mathrm{\top }}$. Le langage${\displaystyle \mathcal{F}{\mathcal{L}}^{\mathcal{-}}}$ a été proposé comme un formalisme pour la sémantique des cadres de Minsky. La conjonction de concepts est implicite dans la structure d'un cadre, qui requiert un ensemble de conditions pour être satisfait. La quantification des rôles permet de caractériser les slots.

La logique${\displaystyle \mathcal{A}\mathcal{L}}$ [Schmidt-Schauss and Smolka, 1991] a étendu la logique${\displaystyle \mathcal{F}{\mathcal{L}}^{\mathcal{-}}}$ en y ajoutant la négation des concepts atomiques. Cette logique peut être considérée comme la logique de base des autres logiques de description.

Les logiques de description qui existent sont des combinaisons des différents éléments du tableau ci-dessus. Par exemple, si l'on rajoute la négation complète${\displaystyle \mathcal{C}}$ à la logique${\displaystyle \mathcal{A}\mathcal{L}}$, on obtient la logique${\displaystyle \mathcal{A}\mathcal{L}\mathcal{C}}$.

Certaines logiques sont équivalentes, notamment${\displaystyle \mathcal{A}\mathcal{L}\mathcal{C}}$ et${\displaystyle \mathcal{A}\mathcal{L}\mathcal{U}\mathcal{E}}$. Ces deux logiques augmentées par${\displaystyle {\mathcal{R}}^{+}}$sont notées${\displaystyle \mathcal{S}}$. Les langages utilisés parOWL en sont une extension, respectivement${\displaystyle \mathcal{S}\mathcal{H}\mathcal{I}\mathcal{F}}$ pourOWL-Lite et${\displaystyle \mathcal{S}\mathcal{H}\mathcal{O}\mathcal{I}\mathcal{N}}$ pourOWL-DL.

En LD, la notion d'inférence est décrite comme ci-dessous:

Définition 3 :

Soit${\displaystyle \mathcal{I}}$ une interprétation et${\displaystyle \phi }$ un axiome terminologique ou une assertion. Alors${\displaystyle \mathcal{I}}$ modélise${\displaystyle \phi }$ (notation${\displaystyle \mathcal{I}\models \phi }$) si :

• ${\displaystyle \phi =C_1⊑C_2}$ et${\displaystyle C_1^{\mathcal{I}}\subseteq C_2^{\mathcal{I}}}$, ou
• ${\displaystyle \phi =a:C}$ et${\displaystyle a^{\mathcal{I}}\in C^{\mathcal{I}}}$, ou
• ${\displaystyle \phi =(a,b):R}$ et${\displaystyle (a^{\mathcal{I}},b^{\mathcal{I}})\in R^{\mathcal{I}}}$.

Soit${\displaystyle \mathrm{\Sigma }=⟨T,A⟩}$ une base de connaissance et${\displaystyle \mathcal{I}}$ une interprétation, alors${\displaystyle \mathcal{I}}$ est un modèle de${\displaystyle \mathrm{\Sigma }}$ (notation,${\displaystyle \mathcal{I}\models \mathrm{\Sigma }}$) si pour tous${\displaystyle \phi \in T\cup A,\mathcal{I}\models \phi }$. Nous disons dans ce cas que${\displaystyle \mathcal{I}}$ est un modèle de la base de connaissance${\displaystyle \mathrm{\Sigma }}$. Étant donné une base de connaissance${\displaystyle \mathrm{\Sigma }}$ et un axiome terminologique ou une assertion${\displaystyle \phi }$,${\displaystyle \mathrm{\Sigma }\models \phi }$ si pour tout modèle${\displaystyle \mathcal{I}}$ de${\displaystyle \mathrm{\Sigma }}$ nous avons${\displaystyle \mathcal{I}\models \phi }$.

En LD, l'expressionraisonnement sur la T-Box fait référence à la capacité de réaliser des inférences depuis une base de connaissance${\displaystyle \mathrm{\Sigma }=⟨T,A⟩}$ où${\displaystyle T}$ est non-vide, et d'une manière similaire,raisonnement sur la A-Box est l'implication pour une A-Box non vide.

Définition 4 :

Soit${\displaystyle \mathrm{\Sigma }}$ une base de connaissances,${\displaystyle C_1,C_2\in CON,R\in ROL}$ et${\displaystyle a,b\in IND}$, nous définissons les tâches de déduction suivantes :

• Subsomption,${\displaystyle \mathrm{\Sigma }\models C_1⊑C_2}$
  Vérifie si pour toutes les interprétations${\displaystyle \mathcal{I}}$ tel que${\displaystyle \mathcal{I}\models \mathrm{\Sigma }}$, nous avons${\displaystyle C_1^{\mathcal{I}}\subseteq C_2^{\mathcal{I}}}$.
• Vérification d'instance,${\displaystyle \mathrm{\Sigma }\models a:C}$
  Vérifie si pour toutes les interprétations${\displaystyle \mathcal{I}}$ tel que${\displaystyle \mathcal{I}\models \mathrm{\Sigma }}$, nous avons${\displaystyle a^{\mathcal{I}}\in C^{\mathcal{I}}}$.
• Vérification de relations${\displaystyle \mathrm{\Sigma }\models (a,b):R}$
  Vérifie si pour toutes les interprétations${\displaystyle \mathcal{I}}$ tel que${\displaystyle \mathcal{I}\models \mathrm{\Sigma }}$, nous avons${\displaystyle (a^{\mathcal{I}},b^{\mathcal{I}})\in R^{\mathcal{I}}}$.
• Cohérence de concept,${\displaystyle \mathrm{\Sigma }⊭C\dot{=}\mathrm{\perp }}$
  Vérifie si pour toutes les interprétations${\displaystyle \mathcal{I}}$ tel que${\displaystyle \mathcal{I}\models \mathrm{\Sigma }}$, nous avons${\displaystyle C^{\mathcal{I}}\ne \{\}}$.
• Cohérence de la base de connaissances,${\displaystyle \mathrm{\Sigma }⊭\mathrm{\perp }}$
  Vérifie s'il existe${\displaystyle \mathcal{I}}$ tel que,${\displaystyle \mathcal{I}\models \mathrm{\Sigma }}$.

Les tâches de déduction de base peuvent être utilisées pour définir des tâches plus complexes. En particulier:

• Recherche : étant donné un concept, trouver les individus mentionnés dans la base de connaissance qui sont des instances de ce concept.
• Réalisation : étant donné un individu mentionné dans la base de connaissance, trouver le concept le plus spécifique, en accord avec les relations de subsomption, duquel l'individu est une instance.

La saturation de la A-Box sert à compléter les informations de la A-Box en accord avec les connaissances de la T-Box, on obtient donc:Définition 5 :

Étant donné une base de connaissance${\displaystyle ⟨T,A⟩}$, nous disons que${\displaystyle A}$ est saturé si pour chaque individu${\displaystyle a\in IND}$, concept atomique${\displaystyle C\in CON}$ et rôle${\displaystyle R\in REL}$:

• l'assertion${\displaystyle a:C}$ si et seulement si${\displaystyle ⟨T,A⟩\models a:C}$
• l'assertion${\displaystyle (a,b):R}$ si et seulement si${\displaystyle ⟨T,A⟩\models (a,b):R}$

Exemple

Soit${\displaystyle \mathrm{\Sigma }}$ une base de connaissance${\displaystyle ⟨T,A⟩}$ où:

• ${\displaystyle T=\{\mathtt{\text{ETALON}}\dot{=}\mathtt{\text{CHEVAL}}\sqcap \mathrm{\forall }\mathtt{\text{Sexe.MASCULIN}}\}}$
• ${\displaystyle A=\{\mathtt{\text{shadowfax}}:\mathtt{\text{ETALON}}\}}$

La formule de${\displaystyle T}$ dit que les chevaux de sexe masculin sont des étalons, et la formule de${\displaystyle A}$ dit que le chevalshadowfax est un étalon. La sémantique formelle que nous donnons dans la définition 3 nous permet de vérifier que${\displaystyle \mathrm{\Sigma }}$ a au moins un modèle (i.e., il est cohérent). Et à partir de${\displaystyle \mathrm{\Sigma }}$ nous pouvons déduire plusieurs informations, par exemple que le concept${\displaystyle \mathtt{\text{CHEVAL}}}$ est cohérent avec${\displaystyle \mathrm{\Sigma }}$ (il existe une certaine interprétation satisfaisant${\displaystyle \mathrm{\Sigma }}$ qui assigne une extension non-vide à${\displaystyle \mathtt{\text{CHEVAL}}}$ :

${\displaystyle \mathrm{\Sigma }⊭\mathtt{\text{CHEVAL}}\dot{=}\mathrm{\perp }}$

Notons qu'à cause des limitations syntaxiques dans la définition de base des assertions, il n'est pas possible de représenter les implications fortes (qui proviennent de${\displaystyle ⟨T,A⟩}$) telle que par exemple le fait que dans tous les modèles de${\displaystyle ⟨T,A⟩}$, l'extension de${\displaystyle \mathtt{\text{CHEVAL}}}$ est non-vide:

${\displaystyle \mathrm{\Sigma }\models \mathrm{\neg }(\mathtt{\text{CHEVAL}}\dot{=}\mathrm{\perp }}$)

Avec${\displaystyle \mathrm{\Sigma }=⟨T,A⟩}$ comme connaissance de base on a la A-Box saturé :

${\displaystyle A=\{\mathtt{\text{shadowfax}}:\mathtt{\text{ETALON}}\sqcap \mathtt{\text{CHEVAL}}\}}$

• F. Baader, D. Calvanese, D. L. McGuiness, D. Nardi, P. F. Patel-Schneider :The Description Logic Handbook: Theory, Implementation, Applications.Cambridge University Press, Cambridge, UK, 2003.(ISBN 0-52178-176-0)
• Marvin Lee Minsky.A Framework for Representing Knowledge. Report A.I MEMO 306, Massachusetts Institute of Technology, A.I. Lab., Cambridge, Massachusetts,juin 1974. McGraw-Hil, P. H. Winston (Éd.), « Psychology of Computer Vision », 1975.

• Web sémantique
• Ontologie (informatique)
• Web Ontology Language
• Logique modale

• (en)Description Logics maintenu par Carsten Lutz
• (en)Introduction to Description Logics DL course par Enrico Franconi, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
• (en)Navigator on Description Logic Complexity
• (fr)Une introduction aux logiques de description

• Portail de la logique
• Portail de l'informatique théorique
• Portail du Web sémantique
• Portail de l’ontologie

• Logique
• Informatique théorique

• Portail:Logique/Articles liés
• Projet:Mathématiques/Articles
• Portail:Sciences/Articles liés
• Portail:Informatique théorique/Articles liés
• Portail:Informatique/Articles liés
• Portail:Web sémantique/Articles liés
• Portail:Ontologie/Articles liés