Etablissement Université de Biskra - Mohamed Khider Affiliation Département d’Informatique Auteur Merzougui, Kamel Directeur de thèse Bourahla

Mémoires de Fin d’Etudes
Etablissement Université de Biskra - Mohamed Khider Affiliation Département d’Informatique Auteur Merzougui, Kamel Directeur de thèse Bourahla mustapha (Maitre de conférence) Filière Informatique Fondamentale Diplôme Doctorat Titre Sémantiques tolérantes à l’inconsistance pour les logiques de description des ontologies Mots clés Web Sémantique, Ontologie, Logiques de Description, Inconsistances, Sémantiques Formelles Résumé Le problème de l’inconsistance dans les logiques de description des ontologies est devenu très important. En effet, les ontologies dans plusieurs domaines d’application sont devenues très volumineuses. Des ontologies sont facilement fusionnées et intégrées avec d’autres ontologies. En conséquence, la probabilité d’introduire des inconsistances dans ces activités est très élevée. Les systèmes basés sur les ontologies trouvent des difficultés en s’occupant de ce problème d’inconsistance. Une approche qui est inspirée des méthodes traditionnelles appliquées dans les bases de données, est de réparer cette inconsistance par l’élimination d’un ensemble minimal des connaissances extensionnelles et sans toucher les connaissances intensionnelles pour rendre l’ontologie consistante. Comme ces ontologies sont devenues très complexes, cette méthode est impraticable. Due la nécessité d’avoir une approche alternative pour définir des sémantiques tolérantes aux inconsistances différentes des sémantiques classiques basées sur la logique du premier ordre et qui sera une base formelle pour un traitement automatique des inconsistances. Statut A modifier