English
Related papers

Related papers: The Vadalog System: Datalog-based Reasoning for Kn…

200 papers

Reasoning over knowledge graphs (KGs) is a challenging task that requires a deep understanding of the complex relationships between entities and the underlying logic of their relations. Current approaches rely on learning geometries to…

Logic in Computer Science · Computer Science 2024-04-02 Nurendra Choudhary , Chandan K. Reddy

Knowledge graph (KG) is known to be helpful for the task of question answering (QA), since it provides well-structured relational information between entities, and allows one to further infer indirect facts. However, it is challenging to…

Machine Learning · Computer Science 2017-11-29 Yuyu Zhang , Hanjun Dai , Zornitsa Kozareva , Alexander J. Smola , Le Song

Knowledge graph reasoning is the fundamental component to support machine learning applications such as information extraction, information retrieval, and recommendation. Since knowledge graphs can be viewed as the discrete symbolic…

Artificial Intelligence · Computer Science 2021-04-01 Jing Zhang , Bo Chen , Lingxi Zhang , Xirui Ke , Haipeng Ding

Large Reasoning Models (LRMs) exhibit remarkable reasoning abilities but rely primarily on parametric knowledge, limiting factual accuracy. While recent works equip reinforcement learning (RL)-based LRMs with retrieval capabilities, they…

Computation and Language · Computer Science 2025-05-20 Zhicheng Lee , Shulin Cao , Jinxin Liu , Jiajie Zhang , Weichuan Liu , Xiaoyin Che , Lei Hou , Juanzi Li

Knowledge graph completion (a.k.a.~link prediction), i.e.,~the task of inferring missing information from knowledge graphs, is a widely used task in many applications, such as product recommendation and question answering. The…

Artificial Intelligence · Computer Science 2022-07-05 Zoi Kaoudi , Abelardo Carlos Martinez Lorenzo , Volker Markl

In this work, we present a novel approach to ontology reasoning that is based on deep learning rather than logic-based formal reasoning. To this end, we introduce a new model for statistical relational learning that is built upon deep…

Artificial Intelligence · Computer Science 2017-05-31 Patrick Hohenecker , Thomas Lukasiewicz

DatalogMTL is an extension of Datalog with metric temporal operators that has found an increasing number of applications in recent years. Reasoning in DatalogMTL is, however, of high computational complexity, which makes reasoning in modern…

Logic in Computer Science · Computer Science 2025-06-11 Dingmin Wang , Przemysław A. Wałęga , Pan Hu , Bernardo Cuenca Grau

Recently, Knowledge Graphs (KGs) have been successfully coupled with Large Language Models (LLMs) to mitigate their hallucinations and enhance their reasoning capability, such as in KG-based retrieval-augmented frameworks. However, current…

Artificial Intelligence · Computer Science 2024-10-22 Bo Ni , Yu Wang , Lu Cheng , Erik Blasch , Tyler Derr

Traditional symbolic reasoning engines, while attractive for their precision and explicability, have a few major drawbacks: the use of brittle inference procedures that rely on exact matching (unification) of logical terms, an inability to…

Computation and Language · Computer Science 2021-12-07 Aditya Kalyanpur , Tom Breloff , David Ferrucci

Reasoning is a fundamental capability for harnessing valuable insight, knowledge and patterns from knowledge graphs. Existing work has primarily been focusing on point-wise reasoning, including search, link predication, entity prediction,…

Artificial Intelligence · Computer Science 2020-11-09 Lihui Liu , Boxin Du , Heng Ji , Hanghang Tong

Datalog has become a popular language for writing static analyses. Because Datalog is very limited, some implementations of Datalog for static analysis have extended it with new language features. However, even with these features it is…

Programming Languages · Computer Science 2018-09-18 Aaron Bembenek , Stephen Chong

Reasoning over temporal knowledge graphs (TKGs) is fundamental to improving the efficiency and reliability of intelligent decision-making systems and has become a key technological foundation for future artificial intelligence applications.…

Computation and Language · Computer Science 2026-01-05 Wang Xing , Wei Song , Siyu Lin , Chen Wu , Zhesi Li , Man Wang

DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applications, including tasks from industrial and financial…

Artificial Intelligence · Computer Science 2025-12-16 Shaoyu Wang , Kaiyue Zhao , Dongliang Wei , Przemysław Andrzej Wałęga , Dingmin Wang , Hongming Cai , Pan Hu

Knowledge graph reasoning is pivotal in various domains such as data mining, artificial intelligence, the Web, and social sciences. These knowledge graphs function as comprehensive repositories of human knowledge, facilitating the inference…

Artificial Intelligence · Computer Science 2024-12-17 Lihui Liu , Zihao Wang , Hanghang Tong

Semantic Web knowledge representation standards, and in particular RDF and OWL, often come endowed with a formal semantics which is considered to be of fundamental importance for the field. Reasoning, i.e., the drawing of logical inferences…

Machine Learning · Computer Science 2018-11-13 Monireh Ebrahimi , Md Kamruzzaman Sarker , Federico Bianchi , Ning Xie , Derek Doran , Pascal Hitzler

Despite notable advancements in Retrieval-Augmented Generation (RAG) systems that expand large language model (LLM) capabilities through external retrieval, these systems often struggle to meet the complex and diverse needs of real-world…

Computation and Language · Computer Science 2025-03-13 Jinyu Wang , Jingjing Fu , Rui Wang , Lei Song , Jiang Bian

Ontologies are pivotal for structuring knowledge bases to enhance question answering (QA) systems powered by Large Language Models (LLMs). However, traditional ontology creation relies on manual efforts by domain experts, a process that is…

Artificial Intelligence · Computer Science 2025-06-03 Yash Tiwari , Owais Ahmad Lone , Mayukha Pal

Existing medical RAG systems mainly leverage knowledge from medical knowledge bases, neglecting the crucial role of experiential knowledge derived from similar patient cases -- a key component of human clinical reasoning. To bridge this…

Computation and Language · Computer Science 2025-05-27 Yuxing Lu , Gecheng Fu , Wei Wu , Xukai Zhao , Sin Yee Goi , Jinzhuo Wang

This study aims to improve knowledge-based question-answering (QA) systems by overcoming the limitations of existing Retrieval-Augmented Generation (RAG) models and implementing an advanced RAG system based on Graph technology to develop…

Artificial Intelligence · Computer Science 2024-10-04 Cheonsu Jeong

Autonomous driving (AD) systems struggle in long-tail scenarios due to limited world knowledge and weak visual dynamic modeling. Existing vision-language-action (VLA)-based methods cannot leverage unlabeled videos for visual causal…

Computer Vision and Pattern Recognition · Computer Science 2025-12-11 Hao Lu , Ziyang Liu , Guangfeng Jiang , Yuanfei Luo , Sheng Chen , Yangang Zhang , Ying-Cong Chen