Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)

05/30/2019
by   Vladislav Ryzhikov, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/15/2020

First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

We investigate ontology-based data access to temporal data. We consider ...
research
05/29/2021

Temporal Minimal-World Semantics for Sparse ABoxes

Ontology-mediated query answering is a popular paradigm for enriching an...
research
04/18/2013

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

Our aim is to investigate ontology-based data access over temporal data ...
research
08/02/2022

Conjunctive Queries for Logic-Based Information Extraction

This thesis offers two logic-based approaches to conjunctive queries in ...
research
11/12/2021

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

Aiming at ontology-based data access to temporal data, we design two-dim...
research
06/07/2020

A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom

Aiming to understand the data complexity of answering conjunctive querie...
research
03/02/2023

Converting the Suggested Upper Merged Ontology to Typed First-order Form

We describe the translation of the Suggested Upper Merged Ontology (SUMO...

Please sign up or login with your details

Forgot password? Click here to reset