Stream Reasoning in Temporal Datalog.
Alessandro RoncaMark KaminskiBernardo Cuenca GrauBoris MotikIan HorrocksPublished in: CoRR (2017)
Keyphrases
- temporal knowledge
- deductive databases
- temporal constraints
- expressive power
- temporal planning
- temporal reasoning
- temporal information
- knowledge base
- spatio temporal
- spatial and temporal
- query language
- reasoning tasks
- real time
- data streams
- query answering
- data model
- sliding window
- artificial intelligence
- logic programming
- spatial reasoning
- datalog programs
- reasoning systems
- database
- temporal evolution
- knowledge representation and reasoning
- legal reasoning
- reasoning process
- qualitative reasoning
- temporal data
- integrity constraints