A Formal Comparison between Datalog-based Languages for Stream Reasoning.
Nicola LeoneMarco MannaMaria Concetta MorelliSimona PerriPublished in: Datalog (2022)
Keyphrases
- expressive power
- knowledge representation languages
- formal models
- database languages
- language independent
- real time
- data streams
- highly expressive
- integrity constraints
- sliding window
- deductive databases
- relational query languages
- logical reasoning
- reasoning process
- context free grammars
- query answering
- case based reasoning
- query language
- meta level
- data complexity
- transitive closure
- cross lingual
- automated reasoning
- reasoning tasks
- legal reasoning
- logic programming
- formal representation
- knowledge base
- interchange format
- databases
- database