Generalizing multi-context systems for reactive stream reasoning applications

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Generalizing multi-context systems for reactive stream reasoning applications

Stefan EllmauthalerStefan Ellmauthaler
Stefan Ellmauthaler
Generalizing multi-context systems for reactive stream reasoning applications
In Andrew V. Jones, Nicholas Ng, eds., Proceedings of the 2013 Imperial College Computing Student Workshop (ICCSW 2013), OpenAccess Series in Informatics (OASIcs), 17-24, 2013. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
  • KurzfassungAbstract
    In the field of artificial intelligence (AI), the subdomain of knowledge representation (KR) has the aim to represent, integrate, and exchange knowledge in order to do some reasoning about the given information. During the last decades many different KR-languages were proposed for a variety of certain applications with specific needs. The concept of a managed Multi-Context System (mMCS) was introduced to provide adequate formal tools to interchange and integrate knowledge between different KR-approaches. Another arising field of interest in computer science is the design of online applications, which react directly to (possibly infinite) streams of information. This paper presents a genuine approach to generalize mMCS for online applications with continuous streams of information. Our major goal is to find a good tradeoff between expressiveness and computational complexity.
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{E2013,
  author    = {Stefan Ellmauthaler},
  title     = {Generalizing multi-context systems for reactive stream reasoning
               applications},
  editor    = {Andrew V. Jones and Nicholas Ng},
  booktitle = {Proceedings of the 2013 Imperial College Computing Student
               Workshop (ICCSW 2013)},
  series    = {OpenAccess Series in Informatics (OASIcs)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2013},
  pages     = {17-24},
  doi       = {10.4230/OASIcs.ICCSW.2013.19}
}