Completing Queries: Rewriting of IncompleteWeb Queries under Schema Constraints

Berger, Sacha; Bry, François; Furche, Tim und Häusler, Andreas J. (2007): Completing Queries: Rewriting of IncompleteWeb Queries under Schema Constraints. RR 2007: First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria, 7. - 8. Juni 2007. Antoniou, Grigoris (Hrsg.): In: Web Reasoning and Rule Systems : First International Conference, RR 2007 , Innsbruck , Austria, June 7-8, 2007 ; Proceedings, Berlin u.a.: Springer. S. 319-328

Abstract

Reactive Web systems, Web services, and Web-based publish/ subscribe systems communicate events as XML messages, and in many cases require composite event detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time. Emphasizing language design and formal semantics, we describe the rule-based query language XChangeEQ for detecting composite events. XChangeEQ is designed to completely cover and integrate the four complementary querying dimensions: event data, event composition, temporal relationships, and event accumulation. Semantics are provided as model and fixpoint theories; while this is an established approach for rule languages, it has not been applied for event queries before.

• Dokumententyp: Konferenzbeitrag (Paper)
• Publikationsform: Postprint
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• Ort: Berlin u.a.
• Bemerkung: The final publication is available at link.springer.com
• Sprache: Englisch