Querying Log Data with Metric Temporal Logic

DOI10.1613/jair.1.11229zbMath1451.68087arXiv1703.08982OpenAlexW2600455691WikidataQ129290024 ScholiaQ129290024MaRDI QIDQ4585057

Vladislav Ryzhikov, Elem Güzel Kalaycı, Guohui Xiao, Sebastian F. Brandt, Michael Zakharyashchev

Publication date: 6 September 2018

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1703.08982

zbMATH Keywords

queryontology-based data accesstemporal log data

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (10)

The delay and window size problems in rule-based stream reasoning ⋮ Incremental Event Calculus for Run-Time Reasoning ⋮ Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic ⋮ Towards Metric Temporal Answer Set Programming ⋮ Theorem proving for pointwise metric temporal logic over the naturals via translations ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ Can you answer while you wait? ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

This page was built for publication: Querying Log Data with Metric Temporal Logic