中文
相关论文

相关论文: Temporal Conjunctive Query Answering in the Extend…

200 篇论文

Temporal knowledge graph question answering (TKGQA) poses a significant challenge task, due to the temporal constraints hidden in questions and the answers sought from dynamic structured knowledge. Although large language models (LLMs) have…

计算与语言 · 计算机科学 2024-07-25 Yifu Gao , Linbo Qiao , Zhigang Kan , Zhihua Wen , Yongquan He , Dongsheng Li

We investigate ontology-based data access to temporal data. We consider temporal ontologies given in linear temporal logic LTL interpreted over discrete time (Z,<). Queries are given in LTL or MFO(<), monadic first-order logic with a…

计算机科学中的逻辑 · 计算机科学 2021-05-26 Alessandro Artale , Roman Kontchakov , Alisa Kovtunova , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev

Knowledge Graph Question Answering (KGQA) involves retrieving facts from a Knowledge Graph (KG) using natural language queries. A KG is a curated set of facts consisting of entities linked by relations. Certain facts include also temporal…

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),…

数据库 · 计算机科学 2014-05-13 Georg Gottlob , Giorgio Orsi , Andreas Pieris

Aiming at ontology-based data access to temporal data, we design two-dimensional temporal ontology and query languages by combining logics from the (extended) DL-Lite family with linear temporal logic LTL over discrete time (Z,<). Our main…

计算机科学中的逻辑 · 计算机科学 2022-10-24 Alessandro Artale , Roman Kontchakov , Alisa Kovtunova , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev

In ontology-based data access (OBDA), the classical database is enhanced with an ontology in the form of logical assertions generating new intensional knowledge. A powerful form of such logical assertions is the tuple-generating…

人工智能 · 计算机科学 2018-08-03 Vernon Asuncion , Yan Zhang , Heng Zhang , Yun Bai , Weisheng Si

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…

人工智能 · 计算机科学 2019-12-17 Shqiponja Ahmetaj , Magdalena Ortiz , Mantas Simkus

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…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Carsten Lutz , Inanc Seylan , Frank Wolter

Question answering (QA) system aims at retrieving precise information from a large collection of documents against a query. This paper describes the architecture of a Natural Language Question Answering (NLQA) system for a specific domain…

计算与语言 · 计算机科学 2013-11-14 Athira P. M. , Sreeja M. , P. C. Reghu Raj

Answering factual questions with temporal intent over knowledge graphs (temporal KGQA) attracts rising attention in recent years. In the generation of temporal queries, existing KGQA methods ignore the fact that some intrinsic connections…

计算与语言 · 计算机科学 2023-05-12 Wentao Ding , Hao Chen , Huayu Li , Yuzhong Qu

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…

数据库 · 计算机科学 2011-12-05 Georg Gottlob , Giorgio Orsi , Andreas Pieris

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

计算复杂性 · 计算机科学 2019-05-02 Carsten Lutz , Leif Sabellek

Large Language Models (LLMs), despite their success in question answering, exhibit limitations in complex multi-hop question answering (MQA) tasks that necessitate non-linear, structured reasoning. This limitation stems from their inability…

计算与语言 · 计算机科学 2025-09-25 Haonan Bian , Yutao Qi , Rui Yang , Yuanxi Che , Jiaqian Wang , Heming Xia , Ranran Zhen

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…

人工智能 · 计算机科学 2023-06-22 Carsten Lutz , Frank Wolter

Existential rules, also known as data dependencies in Databases, have been recently rediscovered as a promising family of languages for Ontology-based Query Answering. In this paper, we prove that disjunctive embedded dependencies exactly…

人工智能 · 计算机科学 2016-04-28 Heng Zhang , Yan Zhang , Jia-Huai You

Our concern is the overhead of answering OWL 2 QL ontology-mediated queries (OMQs) in ontology-based data access compared to evaluating their underlying tree-shaped and bounded treewidth conjunctive queries (CQs). We show that OMQs with…

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…

计算机科学中的逻辑 · 计算机科学 2015-06-04 Vladimir V. Podolskii

While recent advances in large language models have significantly improved Text-to-SQL and table question answering systems, most existing approaches assume that all query-relevant information is explicitly represented in structured…

数据库 · 计算机科学 2026-04-06 Nima Shahbazi , Seiji Maekawa , Nikita Bhutani , Estevam Hruschka

Question answering over knowledge bases (KB-QA) poses challenges in handling complex questions that need to be decomposed into sub-questions. An important case, addressed here, is that of temporal questions, where cues for temporal…

信息检索 · 计算机科学 2021-01-26 Zhen Jia , Abdalghani Abujabal , Rishiraj Saha Roy , Jannik Stroetgen , Gerhard Weikum

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…

数据库 · 计算机科学 2022-09-15 Carsten Lutz , Leif Sabellek , Lukas Schulze