@inproceedings{6be1001c26d94d488b9d609b1e51e482,
title = "Local and Distributed Defeasible Reasoning in Multi-Context Systems",
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.",
keywords = "Information theory, Intersections, Parallel algorithms, Interchanges",
author = "Antonis Bikakis and Grigoris Antoniou",
year = "2008",
month = nov,
day = "17",
doi = "10.1007%2F978-3-540-88808-6_16",
language = "English",
isbn = "3540888071",
volume = "5321 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag Berlin Heidelberg",
pages = "135--149",
editor = "Nick Bassiliades and Guido Governatori and Adrian Paschke",
booktitle = "Rule Representation, Interchange and Reasoning on the Web",
address = "Germany",
note = "International Symposium on Rule Representation, Interchange and Reasoning on the Web, RuleML 2008 ; Conference date: 30-10-2008 Through 31-10-2008",
}