Research map / Learning theory and algorithms / Combinatorial and search optimization
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| increase Siemens data size from 32 to 320 months | datalogMTL SQL rewriting · Siemens turbine queries | running time | No clear effect |
| increase number of states from 1 to 19 | datalogMTL SQL rewriting · MesoWest weather queries | running time | No clear effect |
| increase temporal span from 1 to 10 years (NY) | datalogMTL SQL rewriting · MesoWest weather queries | running time | Hurt |
| query with many temporal joins (NormalRestart, CyclonePatternState) | datalogMTL SQL rewriting · Siemens and MesoWest | running time | Hurt |
Closest papers by meaning
- Reasoning over Streaming Data in Metric Temporal Datalog (AAAI 2019 · similarity 0.90)
- Stratified Negation in Datalog with Metric Temporal Operators (AAAI 2021 · similarity 0.89)
- MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators (AAAI 2022 · similarity 0.89)
- Temporal Conjunctive Query Answering via Rewriting (AAAI 2025 · similarity 0.86)
- Goal-Driven Reasoning in DatalogMTL with Magic Sets (AAAI 2025 · similarity 0.84)
- Optimised Storage for Datalog Reasoning (AAAI 2024 · similarity 0.84)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.