Une introduction aux logiques de descriptions
Résumé
Ce rapport de recherche présente une introduction élémentaire aux logiques de descriptions, qui forment une famille de langages de représentation de connaissances. Les logiques de descriptions permettent de représenter les connaissances d'un domaine de référence à l'aide de concepts (classes d'individus), de rôles (relations entre classes) et d'individus. Une sémantique est associée aux concepts, aux rôles et aux individus par l'intermédiaire d'une interprétation. Les concepts et les rôles sont organisés en hiérarchies sur lesquelles opèrent les processus de classification et d'instanciation, qui sont à la base du raisonnement terminologique.