Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances

par Nada Abdallah

Thèse de doctorat en Informatique

Sous la direction de Serge Abiteboul et de François Goasdoué.

  • Titre traduit

    Standard and non-standard reasoning in decentralized knowledge and data management systems


  • Pas de résumé disponible.


  • Résumé

    Les systèmes d'inférence pair-à-pair (P2PIS) sont constitués de serveurs autonomes appelés pairs gérant chacun sa propre base de connaissances (BC) et pouvant communiquer entre eux via des mappings afin de réaliser une inférence particulière au niveau global du système. Dans la première partie de la thèse, nous proposons un algorithme totalement décentralisé de calcul de conséquences par déduction linéaire dans les P2PIS propositionnels et nous étudions sa complexité communicationnelle, en espace et en temps. Nous abordons ensuite la notion d'extension non conservative d'une BC dans les P2PIS et nous exhibons son lien théorique avec la déduction linéaire décentralisée. Cette notion est importante car elle est liée à la confidentialité des pairs et à la qualité de service offerte par le P2PIS. Nous étudions donc les problèmes de décider si un P2PIS est une extension conservative d'un pair donné et de calculer les témoins d'une possible corruption de la BC d'un pair de sorte à pouvoir l'empêcher. La deuxième partie de la thèse est une application directe des P2PIS au domaine des systèmes de gestion de données pair-à-pair (PDMS) pour le Web Sémantique. Nous définissons des PDMS basés sur la logique de description DL-LITER et nous fournissons les algorithmes nécessaires de test l'inconsistance et de réponse aux requêtes dans de tels systèmes. Notre approche repose sur les P2PIS propositionnels car nous réduisons les problèmes de la reformulation des requêtes et de test de l'inconsistance à des problèmes de calcul de conséquences en LP. Ce travail est enfin étendu à la gestion de données DL-LITER en termes de vues dans les cas de systèmes centralisés et décentralisés.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (88 p.)
  • Annexes : Bibliogr. p. 85-88

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(2010)89
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.