QDEF and Its Approximations in OBDM

08/23/2021
by   Gianluca Cima, et al.
2

Given an input dataset (i.e., a set of tuples), query definability in Ontology-based Data Management (OBDM) amounts to find a query over the ontology whose certain answers coincide with the tuples in the given dataset. We refer to such a query as a characterization of the dataset with respect to the OBDM system. Our first contribution is to propose approximations of perfect characterizations in terms of recall (complete characterizations) and precision (sound characterizations). A second contribution is to present a thorough complexity analysis of three computational problems, namely verification (check whether a given query is a perfect, or an approximated characterization of a given dataset), existence (check whether a perfect, or a best approximated characterization of a given dataset exists), and computation (compute a perfect, or best approximated characterization of a given dataset).

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

11/18/2020

Query Expressibility and Verification in Ontology-Based Data Access

In ontology-based data access, multiple data sources are integrated usin...
01/18/2014

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

To achieve scalability of query answering, the developers of Semantic We...
11/02/2021

A Finite Characterization of Perfect Equilibria

Govindan and Klumpp [7] provided a characterization of perfect equilibri...
12/28/2019

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs

Ontology-mediated querying and querying in the presence of constraints a...
04/30/2021

Complementation in t-perfect graphs

Inspired by applications of perfect graphs in combinatorial optimization...
06/14/2019

A local characterization for perfect plane near-triangulations

We derive a local criterion for a plane near-triangulated graph to be pe...
07/13/2017

Armstrong's Axioms and Navigation Strategies

The paper investigates navigability with imperfect information. It shows...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.