Raisonnement sur les ontologies légères

Abstract

DL-Lite est l'une des logiques de description légère les plus importantes. Cette thèse étudie di�érentes approches pour traiter des bases de connaissances DL-Lite dans le cas où la base d'assertions est prioritaire et inconsistante avec la base terminologique. Le problème d'inconsistance se produit souvent lorsque les assertions sont fournies par multiples sources con�ictuelles ayant des di�érents niveaux de �abilité. Nous examinons d'abord comment raisonner à partir d'une base de connaissances standard DL-Lite, avec un ABox multiple, qui peut être issu de plusieurs sources d'informations. Nous proposons ensuite di�érentes stratégies d'inférence basées sur la sélection d'une base d'assertions consistante, appelée réparation préférée. Pour chaque stratégie, un algorithme polynomial pour calculer la réparation préférée unique associée est proposé. La sélection d'une réparation unique est importante car elle permet une gestion e�cace des requêtes. Nous fournissons des études expérimentales montrant (du point de vue du calcul) les avantages de sélectionner une réparation lors du raisonnement sous les bases de connaissances légères inconsistantes.