GEV: Statically Correct and Programmable Knowledge Graph Updates

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

doi:10.24963/ijcai.2026/970

GEV: Statically Correct and Programmable Knowledge Graph Updates

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

Download BibTeX Cite

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. Demo Track. Pages 8419-8422.

https://doi.org/10.24963/ijcai.2026/970

Keywords

AI: Knowledge Representation and Reasoning

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.

Eduard Kamburjan, Shqiponja Ahmetaj, Chinmayi Prabhu Prasad Baramashetru, and Paolo Pareti. 2026. GEV: Statically Correct and Programmable Knowledge Graph Updates. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26. IJCAI, 8419–8422. https://doi.org/10.24963/ijcai.2026/970

@inproceedings{ijcai2026p970,
  title     = {GEV: Statically Correct and Programmable Knowledge Graph Updates},
  author    = {Kamburjan, Eduard and Ahmetaj, Shqiponja and Baramashetru, Chinmayi Prabhu Prasad and Pareti, Paolo},
  booktitle = {Proceedings of the Thirty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-26}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Diego Calvanese},
  pages     = {8419--8422},
  year      = {2026},
  month     = {8},
  note      = {Demo Track},
  doi       = {10.24963/ijcai.2026/970},
  url       = {https://doi.org/10.24963/ijcai.2026/970},
}

TY  - CPAPER
TI  - GEV: Statically Correct and Programmable Knowledge Graph Updates
AU  - Kamburjan, Eduard
AU  - Ahmetaj, Shqiponja
AU  - Baramashetru, Chinmayi Prabhu Prasad
AU  - Pareti, Paolo
T2  - Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2026
SP  - 8419
EP  - 8422
DO  - 10.24963/ijcai.2026/970
UR  - https://doi.org/10.24963/ijcai.2026/970
ER  -