Titre : | Raisonnement sur les ontologies légères |
Auteurs : | Abdelmoutia Telli , Auteur ; Mustapha Bourahla, Directeur de thèse ; Salem Benferhat, Directeur de thèse |
Type de document : | Thése doctorat |
Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2018 |
Format : | 1 vol. (123 p.) / 30 cm |
Langues: | Français |
Mots-clés: | Inconsistance,Bases de connaissances prioritaires,Les ontologies lé-gères. |
Résumé : |
DL-Lite est l'une des logiques de description légère les plus importantes. Cette thèseétudie di é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 mul-tiples sources con ictuelles ayant des di érents niveaux de abilité. 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 di é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 algo-rithme 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 e cace 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. |
Sommaire : |
Liste des figures iii Liste des tableaux iv Introduction générale 1 1 Ontologies et logique de description 7 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2 Les Ontologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2.2 Structure d'une ontologie . . . . . . . . . . . . . . . . . . . . . . 9 1.2.3 Caractéristiques . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.4 Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2.5 Langages de représentation . . . . . . . . . . . . . . . . . . . . . 11 1.3 Formalismes de l'ontologie . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Logique de description . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.4.1 Représentation des connaissances dans les LDs . . . . . . . . . . 18 1.4.2 Syntaxe de la logique de description . . . . . . . . . . . . . . . . 19 1.4.3 Sémantique de ALC . . . . . . . . . . . . . . . . . . . . . . . . 20 1.4.4 Raisonnement sur ALC . . . . . . . . . . . . . . . . . . . . . . . 21 1.4.4.1 Inférence au niveau Assertionnel . . . . . . . . . . . . 21 1.4.4.2 Inférence au niveau terminologique . . . . . . . . . . . 22 1.4.5 Extensions de ALC . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.4.6 Moteurs d'inférence . . . . . . . . . . . . . . . . . . . . . . . . . 23 1.4.7 Complexité dans Les LDs . . . . . . . . . . . . . . . . . . . . . 24 1.4.8 La famille DL-Lite . . . . . . . . . . . . . . . . . . . . . . . . . 26 1.4.8.1 Syntaxe et sémantique . . . . . . . . . . . . . . . . . . 26 1.4.8.2 Extension de la famille DL-Lite . . . . . . . . . . . . . 29 1.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 2 Débogage d'ontologie : Traitement sur les bases de connaissances DL-Lite 33 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.2 Approche OBDA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.2.1 Avantages de l'approche OBDA . . . . . . . . . . . . . . . . . . 35 2.2.2 Description logique pour OBDA avec bases de données . . . . . 36 2.3 Caractéristiques d'une base de connaissances DL-Lite . . . . . . . . . . 37 2.3.1 Incohérence et inconsistance . . . . . . . . . . . . . . . . . . . . 37 2.3.2 Réductibilité de FOL . . . . . . . . . . . . . . . . . . . . . . . . 37 2.3.3 Fermeture négative . . . . . . . . . . . . . . . . . . . . . . . . . 38 2.3.4 Calcul des conflits . . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.3.5 Traitement d'inconsistance sur DL-Lite . . . . . . . . . . . . . 40 2.4 Bases de connaissances DL-Lite MBox . . . . . . . . . . . . . . . . . . 41 2.4.1 Fermeture déductive sur MBox . . . . . . . . . . . . . . . . . . 42 2.4.2 Stratégies d'inférence sur MBox . . . . . . . . . . . . . . . . . . 42 2.4.2.1 Inférence universelle . . . . . . . . . . . . . . . . . . . 42 2.4.2.2 Inférence existentielle . . . . . . . . . . . . . . . . . . . 43 2.4.2.3 Inférence Saine . . . . . . . . . . . . . . . . . . . . . . 43 2.4.2.4 Inférence basée sur la majorité . . . . . . . . . . . . . 44 2.4.2.5 Inférence basée sur la proportionnalité . . . . . . . . . 45 2.4.2.6 Inférence sans objection . . . . . . . . . . . . . . . . . 45 2.4.2.7 Comparaison entre les stratégies d'inférence sur MBox 46 2.5 Autres Travaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 2.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 3 Gestion d'inconsistance dans DL-Lite avec priorités 50 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 3.2 Base de connaissances DL-Lite avec priorité . . . . . . . . . . . . . . . 51 3.2.1 Approches de tolérance aux inconsistances dans DL-Lite avec priorité . . . . . . . . . . . . . . 52 3.2.2 Le concept de réparations . . . . . . . . . . . . . . . . . . . . . 52 3.2.3 L'ensemble de Conit et l'ensemble libre . . . . . . . . . . . . . 52 3.2.4 Notion de clôture prioritaire . . . . . . . . . . . . . . . . . . . . 54 3.2.5 Analyse de complexité . . . . . . . . . . . . . . . . . . . . . . . 55 3.3 Stratégies de calcul des réparations dans DL-Lite avec priorité . . . . . 59 3.3.1 Réparation à base de la théorie des possibilités . . . . . . . . . . 59 3.3.2 Réparation à base linéaire . . . . . . . . . . . . . . . . . . . . . 61 3.3.3 Réparation à base d'assertions libres prioritaires . . . . . . . . 62 3.3.4 Réparation à base de clôture déductive d'assertions libres prioritaires 3.3.5 Réparation à base linéaire d'assertions libres prioritaires . . . . 66 3.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 4 Résultats expérimentaux et études comparatives 68 4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 4.2 Environnement de développement . . . . . . . . . . . . . . . . . . . . 69 4.2.1 Environnement software . . . . . . . . . . . . . . . . . . . . . . 69 4.2.2 Environnement hardware . . . . . . . . . . . . . . . . . . . . . . 69 4.3 Paramètres Expérimentaux . . . . . . . . . . . . . . . . . . . . . . . . . 70 4.3.1 Bases de tests utilisées . . . . . . . . . . . . . . . . . . . . . . . 70 4.3.2 Métriques d'évaluation . . . . . . . . . . . . . . . . . . . . . . . 71 4.3.3 Tests et Résultats . . . . . . . . . . . . . . . . . . . . . . . . . . 71 4.4 Étude comparatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 4.5 Application de réparation d'assertions libres prioritaires à traitement vidéo 84 4.5.1 Contraintes de description logique pour les vidéos . . . . . . . . 84 4.5.2 Construire d'une ABox et TBox pour l'ontologie danse . . . . . 85 4.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 5 AniAge : Projet d'ontologie de danses traditionnelles 89 5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89 5.2 AniAge : Projet d'ontologie pour représenter les danses traditionnelles . 90 5.3 Approche proposée pour développer une ontologie de danse Vietnamienne 91 5.3.1 Rassembler et analyser des connaissances d'experts . . . . . . . 92 5.3.2 Analyser des mouvements dans les danses vietnamiennes . . . . 94 5.3.3 Analyse sémantique d'un mouvement de la danse Mõ . . . . . . 96 5.3.3.1 Outils d'implémentation . . . . . . . . . . . . . . . . . 96 5.3.3.2 Ontologie de danse . . . . . . . . . . . . . . . . . . . . 98 5.3.3.3 Concepts et propriétés . . . . . . . . . . . . . . . . . . 102 5.3.3.4 Relations et interprétations . . . . . . . . . . . . . . . 103 5.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 Conclusion Générale et Perspectives 105 Annexe A 107 Bibliographie 113 |
En ligne : | http://thesis.univ-biskra.dz/id/eprint/3685 |
Disponibilité (1)
Cote | Support | Localisation | Statut |
---|---|---|---|
TINF/120 | Théses de doctorat | bibliothèque sciences exactes | Consultable |