A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).
Nicola LeoneMarco MannaMaria Concetta MorelliSimona PerriPublished 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