中文
相关论文

相关论文: Answering Conjunctive Queries over $\mathcal{EL}$ …

200 篇论文

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…

数据库 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

数据库 · 计算机科学 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…

人工智能 · 计算机科学 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…

数据库 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

机器学习 · 统计学 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…

计算与语言 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

机器学习 · 计算机科学 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…

数据库 · 计算机科学 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…

机器学习 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算与语言 · 计算机科学 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'…

计算机科学中的逻辑 · 计算机科学 2014-06-05 Mathew Joseph , Gabriel Kuper , Luciano Serafini