Local and Distributed Defeasible Reasoning in Multi-Context Systems

Antonis Bikakis, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Citations (Scopus)

Abstract

Multi-Context Systems (MCS) are logical formalizations of distributed context theories connected through a set of mapping rules, which enable information flow between different contexts. Reasoning in MCS introduces many challenges that arise from the heterogeneity of contexts with respect to the language and inference system that they use, and from the potential conflicts that may arise from the interaction of context theories through the mappings. This study proposes a P2P rule-based reasoning model for MCS, which handles (a) incomplete or inconsistent local context information, by representing contexts as local theories of Defeasible Logic and performing local defeasible reasoning, and (b) global inconsistencies that result from the integration of local contexts, by representing mappings as defeasible rules and performing some type of distributed defeasible reasoning. It also provides a distributed algorithm for query evaluation, analyzes its formal properties, and illustrates its use in a Semantic Web use case scenario.

Original languageEnglish
Title of host publicationRule Representation, Interchange and Reasoning on the Web
Subtitle of host publicationInternational Symposium, RuleML 2008, Proceedings
EditorsNick Bassiliades, Guido Governatori, Adrian Paschke
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Pages135-149
Number of pages15
Volume5321 LNCS
ISBN (Electronic)9783540888086
ISBN (Print)3540888071, 9783540888079
DOIs
Publication statusPublished - 17 Nov 2008
Externally publishedYes
EventInternational Symposium on Rule Representation, Interchange and Reasoning on the Web - Orlando, United States
Duration: 30 Oct 200831 Oct 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag Berlin Heidelberg
Volume5321 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Symposium on Rule Representation, Interchange and Reasoning on the Web
Abbreviated titleRuleML 2008
CountryUnited States
CityOrlando
Period30/10/0831/10/08

Fingerprint

Dive into the research topics of 'Local and Distributed Defeasible Reasoning in Multi-Context Systems'. Together they form a unique fingerprint.

Cite this