English
Related papers

Related papers: Answering Conjunctive Queries over $\mathcal{EL}$ …

200 papers

GQL has recently emerged as the standard query language over graph databases (particularly, the property graph model). Indeed, this is analogous to the role of SQL for relational databases. Unlike SQL, however, fundamental problems…

Databases · Computer Science 2025-10-23 Diego Figueira , Anthony W. Lin , Liat Peterfreund

In this paper, we propose the use of epistemic dependencies to express data protection policies in Controlled Query Evaluation (CQE), which is a form of confidentiality-preserving query answering over ontologies and databases. The resulting…

Artificial Intelligence · Computer Science 2024-05-07 Gianluca Cima , Domenico Lembo , Lorenzo Marconi , Riccardo Rosati , Domenico Fabio Savo

Weighted knowledge bases for description logics with typicality under a "concept-wise" multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons. In this context, Answer Set Programming (ASP) has been shown to…

Artificial Intelligence · Computer Science 2023-03-28 Mario Alviano , Laura Giordano , Daniele Theseider Dupré

Query evaluation over probabilistic databases is known to be intractable in many cases, even in data complexity, i.e., when the query is fixed. Although some restrictions of the queries [19] and instances [4] have been proposed to lower the…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Mikaël Monet , Pierre Senellart

We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these…

Artificial Intelligence · Computer Science 2017-01-06 Jean-François Baget , Meghyn Bienvenu , Marie-Laure Mugnier , Swan Rocher

Several important decision problems on conjunctive queries (CQs) are NP-complete in general but become tractable, and actually highly parallelizable, if restricted to acyclic or nearly acyclic queries. Examples are the evaluation of Boolean…

Databases · Computer Science 2007-05-23 G. Gottlob , N. Leone , F. Scarcello

Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They are present in property paths in SPARQL 1.1, the new standard…

Logic in Computer Science · Computer Science 2014-03-05 Meghyn Bienvenu , Diego Calvanese , Magdalena Ortiz , Mantas Simkus

This papers introduces an algorithm for the solution of multiple kernel learning (MKL) problems with elastic-net constraints on the kernel weights. The algorithm compares very favourably in terms of time and space complexity to existing…

Machine Learning · Statistics 2019-04-08 Luca Citi

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

The goal of Question Answering over Knowledge Graphs (KGQA) is to find answers for natural language questions over a knowledge graph. Recent KGQA approaches adopt a neural machine translation (NMT) approach, where the natural language…

Artificial Intelligence · Computer Science 2021-07-08 Daniel Diomedi , Aidan Hogan

Query optimization is a crucial component for the efficacy of Retrieval-Augmented Generation (RAG) systems. While reinforcement learning (RL)-based agentic and reasoning methods have recently emerged as a promising direction on query…

Artificial Intelligence · Computer Science 2026-01-30 Wei Wen , Sihang Deng , Tianjun Wei , Keyu Chen , Ruizhi Qiao , Xing Sun

Neural link predictors are immensely useful for identifying missing edges in large scale Knowledge Graphs. However, it is still not clear how to use these models for answering more complex queries that arise in a number of domains, such as…

Machine Learning · Computer Science 2021-03-19 Erik Arakelyan , Daniel Daza , Pasquale Minervini , Michael Cochez

We study the complexity and expressive power of conjunctive queries over unranked labeled trees represented using a variety of structure relations such as ``child'', ``descendant'', and ``following'' as well as unary relations for node…

Databases · Computer Science 2007-05-23 Georg Gottlob , Christoph Koch , Klaus U. Schulz

Multi-hop knowledge based question answering (KBQA) is a complex task for natural language understanding. Many KBQA approaches have been proposed in recent years, and most of them are trained based on labeled reasoning path. This hinders…

Machine Learning · Computer Science 2020-05-25 Kechen Qin , Yu Wang , Cheng Li , Kalpa Gunaratna , Hongxia Jin , Virgil Pavlu , Javed A. Aslam

Knowledge graph embeddings (KGE) apply machine learning methods on knowledge graphs (KGs) to provide non-classical reasoning capabilities based on similarities and analogies. The learned KG embeddings are typically used to answer queries by…

Artificial Intelligence · Computer Science 2025-01-28 Yuqicheng Zhu , Nico Potyka , Jiarong Pan , Bo Xiong , Yunjie He , Evgeny Kharlamov , Steffen Staab

This paper is a study of weighted counting of the solutions of acyclic conjunctive queries ($\ACQ$). The unweighted quantifier free version of this problem is known to be tractable (for combined complexity), but it is also known that…

Computational Complexity · Computer Science 2011-12-08 Arnaud Durand , Stefan Mengel

Hybrid logic with binders is an expressive specification language. Its satisfiability problem is undecidable in general. If frames are restricted to N or general linear orders, then satisfiability is known to be decidable, but of…

Computational Complexity · Computer Science 2012-06-13 Stefan Göller , Arne Meier , Martin Mundhenk , Thomas Schneider , Michael Thomas , Felix Weiss

Answering complex queries on incomplete knowledge graphs is a challenging task where a model needs to answer complex logical queries in the presence of missing knowledge. Prior work in the literature has proposed to address this problem by…

Machine Learning · Computer Science 2023-07-12 Erik Arakelyan , Pasquale Minervini , Daniel Daza , Michael Cochez , Isabelle Augenstein

Multi-relation Question Answering is a challenging task, due to the requirement of elaborated analysis on questions and reasoning over multiple fact triples in knowledge base. In this paper, we present a novel model called Interpretable…

Computation and Language · Computer Science 2018-06-04 Mantong Zhou , Minlie Huang , Xiaoyan Zhu

The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the `context'…

Logic in Computer Science · Computer Science 2014-06-05 Mathew Joseph , Gabriel Kuper , Luciano Serafini