Semantisches Browsen
Aus International Center for Computational Logic
Managed multi-context systems (mMCSs) allo … Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way. They were, however, mainly designed for static scenarios and are therefore not well-suited for dynamic environments in which continuous reasoning over such heterogeneous knowledge with constantly arriving streams of data is necessary. In this paper, we introduce reactive multi-context systems (rMCSs), a framework for reactive reasoning in the presence of heterogeneous knowledge sources and data streams. We show that rMCSs are indeed well-suited for this purpose by illustrating how several typical problems arising in the context of stream reasoning can be handled using them, by showing how inconsistencies possibly occurring in the integration of multiple knowledge sources can be handled, and by arguing that the potential non-determinism of rMCSs can be avoided if needed using an alternative, more skeptical well-founded semantics instead with beneficial computational properties. We also investigate the computational complexity of various reasoning problems related to rMCSs. Finally, we discuss related work, and show that rMCSs do not only generalize mMCSs to dynamic settings, but also capture/extend relevant approaches w.r.t. dynamics in knowledge representation and stream reasoning.ledge representation and stream reasoning. +
@article{BEGKLP2018,
author = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo Gon{\c{c}}alves
and Matthias Knorr and Jo{\~{a}}o Leite and J{\"{o}}rg P{\"{u}}hrer},
title = {Reactive multi-context systems: Heterogeneous reasoning in dynamic
environments},
journal = {Artificial Intelligence},
volume = {256},
year = {2018},
pages = {68-104},
doi = {10.1016/j.artint.2017.11.007}
}
author = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo Gon{\c{c}}alves
and Matthias Knorr and Jo{\~{a}}o Leite and J{\"{o}}rg P{\"{u}}hrer},
title = {Reactive multi-context systems: Heterogeneous reasoning in dynamic
environments},
journal = {Artificial Intelligence},
volume = {256},
year = {2018},
pages = {68-104},
doi = {10.1016/j.artint.2017.11.007}
}
Brewka +
Gerhard +
Gerhard Brewka, Stefan Ellmauthaler, Ricar … Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer<br/> '''[[Article3068|Reactive multi-context systems: Heterogeneous reasoning in dynamic environments]]''' <br/>__NOTOC__Artificial Intelligence, 256:68-104, 2018<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3068|Details]]68|Details]] +
Gerhard Brewka, Stefan Ellmauthaler, Ricar … Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer<br/> '''[[Article3068/en|Reactive multi-context systems: Heterogeneous reasoning in dynamic environments]]''' <br/>__NOTOC__Artificial Intelligence, 256:68-104, 2018<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3068|Details]]68|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. Januar 2021, 08:45:39 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +, Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + und Reactive multi-context systems: Heterogeneous reasoning in dynamic environments +
