English
Related papers

Related papers: Answering Regular Path Queries Over SQ Ontologies

200 papers

The proliferation of contextualized knowledge in the Semantic Web (SW) has led to the popularity of knowledge formats such as \emph{quads} in the SW community. A quad is an extension of an RDF triple with contextual information of the…

Databases · Computer Science 2015-12-15 Mathew Joseph , Gabriel Kuper , Till Mossakowski , Luciano Serafini

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology…

Logic in Computer Science · Computer Science 2013-05-01 Alessandro Artale , Roman Kontchakov , Frank Wolter , Michael Zakharyaschev

Inquiries such as whether a task A depends on a task B, whether an author A has been influenced by a paper B, whether a certain protein is associated with a specific biological process or molecular function, or whether class A inherits from…

Data Structures and Algorithms · Computer Science 2024-05-02 Giorgos Kritikakis , Ioannis G Tollis

We study a group of new methods to solve an open problem that is the shortest paths problem on a given fix-weighted instance. It is the real significance at a considerable altitude to reach our aim to meet these qualities of generic,…

Discrete Mathematics · Computer Science 2016-11-30 Yong Tan

Question Answering (QA) is fundamental to natural language processing in that most nlp problems can be phrased as QA (Kumar et al., 2015). Current weakly supervised memory network models that have been proposed so far struggle at answering…

Neural and Evolutionary Computing · Computer Science 2015-12-24 Ethan Caballero

Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on reasoning frameworks for path expressions where node…

Logic in Computer Science · Computer Science 2010-06-02 Everardo Barcenas , Pierre Geneves , Nabil Layaida , Alan Schmitt

Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the…

Artificial Intelligence · Computer Science 2014-07-28 Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher

Reading comprehension models are based on recurrent neural networks that sequentially process the document tokens. As interest turns to answering more complex questions over longer documents, sequential reading of large portions of text…

Computation and Language · Computer Science 2018-09-11 Mor Geva , Jonathan Berant

Representation learning of knowledge bases (KBs) aims to embed both entities and relations into a low-dimensional space. Most existing methods only consider direct relations in representation learning. We argue that multiple-step relation…

Computation and Language · Computer Science 2015-08-18 Yankai Lin , Zhiyuan Liu , Huanbo Luan , Maosong Sun , Siwei Rao , Song Liu

The inherent capabilities of a language model (LM) and the reasoning strategies it employs jointly determine its performance in reasoning tasks. While test-time scaling is regarded as an effective approach to tackling complex reasoning…

Computation and Language · Computer Science 2025-05-27 Zhihong Pan , Kai Zhang , Yuze Zhao , Yupeng Han

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

Chase algorithms are indispensable in the domain of knowledge base querying, which enable the extraction of implicit knowledge from a given database via applications of rules from a given ontology. Such algorithms have proved beneficial in…

Logic in Computer Science · Computer Science 2023-06-06 Tim S. Lyon , Piotr Ostropolski-Nalewaja

Short-term route prediction on road networks allows us to anticipate the future trajectories of road users, enabling various applications ranging from dynamic traffic control to personalized navigation. Despite recent advances in this area,…

Social and Information Networks · Computer Science 2025-10-02 Yihong Tang , Zhan Zhao , Weipeng Deng , Shuyu Lei , Yuebing Liang , Zhenliang Ma

The task of Question Answering has gained prominence in the past few decades for testing the ability of machines to understand natural language. Large datasets for Machine Reading have led to the development of neural models that cater to…

Computation and Language · Computer Science 2018-06-20 Soumya Wadhwa , Khyathi Raghavi Chandu , Eric Nyberg

Question Answering (QA) is a task in natural language processing that has seen considerable growth after the advent of transformers. There has been a surge in QA datasets that have been proposed to challenge natural language processing…

Computation and Language · Computer Science 2021-10-08 Kate Pearce , Tiffany Zhan , Aneesh Komanduri , Justin Zhan

Knowledge Graph Question Answering (KGQA) simplifies querying vast amounts of knowledge stored in a graph-based model using natural language. However, the research has largely concentrated on English, putting non-English speakers at a…

Computation and Language · Computer Science 2024-07-09 Nikit Srivastava , Mengshi Ma , Daniel Vollmers , Hamada Zahera , Diego Moussallem , Axel-Cyrille Ngonga Ngomo

We present an output-sensitive algorithm for evaluating an acyclic Conjunctive Regular Path Query (CRPQ). Its complexity is written in terms of the input size, the output size, and a well-known parameter of the query that is called the…

Databases · Computer Science 2026-03-17 Mahmoud Abo Khamis , Alexandru-Mihai Hurjui , Ahmet Kara , Dan Olteanu , Dan Suciu

Self-evolving search agents reduce reliance on human-written training questions by generating and solving their own search tasks. We build on Search Self-Play (SSP), a representative Proposer and Solver framework in which questions are…

Artificial Intelligence · Computer Science 2026-05-08 Huyu Wu , Jun Liu , Xiaochi Wei , Yan Gao , Yi Wu , Yao Hu

Question answering (QA) is a high-level ability of natural language processing. Most extractive ma-chine reading comprehension models focus on factoid questions (e.g., who, when, where) and restrict the output answer as a short and…

Computation and Language · Computer Science 2021-10-25 Peng Cui , Dongyao Hu , Le Hu

We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two versions of an ontology is given by the set of queries that…

Logic in Computer Science · Computer Science 2014-01-24 Boris Konev , Michel Ludwig , Dirk Walther , Frank Wolter