<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Nonmonotonic Multi-Context Systems in Dynamic Environments?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Thomas Eiter</string-name>
          <email>eiter@kr.tuwien.ac.at</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Institut fu ̈r Informationssysteme, Technische Universita ̈t Wien Favoritenstraße 9-11</institution>
          ,
          <addr-line>A-1040 Vienna</addr-line>
          ,
          <country country="AT">Austria</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Multi-context systems (MCS) have been developed as a means for interlinking stand-alone knowledge bases, called contexts, via bridge rules for information exchange. Expressive MCS can host heterogeneous components with different (possibly nonmonotonic) semantics, and allow to capture a range of application logics, providing a versatile framework for interlinking heterogenous knowledge bases. A underlying assumption of MCS is, however, that the underlying collection of knowledge bases and their interlinkage is fixed. This hinders, however, to usage of MCS in an open or dynamic environment, where the available knowledge bases might change. To improve on this aspect, recent work at TU Wien developed Dynamic MCS, which consist of schematic contexts where part of the information interlinkage can remain open at design time; a concrete linkage is established by a configuration step at run time. In this talk, we present dynamic MCS, methods for distributed configuration, and some results of an experimental implementation.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>