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...
Abonnement
tous les livres et vidéos ENI en illimité sans engagement
du livre imprimé ou du livre numérique