English
Related papers

Related papers: How to Approximate Ontology-Mediated Queries

200 papers

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

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

We study the enumeration of answers to ontology-mediated queries (OMQs) where the ontology is a set of guarded TGDs or formulated in the description logic ELI and the query is a conjunctive query (CQ). In addition to the traditional notion…

Databases · Computer Science 2022-03-18 Carsten Lutz , Marcin Przybyłko

We analyze the data complexity of ontology-mediated querying where the ontologies are formulated in a description logic (DL) of the ALC family and queries are conjunctive queries, positive existential queries, or acyclic conjunctive…

Artificial Intelligence · Computer Science 2023-06-22 Carsten Lutz , Frank Wolter

We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes…

Logic in Computer Science · Computer Science 2019-07-02 Vladislav Ryzhikov , Przemyslaw Andrzej Walega , Michael Zakharyaschev

We study the evaluation of ontology-mediated queries (OMQs) on databases of bounded cliquewidth from the viewpoint of parameterized complexity theory. As the ontology language, we consider the description logics $\mathcal{ALC}$ and…

Databases · Computer Science 2022-09-15 Carsten Lutz , Leif Sabellek , Lukas Schulze

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 consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact…

Artificial Intelligence · Computer Science 2020-10-23 Cristina Feier , Carsten Lutz , Frank Wolter

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 study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe…

Artificial Intelligence · Computer Science 2020-06-17 Anneke Haga , Carsten Lutz , Johannes Marti , Frank Wolter

Ontology alignment, a critical process in the Semantic Web for detecting relationships between different ontologies, has traditionally focused on identifying so-called "simple" 1-to-1 relationships through class labels and properties…

Artificial Intelligence · Computer Science 2024-07-24 Reihaneh Amini , Sanaz Saki Norouzi , Pascal Hitzler , Reza Amini

Ontological queries are evaluated against an ontology rather than directly on a database. The evaluation and optimization of such queries is an intriguing new problem for database research. In this paper we discuss two important aspects of…

Databases · Computer Science 2011-12-05 Georg Gottlob , Giorgio Orsi , Andreas Pieris

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

This paper studies the complexity of query evaluation for databases whose relations are partially ordered; the problem commonly arises when combining or transforming ordered data from multiple sources. We focus on queries in a useful…

Databases · Computer Science 2019-05-30 Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart

Ontologies are known to improve the accuracy of Large Language Models (LLMs) when translating natural language queries into a formal query language like SQL or SPARQL. There are two ways to leverage ontologies when working with LLMs. One is…

Databases · Computer Science 2024-10-15 C. Civili , E. Sherkhonov , R. E. K. Stirewalt

We show that, for OWL 2 QL ontology-mediated queries with (i) ontologies of bounded depth and conjunctive queries of bounded treewidth, (ii) ontologies of bounded depth and bounded-leaf tree-shaped conjunctive queries, and (iii) arbitrary…

Logic in Computer Science · Computer Science 2016-04-19 Meghyn Bienvenu , Stanislav Kikot , Roman Kontchakov , Vladimir V. Podolskii , Michael Zakharyaschev

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

We study a fitting problem inspired by ontology-mediated querying: given a collection of positive and negative examples of the form $(\mathcal{A},q)$ with $\mathcal{A}$ an ABox and $q$ a Boolean query, we seek an ontology $\mathcal{O}$ that…

Artificial Intelligence · Computer Science 2025-08-18 Maurice Funk , Marvin Grosser , Carsten Lutz

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

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
‹ Prev 1 2 3 10 Next ›