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
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.
Réponse CS
Sujet validé
Statut
Validé