Mémoires de Fin d’Etudes
Etablissement
Université de M’Sila - Mohamed Boudiaf
Affiliation
Institut d’Informatique
Auteur
BENSEDIRA, Badis
Directeur de thèse
BOURAHLA Mustapha (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
RAISONNEMENT AUTOMATIQUE SUR LES ONTOLOGIES
Mots clés
Mots clés :ontologie, logique de description, raisonnement automatique. الكلمات المفتاحية : أنتولوجيا،منطق الوصف، التفكير الألي. Key Words: ontology, description logic, automatic reasoning.
Résumé
Résumé: L’ontologie permet la modélisation du contenu sémantique des informations du Web. L’exploitation de ce contenu est nécessaire pour l’amélioration du Web actuel. Le raisonnement automatique est une sorte d’exploitation de l’information sémantique. Dans ce travail nous proposons une approche permettant la description des ontologies dans un autre formalisme afin de servir du raisonnement sur le contenu sémantique. En exploitant l’intersection qui se trouve entre la logique de description (un des formalismes de modélisation d’ontologie) et la programmation logique, l’approche permet de transformer une ontologie OWL vers un ensemble des règles et des faits PROLOG. Outre que la transformation garde la sémantique contenue dans l’ontologie, un raisonnement efficace sur l’information sémantique peut prendre une place. Par ailleurs, L’ontologie peut être enrichie avec des informations sémantiques inférées. ملخص: تمكن الأنتولوجيا من نمدجة المحتوى المعنوي لمعلومات الواب. إن إستعمال هذا المحتوى جد ضروري من أجل تحسين الواب الحالي. يعد التفكير الآلي نوع من أنواع إستعمال المعلومة المعنوية. نقترح في هذا العمل مقاربة تعمل على وصف الأنتولوجيا في شكل أخر من أجل التفكير بالمحتوى المعنوي. باستخدام العلاقة الموجودة بين منطق الوصف (شكل من أشكال نمدجة الأنتولوجيا) و البرمجة المنطقية، المقاربة تعمل على تحويل الأنتولوجيا إلى مجموعة قواعد و أفعال. بالإضافة إلى أن التغيير يحفظ المعنى المحتوي في الأنتولوجيا، التفكير الفعال بالمعلومة المعنوية يمكن أن يحصل. يمكن تغدية الأنتولوجيا بالمعلومات المعنوية المستنتجة. ملخص: تمكن الأنتولوجيا من نمدجة المحتوى المعنوي لمعلومات الواب. إن إستعمال هذا المحتوى جد ضروري من أجل تحسين الواب الحالي. يعد التفكير الآلي نوع من أنواع إستعمال المعلومة المعنوية. نقترح في هذا العمل مقاربة تعمل على وصف الأنتولوجيا في شكل أخر من أجل التفكير بالمحتوى المعنوي. باستخدام العلاقة الموجودة بين منطق الوصف (شكل من أشكال نمدجة الأنتولوجيا) و البرمجة المنطقية، المقاربة تعمل على تحويل الأنتولوجيا إلى مجموعة قواعد و أفعال. بالإضافة إلى أن التغيير يحفظ المعنى المحتوي في الأنتولوجيا، التفكير الفعال بالمعلومة المعنوية يمكن أن يحصل. يمكن تغدية الأنتولوجيا بالمعلومات المعنوية المستنتجة. Abstract : Ontology allows the modeling of the semantic contents of the information of the Web.The exploitation of these contents is necessary for the improvement of the current Web. The automatic reasoning is a kind of exploitation of semantic information.In this work we propose an approach allowing the description of ontology in another formalism in order to serve as the reasoning on the semantic contents. By exploiting the intersection which is between the logic description (one of the formalisms of modeling of ontology) and the logic programming,the approach makes it possible to transform an ontology OWL towards a whole of the rules and facts PROLOG.In addition to the transformation keeps the semantics contained in ontology,an effective reasoning on semantic information can take a place.Ontology can be enriched with inferred semantic information.
Date de soutenance
30/06/2012
Pagination
124 p
Illusatration
Relié
Format
30 cm
Notes
une copier papier+ un cdrom
Statut
Soutenue