Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

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

Kurzfassung englisch:
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.

Multi-Context Systems, Decentralized Model Computation, Nonmonotonic Reasoning

Elektronische Version der Publikation:

Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Thomas Eiter:
Net2¿A Network for Enabling Networked Knowledge

Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.