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

DOI10.1016/j.artint.2022.103668OpenAlexW4210281750MaRDI QIDQ2124457

Mark Kaminski, Alessandro Ronca, 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)

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounded situation calculus action theories
• Temporal logic programming
• LARS: a logic-based framework for analytic reasoning over streams
• On the expressiveness of temporal logic programming
• Maintenance of datalog materialisations revisited
• A brief account of runtime verification
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
• FDNC
• C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS
• Equivalence of Datalog queries is undecidable
• Datalog with integer periodicity constraints
• Querying Log Data with Metric Temporal Logic
• Ticker: A system for incremental ASP-based stream reasoning
• The DLV system for knowledge representation and reasoning

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