Stream Reasoning in Temporal Datalog.
Alessandro RoncaMark KaminskiBernardo Cuenca GrauBoris MotikIan HorrocksPublished in: AAAI (2018)
Keyphrases
- temporal knowledge
- temporal reasoning
- temporal constraints
- spatio temporal
- temporal information
- data streams
- temporal data
- reasoning systems
- deductive databases
- expressive power
- temporal planning
- spatial and temporal
- reasoning tasks
- logic programming
- reasoning process
- query language
- spatial reasoning
- knowledge base
- streaming data
- temporal databases
- automated reasoning
- query answering
- datalog programs
- temporal dimension
- probabilistic reasoning
- temporal patterns
- transitive closure
- spatial information
- sliding window
- reasoning problems
- query processing
- real time