The delay and window size problems in rule-based stream reasoning

DOI10.1016/J.ARTINT.2022.103668MaRDI QIDQ2124457zbMATH OpenOpenAlexFDO

Authors Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Publication date 11 April 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2022.103668

zbMATH Keywords

temporal reasoningontologiesknowledge representation and reasoningstream processingstream reasoning

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites work

• scientific article; zbMATH DE number 5595162 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• A brief account of runtime verification
• Bounded situation calculus action theories
• C-SPARQL: a continuous query language for RDF data streams
• Datalog with integer periodicity constraints
• Equivalence of Datalog queries is undecidable
• FDNC: decidable nonmonotonic disjunctive logic programs with function symbols
• LARS: a logic-based framework for analytic reasoning over streams
• Maintenance of datalog materialisations revisited
• On the expressiveness of temporal logic programming
• Querying log data with metric temporal logic
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
• Temporal logic programming
• The DLV system for knowledge representation and reasoning
• Ticker: a system for incremental ASP-based stream reasoning

Describes a project that uses

Uses Software

• C-SPARQL
• SPARQL
• Graal
• LARS
• DatalogMTL

This page was built for publication: The delay and window size problems in rule-based stream reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2124457)