Logiques de description
Les logiques de description aussi appelé logiques descriptives (LD) sont utilisés en intelligence artificielle pour décrire et raisonner sur les concepts pertinents d'un domaine d'application (connu sous le nom de connaissance terminologique).
Les logiques de description 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 de concepts utilisée pour décrire un domaine et d'autre part à la sé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 des langages à cadres, une famille de langage de programmation pour l'intelligence artificielle, et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique.
Contrairement à logique propositionnelle ou à la logique de premier ordre, les problèmes de raisonnement fondamentaux des DL sont (généralement) décisifs, et des procédures de décision efficaces ont été conçues et mises en œuvre pour résoudre ces problèmes. Il existe des logiques de description générales, spatiales, temporelles, spatio-temporelles et floues, et chaque logique de description offre un équilibre différent entre l'expressivité des DL et la complexité du raisonnement en prenant en charge différents ensembles de constructeurs mathématiques.
Il est particulièrement important de fournir un formalisme logique aux ontologies et au Web sémantique : le langage d'ontologie Web (OWL) et son profil est basé sur les DL. L'application la plus notable des DL et des OWL concerne l'informatique biomédicale, où DL aide à la codification des connaissances biomédicales.
