Interrogation de bases de connaissances incohérentes

Une base de connaissances facilite l'interrogation de données en utilisant une ontologie, c'est-à-dire une théorie logique qui modélise les connaissances du domaine d'application. Un problème qui peut se poser dans ce contexte est l'incohérence des données avec l'ontologie. En effet, les bases de données comportent souvent des faits erronés qui peuvent entrer en contradiction avec l'ontologie. Une théorie logique incohérente impliquant toute formule sous la sémantique classique, une seule erreur dans les données rend la base de connaissances inutilisable. Comme il n'est pas toujours possible de nettoyer les données, il est crucial de définir des sémantiques alternatives pour obtenir des réponses pertinentes à partir de données incohérentes. Après avoir introduit les plus connues de ces sémantiques, je présenterai quelques résultats récents et problèmes ouverts.