Ontology-mediated query answering over temporal data: A survey

A Artale, R Kontchakov, A Kovtunova, V Ryzhikov… - 2017 - eprints.bbk.ac.uk
We discuss the use of various temporal knowledge representation formalisms for ontology-
mediated query answering over temporal data. In particular, we analyse ontology and query …

Ontology-based data access with a horn fragment of metric temporal logic

S Brandt, EG Kalaycı, R Kontchakov… - Proceedings of the …, 2017 - ojs.aaai.org
We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal
logic MTL, as a language for ontology-based access to temporal log data. We show that …

Querying log data with metric temporal logic

S Brandt, EG Kalaycı, V Ryzhikov, G **ao… - Journal of Artificial …, 2018 - jair.org
We propose a novel framework for ontology-based access to temporal log data using a
datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We …

A cookbook for temporal conceptual data modelling with description logics

A Artale, R Kontchakov, V Ryzhikov… - ACM Transactions on …, 2014 - dl.acm.org
We design temporal description logics (TDLs) suitable for reasoning about temporal
conceptual data models and investigate their computational complexity. Our formalisms are …

Temporalizing rewritable query languages over knowledge bases

S Borgwardt, M Lippmann, V Thost - Journal of Web Semantics, 2015 - Elsevier
Ontology-based data access (OBDA) generalizes query answering in relational databases. It
allows to query a database by using the language of an ontology, abstracting from the actual …

First-order rewritability of temporal ontology-mediated queries

A Artale, R Kontchakov, A Kovtunova… - Proceedings of the …, 2015 - bia.unibz.it
Aiming at ontology-based data access over temporal, in particular streaming data, we
design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with …

Temporal query entailment in the description logic SHQ

F Baader, S Borgwardt, M Lippmann - Journal of Web Semantics, 2015 - Elsevier
Ontology-based data access (OBDA) generalizes query answering in databases towards
deductive entailment since (i) the fact base is not assumed to contain complete knowledge …

First-order rewritability of ontology-mediated queries in linear temporal logic

A Artale, R Kontchakov, A Kovtunova, V Ryzhikov… - Artificial Intelligence, 2021 - Elsevier
We investigate ontology-based data access to temporal data. We consider temporal
ontologies given in linear temporal logic LTL interpreted over discrete time (Z,<). Queries are …

First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries

A Artale, R Kontchakov, A Kovtunova, V Ryzhikov… - Journal of Artificial …, 2022 - jair.org
Aiming at ontology-based data access to temporal data, we design two-dimensional
temporal ontology and query languages by combining logics from the (extended) DL-Lite …

[PDF][PDF] Temporal query answering in the description logic EL

S Borgwardt, V Thost - Twenty-Fourth International Joint Conference on …, 2015 - Citeseer
Context-aware systems use data collected at runtime to recognize certain predefined
situations and trigger adaptations. This can be implemented using ontology-based data …