{"type":"ScholarlyArticle","title":"GEV: Statically Correct and Programmable Knowledge Graph Updates","authors":[{"name":"Eduard Kamburjan","slug":"eduard-kamburjan","given":"Eduard","family":"Kamburjan","affiliation":""},{"name":"Shqiponja Ahmetaj","slug":"shqiponja-ahmetaj","given":"Shqiponja","family":"Ahmetaj","affiliation":""},{"name":"Chinmayi Prabhu Prasad Baramashetru","slug":"chinmayi-prabhu-prasad-baramashetru","given":"Chinmayi Prabhu Prasad","family":"Baramashetru","affiliation":""},{"name":"Paolo Pareti","slug":"paolo-pareti","given":"Paolo","family":"Pareti","affiliation":""}],"abstract":"Knowledge Graphs (KGs) evolve over time and it is critical to ensure that their integrity constraints are maintained after each update. \r\nWe 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. \r\nGEV 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.","doi":"10.24963/ijcai.2026/970","url":"https://ijcai.org/proceedings/2026/970","pdf":"https://ijcai.org/proceedings/2026/0970.pdf","markdown":"https://ijcai.org/proceedings/2026/970.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/970","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Demo Track","track":"Demo Track","number":970,"pages":{"first":8419,"last":8422},"keywords":["AI: Knowledge Representation and Reasoning"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}