Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter +1 more
5/2/2023
cs.LOcs.AI

No confident code implementation found for this paper.

Abstract

In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers; it can then be used to explore the data further or as an explanation of the answers and non-answers. We investigate this query-by-example problem for queries formulated in positive fragments of linear temporal logic LTL over timestamped data, focusing on the design of suitable query languages and the combined and data complexity of deciding whether there exists a query in the given language that separates the given answers from non-answers. We consider both plain LTL queries and those mediated by LTL-ontologies.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology

79% match2023

Fitting Description Logic Ontologies to ABox and Query Examples

78% match2025

Logic Embeddings for Complex Query Answering

76% match1 repo202021

Prompting GPT-3.5 for Text-to-SQL with De-semanticization and Skeleton Retrieval

76% match2023

TempoQR: Temporal Question Reasoning over Knowledge Graphs

75% match1 repo332021

DeSQ: Decomposition-based SPARQL Query Generation

75% match2026

Cite this paper

@article{fortin2023reverse,
  title  = {Reverse Engineering of Temporal Queries Mediated by LTL Ontologies},
  author = {Marie Fortin and Boris Konev and Vladislav Ryzhikov and Yury Savateev and Frank Wolter and Michael Zakharyaschev},
  year   = {2023},
  eprint = {2305.01248},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2305.01248v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2305.01248.svg)](https://codeofpaper.com/paper/2305.01248)

Discussion