IJCAI 20260 citations
GEV: Statically Correct and Programmable Knowledge Graph Updates
Eduard Kamburjan, Shqiponja Ahmetaj, Chinmayi Prabhu Prasad Baramashetru, Paolo Pareti
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.
AI: Knowledge Representation and Reasoning
BibTeX
@inproceedings{ijcai2026_gevstaticallycor,
title = {GEV: Statically Correct and Programmable Knowledge Graph Updates},
author = {Eduard Kamburjan and Shqiponja Ahmetaj and Chinmayi Prabhu Prasad Baramashetru and Paolo Pareti},
booktitle = {IJCAI 2026},
year = {2026}
}