Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology

Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
6/13/2023
cs.AIcs.DBcs.LO

No confident code implementation found for this paper.

Abstract

Algorithms for learning database queries from examples and unique characterisations of queries by examples are prominent starting points for developing automated support for query construction and explanation. We investigate how far recent results and techniques on learning and unique characterisations of atemporal queries mediated by an ontology can be extended to temporal data and queries. Based on a systematic review of the relevant approaches in the atemporal case, we obtain general transfer results identifying conditions under which temporal queries composed of atemporal ones are (polynomially) learnable and uniquely characterisable.

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

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

79% match2023

TempoQR: Temporal Question Reasoning over Knowledge Graphs

75% match1 repo332021

TempTabQA: Temporal Question Answering for Semi-Structured Tables

75% match2023

Fitting Description Logic Ontologies to ABox and Query Examples

74% match2025

Structured Case-based Reasoning for Inference-time Adaptation of Text-to-SQL parsers

74% match2023

The Complexity of Why-Provenance for Datalog Queries

73% match2023

Cite this paper

@article{jung2023unique,
  title  = {Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology},
  author = {Jean Christoph Jung and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev},
  year   = {2023},
  eprint = {2306.07662},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2306.07662v3}
}

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/2306.07662.svg)](https://codeofpaper.com/paper/2306.07662)

Discussion