Distributed query answering in peer-to-peer reasoning systems.
Published: 2007
Language: eng
Number of pages: 100
ISBN-13: 9780494274484
Description: Interest in distributed reasoning is gaining momentum due to the emergence of the Semantic Web. In this work, we address the problem of meaningfully answering queries to distributed propositional reasoners which may be mutually inconsistent. We define a peer-to-peer query answering framework in which peers may be prioritized. Our formal framework includes distributed entailment relations for both consistent and inconsistent systems. We develop decentralized algorithms for computing answers to a restricted class of queries according to distributed entailment and prove their soundness and completeness. A heuristic for more efficiently computing query answers from prioritized, inconsistent systems is also provided. We furthermore investigate global closed-world reasoning in our framework and show how our techniques can be used to achieve global closed-word query answering from local closed-world reasoners in a restricted class of distributed peer-to-peer query answering systems.
Notes: Source: Masters Abstracts International, Volume: 45-06, page: 3183.

Advisor: Sheila McIlraith.

Thesis (M.Sc.)--University of Toronto, 2007.

Electronic version licensed for access by U. of T. users.

ROBARTS MICROTEXT copy on microfiche.