Cover Image

SHACL Validation under Graph Updates (Extended Paper)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ahmetaj, Shqiponja, Konstantinidis, George, Ortiz, Magdalena, Pareti, Paolo, Simkus, Mantas
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
by: Oudshoorn, Anouk, et al.
Published: (2025)

Static Analysis of Recursive SHACL
by: Oudshoorn, Anouk, et al.
Published: (2026)

SHACL2FOL: An FOL Toolkit for SHACL Decision Problems
by: Pareti, Paolo
Published: (2024)

Consistent Query Answering over SHACL Constraints
by: Ahmetaj, Shqiponja, et al.
Published: (2024)

ODRL Policy Comparison Through Normalisation
by: Salas, Jaime Osvaldo, et al.
Published: (2026)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
by: Di Stefano, Federica, et al.
Published: (2025)

Common Foundations for SHACL, ShEx, and PG-Schema
by: Ahmetaj, S., et al.
Published: (2025)

Evaluation and Comparison Semantics for ODRL
by: Salas, Jaime Osvaldo, et al.
Published: (2025)

TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
by: Martins, Jean, et al.
Published: (2026)

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
by: Westermann, Tom, et al.
Published: (2025)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
by: Seifer, Philipp, et al.
Published: (2024)

Common Foundations for Recursive Shape Languages
by: Ahmetaj, Shqiponja, et al.
Published: (2026)

SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
by: Lu, Brian, et al.
Published: (2025)

JSPLIT: A Taxonomy-based Solution for Prompt Bloating in Model Context Protocol
by: Antonioni, Emanuele, et al.
Published: (2025)

Extended Empirical Validation of the Explainability Solution Space
by: Mestre, Antoni, et al.
Published: (2026)

GraphPad: Inference-Time 3D Scene Graph Updates for Embodied Question Answering
by: Ali, Muhammad Qasim, et al.
Published: (2025)

DIAGPaper: Diagnosing Valid and Specific Weaknesses in Scientific Papers via Multi-Agent Reasoning
by: Zou, Zhuoyang, et al.
Published: (2026)

Extending Complex Logical Queries on Uncertain Knowledge Graphs
by: Fei, Weizhi, et al.
Published: (2024)

A GP-MOEA/D Approach for Modelling Total Electron Content over Cyprus
by: Konstantinidis, Andreas, et al.
Published: (2011)

TextQuests: How Good are LLMs at Text-Based Video Games?
by: Phan, Long, et al.
Published: (2025)

Auditing Fairness under Model Updates: Fundamental Complexity and Property-Preserving Updates
by: Ajarra, Ayoub, et al.
Published: (2026)

SMATCH++: Standardized and Extended Evaluation of Semantic Graphs
by: Opitz, Juri
Published: (2023)

Fewer Than 1% of Explainable AI Papers Validate Explainability with Humans
by: Suh, Ashley, et al.
Published: (2025)

From RDF Graph Validation to RDF Dataset Validation with SHACL-DS
by: Dao, Davan Chiem, et al.
Published: (2025)

Automatic Mapping of AutomationML Files to Ontologies for Graph Queries and Validation
by: Westermann, Tom, et al.
Published: (2025)

An Extended Kalman Filter Integrated Latent Feature Model on Dynamic Weighted Directed Graphs
by: Zhou, Hongxun, et al.
Published: (2024)

Extending Decision Predicate Graphs for Comprehensive Explanation of Isolation Forest
by: Ceschin, Matteo, et al.
Published: (2025)

Semantic Communication Enhanced by Knowledge Graph Representation Learning
by: Hello, Nour, et al.
Published: (2024)

RACOON: An LLM-based Framework for Retrieval-Augmented Column Type Annotation with a Knowledge Graph
by: Wei, Lindsey Linxi, et al.
Published: (2024)

Chatting with Papers: A Hybrid Approach Using LLMs and Knowledge Graphs
by: Tykhonov, Vyacheslav, et al.
Published: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
by: David, Robert, et al.
Published: (2025)

Aggressive Compression Enables LLM Weight Theft
by: Brown, Davis, et al.
Published: (2026)

Weaponizing Language Models for Cybersecurity Offensive Operations: Automating Vulnerability Assessment Report Validation; A Review Paper
by: Almuhaidib, Abdulrahman S, et al.
Published: (2025)

GraphAide: Advanced Graph-Assisted Query and Reasoning System
by: Purohit, Sumit, et al.
Published: (2024)

Don't Make the LLM Read the Graph: Make the Graph Think
by: Sun, Yuqi, et al.
Published: (2026)

KGValidator: A Framework for Automatic Validation of Knowledge Graph Construction
by: Boylan, Jack, et al.
Published: (2024)

Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling
by: Adibi, Arman, et al.
Published: (2024)

RCCDA: Adaptive Model Updates in the Presence of Concept Drift under a Constrained Resource Budget
by: Piaseczny, Adam, et al.
Published: (2025)

Local-Curvature-Aware Knowledge Graph Embedding: An Extended Ricci Flow Approach
by: Luo, Zhengquan, et al.
Published: (2025)

All in One: Multi-Task Prompting for Graph Neural Networks (Extended Abstract)
by: Sun, Xiangguo, et al.
Published: (2024)