Exploring foci of:
doi.org
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics
July 2019 • Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael Zakharyaschev
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes of ontology-mediated queries answering which can be done in AC0, NC1, L, NL, P, and coNP for data complexity, provide their rewritings to first-order logic and its extensions with primitive recursion, transitive closure or datalog, and establish lower complexity bounds.
Computer Science
Ontology
Theoretical Computer Science
Recursion (Computer Science)
Programming Language
Mathematics
Discrete Mathematics
Physics
Epistemology
Quantum Mechanics
Philosophy