English
Related papers

Related papers: Query Expressibility and Verification in Ontology-…

200 papers

Ontology-based data access is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting is that of an ontology-mediated query, which is a database…

Databases · Computer Science 2013-06-07 Meghyn Bienvenu , Balder ten Cate , Carsten Lutz , Frank Wolter

In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic (DL) or using existential rules. In the literature, there…

Logic in Computer Science · Computer Science 2022-08-31 Christian Alrabbaa , Stefan Borgwardt , Patrick Koopmann , Alisa Kovtunova

In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology. To correctly compute answers to queries, it is necessary to perform complex reasoning over the constraints…

Databases · Computer Science 2022-08-17 Christian Alrabbaa , Stefan Borgwardt , Patrick Koopmann , Alisa Kovtunova

We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0,…

Computational Complexity · Computer Science 2019-05-02 Carsten Lutz , Leif Sabellek

In ontology-based data access, databases are connected to an ontology via mappings from queries over the database to queries over the ontology. In this paper, we consider mappings from relational databases to first-order ontologies, and…

Artificial Intelligence · Computer Science 2016-07-08 Daniel P. Lupp , Evgenij Thorstensen

In the context of ontology-mediated querying with description logics (DLs), we study the data complexity of queries in which selected predicates can be closed (OMQCs). We provide a non-uniform analysis, aiming at a classification of the…

Logic in Computer Science · Computer Science 2023-06-22 Carsten Lutz , Inanc Seylan , Frank Wolter

Across all fields of academic study, experts cite their sources when sharing information. While large language models (LLMs) excel at synthesizing information, they do not provide reliable citation to sources, making it difficult to trace…

Computation and Language · Computer Science 2024-11-27 Theodora Worledge , Tatsunori Hashimoto , Carlos Guestrin

Ontology-based data access (OBDA) is a popular approach for integrating and querying multiple data sources by means of a shared ontology. The ontology is linked to the sources using mappings, which assign views over the data to ontology…

Artificial Intelligence · Computer Science 2017-05-22 Charalampos Nikolaou , Egor V. Kostylev , George Konstantinidis , Mark Kaminski , Bernardo Cuenca Grau , Ian Horrocks

The containment problem of Datalog queries is well known to be undecidable. There are, however, several Datalog fragments for which containment is known to be decidable, most notably monadic Datalog and several "regular" query languages on…

Databases · Computer Science 2014-07-01 Pierre Bourhis , Markus Krötzsch , Sebastian Rudolph

In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over…

Databases · Computer Science 2020-07-30 Pablo Barcelo , Cristina Feier , Carsten Lutz , Andreas Pieris

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.…

Databases · Computer Science 2019-06-04 Diego Calvanese , Davide Lanti , Ana Ozaki , Rafael Penaloza , Guohui Xiao

In ontology-based data access (OBDA), users are provided with a conceptual view of a (relational) data source that abstracts away details about data storage. This conceptual view is realized through an ontology that is connected to the data…

Databases · Computer Science 2018-02-05 Davide Lanti , Guohui Xiao , Diego Calvanese

Ontology-mediated query answering (OMQA) is a promising approach to data access and integration that has been actively studied in the knowledge representation and database communities for more than a decade. The vast majority of work on…

Logic in Computer Science · Computer Science 2020-09-22 Meghyn Bienvenu , Quentin Manière , Michaël Thomazo

We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process that we call focusing, which allows to obtain a schema for a…

Logic in Computer Science · Computer Science 2019-04-02 Tomasz Gogacz , Víctor Gutiérrez-Basulto , Yazmín A. Ibáñez-García , Filip Murlak , Magdalena Ortiz , Mantas Šimkus

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…

Artificial Intelligence · Computer Science 2021-08-24 Gianluca Cima , Federico Croce , Maurizio Lenzerini

Reproducibility, traceability, and transparency in testing cyber-physical energy systems are crucial for scientific advancement and cross-laboratory collaboration. Current experimentation and test documentation practices lack formal…

Systems and Control · Electrical Eng. & Systems 2026-04-22 Kai Heussen , Jawad Kazmi , Narges Mehran , Artjoms Obushevs , Terence O'Donnell , Thomas I. Strasser

Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping. In this…

Artificial Intelligence · Computer Science 2013-07-03 Marcelo Arenas , Elena Botoeva , Diego Calvanese , Vladislav Ryzhikov

In many scenarios, complete and incomplete information coexist. For this reason, the knowledge representation and database communities have long shown interest in simultaneously supporting the closed- and the open-world views when reasoning…

Artificial Intelligence · Computer Science 2019-12-17 Shqiponja Ahmetaj , Magdalena Ortiz , Mantas Simkus

Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without…

Logic in Computer Science · Computer Science 2015-06-04 Vladimir V. Podolskii

Ontological queries are evaluated against a knowledge base consisting of an extensional database and an ontology (i.e., a set of logical assertions and constraints which derive new intensional knowledge from the extensional database),…

Databases · Computer Science 2014-05-13 Georg Gottlob , Giorgio Orsi , Andreas Pieris
‹ Prev 1 2 3 10 Next ›