Raisonnement sur des ontologies légères

Reasoning on light ontologies

• Auteur / Autrice : Abdelmoutia Telli
• Direction : Salem Benferhat, Mustapha Bourahla
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 13/05/2018
• Etablissement(s) : Artois en cotutelle avec Université Mohamed Khider (Biskra, Algérie)
• Ecole(s) doctorale(s) : École doctorale Sciences pour l'ingénieur (Lille)
• Jury : Président / Présidente : Noureddine Djedi
• Jury : Examinateurs / Examinatrices : Salem Benferhat, Mustapha Bourahla, Noureddine Djedi, Hadja Faïza Khellaf-Haned, Madalina Croitoru, Karim Tabia
• Jury : Rapporteur / Rapporteuse : Hadja Faïza Khellaf-Haned, Madalina Croitoru

Mots clés

Mots clés contrôlés

Inconsistance (logique)

Systèmes experts (informatique)

Ontologies (informatique)

Mots clés libres

Inconsistance

Bases de connaissances prioritaires

Ontologies légères

Inconsistency

Prioritized knowledge bases

Lightweight ontologies

Résumé

DL-Lite est l'une des logiques de description légère les plus importantes. Cette thèse étudie diffé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 conflictuelles ayant des différents niveaux de fiabilité. 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 diffé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 efficace 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. Un processus de création d’une ontologie pour les danses traditionnelles vietnamiennes dans le cadre d’un projet multidisciplinaire AniAge a été développer dans ce travail. Les travaux menés dans le cadre de cette thèse augurent à une multitude de perspectives très intéressantes concernant les différents volets traités.

DL-Lite is one of the most important lightweight description logics. This thesis investigates different approaches for handling inconsistent DL-Lite knowledge bases in the case where the assertional base is prioritized and inconsistent with the terminological base. The inconsistency problem often happens when the assertions are provided by multiple conflicting sources having different reliability levels. We first give how to reason from a flat DL-Lite knowledge base, with a multiple ABox, which can be either issued from multiple information sources. We then propose different inference strategies based on the selection of one consistent assertional base, called a preferred repair. For each strategy, a polynomial algorithm for computing the associated single preferred repair is proposed. Selecting a unique repair is important since it allows an efficient handling of queries. We provide experimental studies showing (from a computational point of view) the benefits of selecting one repair when reasoning under inconsistency in lightweight knowledge bases. A process of creating an ontology for traditional Vietnamese dances as part of a multidisciplinary project AniAge has been developed in this work. The works carried out in the framework of this thesis augurs to a multitude of very interesting perspectives concerning the various aspects treated.