en fr Standard and non-standard reasoning services for decentralized management of data and knowledge Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances Report as inadecuate




en fr Standard and non-standard reasoning services for decentralized management of data and knowledge Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances - Download this document for free, or read online. Document in PDF available to download.

1 LRI - Laboratoire de Recherche en Informatique 2 LEO - Distributed and heterogeneous data and knowledge UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623

Résumé : Les systèmes d-inférence pair-à-pair P2PIS sont constitués de serveurs autonomes appelés pairs. Chaque pair gère sa propre base de connaissances BC et peut communiquer avec les autres pairs 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 seconde 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 pour lesquels nous fournissons les algorithmes nécessaires de test de consistance et de réponse aux requêtes. 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 logique propositionnelle.

Mots-clés : logique raisonnement automatique





Author: Nada Abdallah -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents