Browsing by Author "Encadreur: . MALKI MIMOUN"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Alignment Evoluttion under Ontology Change : A formal Framework and Tools
    (2017-06-08) ZAHAF AHMED; Encadreur: . MALKI MIMOUN
    الملخص (بالعربية) تعتبر مطابقة الأنطولوجيات العمود الفقري للعمل المشترك الدلالي. فهو يسهل استيراد البيانات من أنطولوجيا إلى آخرة، ترجمة الاسئلة بينهما أو دمج الأنطولوجيات في واحدة. إن هذه الخدمات لا يمكن أن تكون مضمونة في جميع مراحل دورة حياة الأنطولوجيا.ذلك أن تطور الأنطولوجيات قد يؤثر على التطابق بينهمم ويجعله غير صالح للإستعمال المساهمات المعرفية لهذه الأطروحة تلمس مراجعة الجانب الأدبي وكذلك الجانب المنهجي الخاص بمشكلة تطور مطابقة الأنطولوجيات. فيمايخص الجانب المنهجي ، تقترح الأطروحة إطارا رياضيا يتكون من عدة مراحل، ولكل منها غرض محدد. يسهل الإطار تحديد التغييرات التي تطرأ على الأنطولوجيا. على ضوء نظرية مراجعة الإعتقادات ،يعرض الإطار عمليتين عامتين لتطور مطابقة الأنطولوجيات بشكل متناسق مع الضمان لمبدأ الحد الأدنى من التغيير. بتكييف خوارزمية ضرب المجموعة من نظرية التشخيص يجسد الإطار عدد كبير من العمليات. الى جانب ذلك، تم تزويد الإطار بطريقة شاملة على شكل تناسق مجموعة من العمليات كل منها مصمم للتكفل بجانب واحد من عملية تطور مطابقة الأنطولوجيات. يسمح الإطارأيضا بمراجعة التغييرالمقترح قبل التنفيذ في ما يتعلق بمراجعة الجانب الأدبي، تشدد الأطروحة على أهمية المشكلة وتوصي بضرورة فصل دراستها عن مشكلة تطور الأنطولوجيات. الى جانب ذلك، تقترح الأطروحة تصنيف مقاربات مشكلة تطور مطابقة الأنطولوجيات الى فئتين. تهدف الفئة الأولى الى تصحيح التطوربتحديد وحل التناقضات بعد التغيير. في حين أن الفئة الثانية تسعى الى تكييف المطابقة وفق التغييرالحاصل في الأنطولوجيات دون مراعات التناقضات بشكل واضح. وعلاوة على ذلك، تظهر الأطروحة أفضلية المقاربة المطروحة على بعض المقاربات الأخرى. وأظهرت النتائج أنه لا وسائل حساب مطابقة الأنطولوجيات ولا طرق تصحيحها تناسب بشكل جيد مشكلة تطور مطابقة الأنطولوجيات. Résumé (Français et/ou Anglais) : Abstract Alignment of ontologies is the backbone of semantic interoperability. It facilitates the import of data from an ontology to another, translating queries between them, or merging ontologies in a global one. However, these services cannot be guaranteed throughout the life cycle of the ontology. The problem is that the evolution of aligned ontologies may affect and make obsolete the alignment. Contributions of this dissertation touch the literature review and the methodology knowledge sides of the alignment evolution problem. At the methodology knowledge side, the dissertation proposes a formal framework that consists of a number of phases, each having a specific purpose. The framework facilitates ontology change identification for maintainers. On the light of base revision theory, the framework presents a set of generic operators for evolving alignments from a consistent state to another consistent state with a minimal of change. The framework adapts the Hitting set algorithm of diagnosis theory to concretize these operators. Besides, the framework is extended with a global method which is an orchestration of a set of operations each of which is designed to take care of one aspect of the alignment change process. Finally, the framework allows to maintainers reviewing the change before implementation. In what concerns the literature review side, the dissertation mentions the importance of the problem and recommends the separation of its study from the study of the ontology evolution problem. Besides, the dissertation suggests classifying the alignment evolution approaches in two categories. Approaches of the former are corrective since they check and resolve inconsistences after change while approaches of the latter are adaptive and perfective since they only adapt the alignment according to detected changes in ontologies. Moreover, the dissertation demonstrates the advantage of the proposed approach relatively to others. The results show that neither ontology matching nor alignment debugging methods fit well for the alignment evolution problem. Keywords: Ontological Change, Alignment Evolution, Alignment Revision, Belief Base Revision, Diagnosis theory. Résumé L'alignement des ontologies est l'épine dorsale de l'interopérabilité sémantique. Il facilite l'importation de données d'une ontologie à une autre, traduisant des requêtes entre elles, ou fusionner les ontologies. Cependant, ces services ne peuvent pas être garantis tout au long du cycle de vie de l'ontologie. Le problème est que l'évolution des ontologies alignées peut affecter et rendre obsolète l’alignement. Les contributions de cette dissertation touchent le côté de l’analyse de la littérature ainsi que le côté méthodologique du problème de l'évolution de l'alignement. Sur le côté méthodologique, la thèse propose un cadre formel qui consiste en un certain nombre de phases, chacune ayant un but spécifique. Le cadre du travail facilite l'identification des changements ontologiques pour les ingénieurs de maintenance de l’alignement. À la lumière de la théorie de la révision des bases de croyances, il présente un ensemble d’opérateurs génériques pour l'évolution de l’alignement d'un état consistant à un autre état consistant avec un minimum de changement. Il adapte l'algorithme Hitting Set de la théorie du diagnostic pour concrétiser ces opérateurs. En outre, le cadre est étendu avec une méthode globale qui est une orchestration d'un ensemble d'opérations dont chacune est conçue pour prendre soin d'un aspect du processus de changement de l'alignement. Enfin, il permet aux ingénieurs de maintenance d'examiner le changement avant de sa mise en œuvre. En ce qui concerne l’analyse de la littérature, la dissertation mentionne l'importance du problème et recommande la séparation de son étude du problème de l'évolution de l'ontologie. En outre, la thèse propose de classer les approches d'évolution de l'alignement en deux catégories. Les approches de la première sont correctives puisqu'elles vérifient et résolvent l’inconsistance de l’alignement. Alors que les approches de la deuxième sont adaptatives et perfectives, puisqu'elles n'ont qu’adapter l'alignement en fonction des changements détectés dans les ontologies. De plus, la thèse démontre l'avantage de l'approche proposée par rapport aux autres. Les résultats montrent que ni les outils de matching ni les méthodes de débogage de l’alignement ne conviennent bien au problème de l'évolution de l'alignement. Mots Clés: Changement d’ontologie, Evolution de l’alignement, Révision de l’alignement, Révision des bases de croyances, Théorie des diagnostics.