[Back]


Talks and Poster Presentations (with Proceedings-Entry):

M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Model Streaming for Distributed Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 2011-05-16; in: "2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications", A. Mileo, M. Fink (ed.); CEUR Workshop Proceedings, Vancouver, Canada (2011), ISSN: 1613-0073; Paper ID 4, 12 pages.



English abstract:
Multi-Context Systems (MCS) are instances of a nonmonotonic formalism for interlinking heterogeneous knowledge bases in a way such that the information flow is in equilibrium. Recently, algorithms for evaluating distributed MCS have been proposed which compute global system models, called equilibria, by local computation and model exchange. Unfortunately, they suffer from a bottleneck that stems from the way models are exchanged, which limits the applicability to situations with small information interfaces. To push MCS to more realistic and practical scenarios, we present a novel algorithm that computes at most k >= 1 models of an MCS using asynchronous communication. Models are wrapped into packages, and contexts in an MCS continuously stream packages to generate at most k models at the root of the system. We have implemented this algorithm in a new solver for distributed MCS, and show promising experimental results.

Keywords:
Multi-Context Systems, Decentralized Model Computation, Nonmonotonic Reasoning


Electronic version of the publication:
http://ceur-ws.org/Vol-738



Related Projects:
Project Head Thomas Eiter:
Modulare HEX-Programme

Project Head Thomas Eiter:
Net2¿A Network for Enabling Networked Knowledge

Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems


Created from the Publication Database of the Vienna University of Technology.