English
Related papers

Related papers: Containment of Simple Regular Path Queries

200 papers

Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full…

Formal Languages and Automata Theory · Computer Science 2020-09-04 Stefan Hoffmann

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

Many problems, especially those with a composite structure, can naturally be expressed in higher order logic. From a KR perspective modeling these problems in an intuitive way is a challenging task. In this paper we study the graph mining…

Logic in Computer Science · Computer Science 2016-09-01 Matthias van der Hallen , Sergey Paramonov , Michael Leuschel , Gerda Janssens

This work studies the problem of constructing a representative workload from a given input analytical query workload where the former serves as an approximation with guarantees of the latter. We discuss our work in the context of workload…

Databases · Computer Science 2021-02-04 Shaleen Deep , Anja Gruenheid , Paraschos Koutris , Jeffrey Naughton , Stratis Viglas

We study the problem of enumerating answers of Conjunctive Queries ranked according to a given ranking function. Our main contribution is a novel algorithm with small preprocessing time, logarithmic delay, and non-trivial space usage during…

Databases · Computer Science 2025-05-21 Shaleen Deep , Paraschos Koutris

The study of graph queries in database theory has spanned more than three decades, resulting in a multitude of proposals for graph query languages. These languages differ in the mechanisms. We can identify three main families of languages,…

Databases · Computer Science 2025-04-15 Michael Benedikt , Anthony Widjaja Lin , Di-De Yen

Large language models (LLMs) often struggle with knowledge-intensive tasks due to a lack of background knowledge and a tendency to hallucinate. To address these limitations, integrating knowledge graphs (KGs) with LLMs has been intensively…

Computation and Language · Computer Science 2025-06-13 Yilin Xiao , Chuang Zhou , Qinggang Zhang , Bo Li , Qing Li , Xiao Huang

Constrained Optimum Path (COP) problems appear in many real-life applications, especially on communication networks. Some of these problems have been considered and solved by specific techniques which are usually difficult to extend. In…

Artificial Intelligence · Computer Science 2009-10-08 Quang Dung Pham , Yves Deville , Pascal Van Hentenryck

Consistent Query Answering (CQA) is the problem of computing from a database the answers to a query that are consistent with respect to certain integrity constraints that the database, as a whole, may fail to satisfy. Consistent answers…

Databases · Computer Science 2007-05-23 Andrei Lopatenko , Leopoldo Bertossi

Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-mediated querying, TGDs can formalize the ontology and thus…

Databases · Computer Science 2020-01-01 Pablo Barcelo , Victor Dalmau , Cristina Feier , Carsten Lutz , Andreas Pieris

The Container Relocation Problem (CRP) is concerned with finding a sequence of moves of containers that minimizes the number of relocations needed to retrieve all containers, while respecting a given order of retrieval. However, the…

Data Structures and Algorithms · Computer Science 2017-10-13 Virgile Galle , Setareh Borjian Boroujeni , Vahideh H. Manshadi , Cynthia Barnhart , Patrick Jaillet

Querying knowledge bases using ontologies is usually performed using dedicated query languages, question-answering systems, or visual query editors for Knowledge Graphs. We propose a novel approach that enables users to query the knowledge…

Human-Computer Interaction · Computer Science 2025-12-02 Benedikt Kantz , Kevin Innerebner , Peter Waldert , Stefan Lengauer , Elisabeth Lex , Tobias Schreck

In ontology-based data access, multiple data sources are integrated using an ontology and mappings. In practice, this is often achieved by a bootstrapping process, that is, the ontology and mappings are first designed to support only the…

Databases · Computer Science 2020-11-19 Carsten Lutz , Johannes Marti , Leif Sabellek

Consistent query answering is an inconsistency tolerant approach to obtaining semantically correct answers from a database that may be inconsistent with respect to its integrity constraints. In this work we formalize the notion of…

Databases · Computer Science 2011-06-09 M. Andrea Rodríguez , Leopoldo Bertossi , Monica Caniupan

We consider answering queries where the underlying data is available only over limited interfaces which provide lookup access to the tuples matching a given binding, but possibly restricting the number of output tuples returned. Interfaces…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Michael Benedikt

Given a regular expression $R$ and a string $Q$, the regular expression parsing problem is to determine if $Q$ matches $R$ and if so, determine how it matches, e.g., by a mapping of the characters of $Q$ to the characters in $R$. Regular…

Data Structures and Algorithms · Computer Science 2019-01-30 Philip Bille , Inge Li Gørtz

Document databases are becoming popular, but how to present complex document query to obtain useful information from the document remains an important topic to study. In this paper, we describe the design issues of a pattern-based document…

Databases · Computer Science 2015-04-16 Xuhui Li , Mengchi Liu , Xiaoying Wu , Shanfeng Zhu

We prove a complexity dichotomy for the resilience problem for unions of conjunctive digraph queries (i.e., for existential positive sentences over the signature $\{R\}$ of directed graphs). Specifically, for every union $\mu$ of…

Logic · Mathematics 2026-01-12 Manuel Bodirsky , Žaneta Semanišinová

Path queries on a knowledge graph can be used to answer compositional questions such as "What languages are spoken by people living in Lisbon?". However, knowledge graphs often have missing facts (edges) which disrupts path queries. Recent…

Computation and Language · Computer Science 2015-08-20 Kelvin Guu , John Miller , Percy Liang

Answering complex logical queries on incomplete knowledge graphs (KGs) with missing edges is a fundamental and important task for knowledge graph reasoning. The query embedding method is proposed to answer these queries by jointly encoding…

Computation and Language · Computer Science 2022-04-28 Jiaxin Bai , Zihao Wang , Hongming Zhang , Yangqiu Song