Temporal Datalog with Existential Quantification.
Matthias LanzingerMarkus NisslEmanuel SallingerPrzemyslaw Andrzej WalegaPublished in: IJCAI (2023)
Keyphrases
- query answering
- ontology based data access
- existentially quantified
- spatio temporal
- deductive databases
- temporal information
- temporal constraints
- temporal databases
- temporal data
- expressive power
- temporal reasoning
- query language
- temporal evolution
- spatial and temporal
- data complexity
- logic programs
- temporal relations
- temporal analysis
- temporal patterns
- database
- temporal sequences
- logic programming
- datalog programs
- temporal dimension
- time stamped
- inductive logic programming
- predicate invention
- similarity measure
- databases