English
Related papers

Related papers: xpSHACL: Explainable SHACL Validation using Retrie…

200 papers

We present a systematic approach for evaluating the quality of knowledge graph repairs with respect to constraint violations defined in shapes constraint language (SHACL). Current evaluation methods rely on \emph{ad hoc} datasets, which…

Databases · Computer Science 2025-07-31 Tung-Wei Lin , Gabe Fierro , Han Li , Tianzhen Hong , Pierluigi Nuzzo , Alberto Sangiovanni-Vinentelli

Data validation is becoming more and more important with the ever-growing amount of data being consumed and transmitted by systems over the Internet. It is important to ensure that the data being sent is valid as it may contain entry…

Databases · Computer Science 2013-11-19 Miklos Kalman , Ferenc Havasi

Reified Input/Output (I/O) logic[21] has been recently proposed to model real-world norms in terms of the logic in [11]. This is massively grounded on the notion of reification, and it has specifically designed to model meaning of natural…

Artificial Intelligence · Computer Science 2021-10-15 Livio Robaldo , Kolawole J. Adebayo

Adopting Knowledge Graphs (KGs) as a structured, semantic-oriented, data representation model has significantly improved data integration, reasoning, and querying capabilities across different domains. This is especially true in modern…

Information Retrieval · Computer Science 2026-01-19 Marco Arazzi , Davide Ligari , Serena Nicolazzo , Antonino Nocera

Retrieval-Augmented Code Generation (RACG) is a critical technique for enhancing code generation by retrieving relevant information. In this work, we conduct an in-depth analysis of code retrieval by systematically masking specific features…

Computation and Language · Computer Science 2025-06-27 Dhruv Gupta , Gayathri Ganesh Lakshmy , Yiqing Xie

Graph-based Retrieval-Augmented Generation (GraphRAG) extends traditional RAG by using knowledge graphs (KGs) to give large language models (LLMs) a structured, semantically coherent context, yielding more grounded answers. However,…

Artificial Intelligence · Computer Science 2026-04-28 Zhuoling Li , Ha Linh Hong Tran Nguyen , Valeria Bladinieres , Maxim Romanovsky

In constraint languages for RDF graphs, such as ShEx and SHACL, constraints on nodes and their properties in RDF graphs are known as "shapes". Schemas in these languages list the various shapes that certain targeted nodes must satisfy for…

Databases · Computer Science 2021-12-23 Thomas Delva , Anastasia Dimou , Maxime Jakubowski , Jan Van den Bussche

SHACL-DS extends SHACL for RDF dataset validation by introducing declarative targeting of named graphs and graph combinations, but has not yet been demonstrated and assessed on a real, large-scale Knowledge Graph (KG). In this paper, we…

Databases · Computer Science 2026-05-12 Davan Chiem Dao , Ghislain Atemezing , Christophe Debruyne

Retrieval-Augmented Generation (RAG) enhances language models by grounding responses in external information, yet explainability remains a critical challenge, particularly when retrieval relies on unstructured text. Knowledge graphs (KGs)…

Machine Learning · Computer Science 2025-07-14 Georgios Balanos , Evangelos Chasanis , Konstantinos Skianis , Evaggelia Pitoura

Graphs have emerged as an important foundation for a variety of applications, including capturing and reasoning over factual knowledge, semantic data integration, social networks, and providing factual knowledge for machine learning…

Retrieval Augmented Generation (RAG) is an essential agent for Large Language Model (LLM) aided Description Language (HDL) tasks, addressing the challenges of limited training data and prohibitively long prompts. However, its performance in…

Hardware Architecture · Computer Science 2026-03-10 Pingqing Zheng , Jiayin Qin , Fuqi Zhang , Niraj Chitla , Zishen Wan , Shang Wu , Yu Cao , Caiwen Ding , Yang , Zhao

We present Shape Expressions (ShEx), an expressive schema language for RDF designed to provide a high-level, user friendly syntax with intuitive semantics. ShEx allows to describe the vocabulary and the structure of an RDF graph, and to…

Databases · Computer Science 2015-11-17 Iovka Boneva , Jose E. Labra Gayo , Eric G. Prud'hommeaux , Sławek Staworko

Knowledge gaps and hallucinations are persistent challenges for Large Language Models (LLMs), which generate unreliable responses when lacking the necessary information to fulfill user instructions. Existing approaches, such as…

Computation and Language · Computer Science 2025-11-20 Riccardo Pozzi , Matteo Palmonari , Andrea Coletta , Luigi Bellomarini , Jens Lehmann , Sahar Vahdati

The growing demand for automated graph algorithm reasoning has attracted increasing attention in the large language model (LLM) community. Recent LLM-based graph reasoning methods typically decouple task descriptions from graph data,…

Software Engineering · Computer Science 2026-03-10 Fali Wang , Chenglin Weng , Xianren Zhang , Siyuan Hong , Hui Liu , Suhang Wang

Developing and testing modern RDF-based applications often requires access to RDF datasets with certain characteristics. Unfortunately, it is very difficult to publicly find domain-specific knowledge graphs that conform to a particular set…

Software Engineering · Computer Science 2026-03-16 Milos Jovanovik , Marija Vecovska , Maxime Jakubowski , Katja Hose

Large Language Models (LLMs) and Knowledge Graphs (KGs) offer a promising approach to robust and explainable Question Answering (QA). While LLMs excel at natural language understanding, they suffer from knowledge gaps and hallucinations.…

Machine Learning · Computer Science 2025-04-15 Jasper Linders , Jakub M. Tomczak

SHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics. SHACL expressions can use three fundamental…

Logic in Computer Science · Computer Science 2024-08-07 Bart Bogaerts , Maxime Jakubowski , Jan Van den Bussche

Large language models have shown remarkable language processing and reasoning ability but are prone to hallucinate when asked about private data. Retrieval-augmented generation (RAG) retrieves relevant data that fit into an LLM's context…

Machine Learning · Computer Science 2025-11-13 Alfred Clemedtson , Borun Shi

Knowledge Graph Retrieval-Augmented Generation (KG-RAG) extends the RAG paradigm by incorporating structured knowledge from knowledge graphs, enabling Large Language Models (LLMs) to perform more precise and explainable reasoning. While…

Computation and Language · Computer Science 2026-02-04 Jing Ren , Bowen Li , Ziqi Xu , Xikun Zhang , Haytham Fayek , Xiaodong Li

Property graphs constitute data models for representing knowledge graphs. They allow for the convenient representation of facts, including facts about facts, represented by triples in subject or object position of other triples. Knowledge…

Databases · Computer Science 2023-07-14 Philipp Seifer , Ralf Lämmel , Steffen Staab