paper-with-me

Papers

Enriching Ontology-based Data Access with Provenance (Extended Version)

2019-06-01 · Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Penaloza, Guohui Xiao

Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through mappings to an ontology. In OBDA, it is often difficult to reconstruct why a tuple occurs in the answer of a query. We address this challenge by enriching OBDA with provenance semirings, taking inspiration from database theory. In particular, we investigate the problems of (i) deciding whether a provenance annotated OBDA instance entails a provenance annotated conjunctive query, and (ii) computing a polynomial representing the provenance of a query entailed by a provenance annotated OBDA instance. Differently from pure databases, in our case these polynomials may be infinite. To regain finiteness, we consider idempotent semirings, and study the complexity in the case of DL-Lite ontologies. We implement Task (ii) in a state-of-the-art OBDA system and show the practical feasibility of the approach through an extensive evaluation against two popular benchmarks.

📄 PDF Abstract BibTeX arXiv:1906.00179

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Provenance for the Description Logic ELHr

2020-01-21 · Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu

We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which…

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology

2024-08-02 · Tim Prudhomme, Giacomo De Colle, Austin Liebers, Alec Sculley 외

The Provenance Ontology (PROV-O) is a World Wide Web Consortium (W3C) recommended ontology used to structure data about provenance across a wide variety of domains. Basic Formal Ontology (BFO) is a top-level ontology ISO…

Semiring Provenance for Lightweight Description Logics

2023-10-25 · Camille Bourgaux, Ana Ozaki, Rafael Peñaloza

We investigate semiring provenance--a successful framework originally defined in the relational database setting--for description logics. In this context, the ontology axioms are annotated with elements of a commutative …

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

2013-04-18 · Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends t…

OPTION: OPTImization Algorithm Benchmarking ONtology

2021-04-24 · Ana Kostovska, Diederick Vermetten, Carola Doerr, Sašo Džeroski 외

Many platforms for benchmarking optimization algorithms offer users the possibility of sharing their experimental data with the purpose of promoting reproducible and reusable research. However, different platforms use di…

BenchmarkingData Integration