Logique de description
term_id: description_logic
Category: engineering_practice
Definition
Les logiques de description (DL) sont des fragments décidables de la logique du premier ordre qui constituent le fondement théorique des ontologies, en particulier du langage d’ontologie Web (OWL). Elles permettent une définition précise des concepts et…
Summary
Une famille de langages formels de représentation des connaissances utilisés pour représenter et raisonner sur la structure conceptuelle des domaines.
Key Concepts
- Ontologie
- Raisonnement
- Subsomption
- Hiérarchie de concepts
Use Cases
- Construction d’ontologies pour le web sémantique
- Graphes de connaissances médicaux
- Systèmes de classification automatisée