Les logiques de description

Les logiques de description (Description Logics, DL) sont une famille de logique utilisée par les ontologies pour formaliser la connaissance d’un domaine par la description de ses différents concepts et de la sémantique associée. Cette dernière est exprimée à l’aide de prédicats de la logique du premier ordre. Afin de garder un système décidable, seul un sous-ensemble de la logique du premier ordre est utilisé. Le sous-ensemble est choisi selon les besoins du domaine. C’est pourquoi l’on parle de « logiques de description » au pluriel, car il existe un grand nombre de logiques différentes, en fonction des sous-ensembles retenus : avec ou sans la négation, avec ou sans les unions...

Les différentes logiques de description sont nommées à l’aide de lettres représentant les éléments de la logique du premier ordre qu’elles autorisent. Par exemple, la logique autorise le concept universel , le concept vide , la négation d’un concept atomique , l’intersection , la restriction et le quantificateur existentiel (mais limitée au concept universel ). La logique est une extension de la logique qui autorise en plus l’union , etc.