---
title: "GEV: Statically Correct and Programmable Knowledge Graph Updates"
authors:
  - "Eduard Kamburjan"
  - "Shqiponja Ahmetaj"
  - "Chinmayi Prabhu Prasad Baramashetru"
  - "Paolo Pareti"
doi: "10.24963/ijcai.2026/970"
url: "https://ijcai.org/proceedings/2026/970"
pdf: "https://ijcai.org/proceedings/2026/0970.pdf"
venue: "Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence"
year: 2026
pages: "8419-8422"
track: "Demo Track"
keywords:
  - "AI: Knowledge Representation and Reasoning"
---

# GEV: Statically Correct and Programmable Knowledge Graph Updates

Eduard Kamburjan, Shqiponja Ahmetaj, Chinmayi Prabhu Prasad Baramashetru, Paolo Pareti

*Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence*, pages 8419-8422. DOI: [10.24963/ijcai.2026/970](https://doi.org/10.24963/ijcai.2026/970)

## Abstract

Knowledge Graphs (KGs) evolve over time and it is critical to ensure that their integrity constraints are maintained after each update. 
We introduce GEV, the first tool to statically ensure that a KG update in Java preserves satisfaction of SHACL constraints. This allows verification of updates at design time, and eliminates the need for costly continuous revalidation. 
GEV is a command-line system that loads and verifies updates, applies them to a loaded KG, and keeps track of the validation status. Internally, it relies on SHACL graph updates, a theoretical framework with a method for static verification.