Logiques de description

Les logiques de description constituent une famille de langages formels de représentation des connaissances, des fragments décidables de la logique du premier ordre, utilisés pour définir des concepts et raisonner sur la classification et la cohérence, notamment comme fondement des langages d'ontologie du Web sémantique.

Definition

Une logique de description est un formalisme basé sur la logique pour représenter les concepts (classes), les rôles (relations) et les individus d'un domaine, avec une sémantique précise basée sur la théorie des modèles qui rend décidables les tâches de raisonnement telles que la subsomption de concepts.

Scope

Ce sujet couvre la famille des logiques de description : concepts, rôles et individus ; la distinction entre les connaissances terminologiques (la TBox des définitions de concepts) et les connaissances assertionnelles (l'ABox des faits concernant les individus) ; les services de raisonnement standard tels que la subsomption, la classification, la cohérence et la vérification d'instance ; et le spectre expressivité-complexité allant des logiques légères aux logiques expressives sous-jacentes au langage d'ontologie du Web (OWL). Les représentations structurées informelles sont traitées sous les réseaux sémantiques et les ontologies.

Core questions

• Comment les concepts sont-ils construits de manière compositionnelle à partir de concepts et de rôles atomiques en utilisant des constructeurs tels que la conjonction, la restriction et la quantification ?
• Quelle est la différence entre une TBox d'axiomes terminologiques et une ABox d'assertions ?
• Quels services de raisonnement standard (subsomption, classification, cohérence, vérification d'instance) les raisonneurs de logiques de description fournissent-ils ?
• Comment l'augmentation de l'expressivité accroît-elle la complexité computationnelle du raisonnement ?

Key concepts

• concepts, rôles, individus
• TBox et ABox
• constructeurs de concepts et restrictions
• subsomption
• classification
• cohérence et vérification d'instance
• OWL et le Web sémantique
• fragments décidables de la logique du premier ordre

Key theories

Séparation TBox/ABox

Les bases de connaissances des logiques de description distinguent les connaissances terminologiques (définitions de concepts et de rôles dans la TBox) des connaissances assertionnelles (faits concernant des individus spécifiques dans l'ABox), permettant un raisonnement séparé mais interactif sur le schéma et les données.

Subsomption et classification automatique

L'inférence centrale des logiques de description est la subsomption, qui consiste à décider si un concept est nécessairement plus général qu'un autre, ce qui permet à un raisonneur d'organiser automatiquement les concepts en une hiérarchie de classification et de détecter les incohérences.

Compromis expressivité-complexité

Les logiques de description sont délibérément choisies comme des fragments décidables de la logique du premier ordre, et l'ajout de constructeurs augmente l'expressivité au prix d'un coût bien caractérisé en complexité de raisonnement, guidant la conception de langages d'ontologie tels que les profils OWL.

Clinical relevance

Les logiques de description constituent l'épine dorsale formelle du langage d'ontologie du Web (OWL) et, par conséquent, des grandes ontologies en biomédecine (telles que SNOMED CT), du Web sémantique et des graphes de connaissances d'entreprise, où la classification automatisée et la vérification de cohérence maintiennent la cohérence des vocabulaires étendus.

History

Les logiques de description sont issues de représentations structurées telles que KL-ONE de Brachman et Schmolze (1985), alors que les chercheurs recherchaient une sémantique formelle et la décidabilité pour les systèmes basés sur les cadres et les réseaux. Au cours des années 1990-2000, leur complexité a été cartographiée avec précision, et elles ont été adoptées comme fondement du langage d'ontologie du Web (OWL) du W3C.

Key figures

• Ronald J. Brachman
• Franz Baader
• Ian Horrocks
• Diego Calvanese
• Deborah McGuinness

Seminal works

• brachman1985
• baader2007

Frequently asked questions

Comment les logiques de description se rapportent-elles à la logique du premier ordre ?

Les logiques de description sont des fragments soigneusement choisis de la logique du premier ordre. Elles sacrifient une certaine expressivité afin que les tâches de raisonnement clés, telles que la décision de subsomption entre concepts, restent décidables et souvent efficaces, ce que la logique du premier ordre complète ne garantit pas.

Quelle est la différence entre la TBox et l'ABox ?

La TBox contient les connaissances terminologiques, les définitions et les axiomes généraux concernant les concepts et les rôles, tandis que l'ABox contient les assertions concernant des individus particuliers. Le raisonnement utilise les deux : la TBox décrit la structure du monde et l'ABox décrit les faits spécifiques au sein de cette structure.