A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).

Nicola Leone Marco Manna Maria Concetta Morelli Simona Perri

Published in: CoRR (2022)

Keyphrases

expressive power
query language
database languages
knowledge representation languages
highly expressive
deductive databases
formal models

automated reasoning
formal language
real time
formal languages
relational algebra
logic programming
logical reasoning

knowledge representation
relational query languages
meta level
reasoning systems
data complexity
data streams
knowledge base

language independent
sliding window
data management
relational databases
database query languages
fuzzy description logics