Dealing with Inconsistencies due to Class Disjointness in SPARQL Update

Proc. of the 28th Int. Workshop on Description Logics (DL 2015). Volume 1350 of CEUR Workshop Proceedings, https://ceur-ws.org/. 2015.

The problem of updating ontologies has received increased attention in recent years. In the approaches proposed so far, either the update language is restricted to (sets of ) atomic updates, or, where the full SPARQL Update language is allowed, the TBox language is restricted to RDFS where no inconsistencies can arise. In this paper we discuss directions to overcome these limitations. Starting from a DL-Lite fragment covering RDFS and concept/class disjointness axioms, we define two semantics for SPARQL Update: under cautious semantics, inconsistencies are resolved by rejecting all updates potentially introducing conflicts; under brave semantics, instead, conflicts are overridden in favor of new information where possible. The latter approach builds upon existing work on the evolution of DL-Lite knowledge bases, setting it in the context of generic SPARQL updates.

@inproceedings{DL-2015-sparql-update,
   title = "Dealing with Inconsistencies due to Class Disjointness in SPARQL
Update",
   year = "2015",
   author = "Albin Ahmeti and Diego Calvanese and Axel Polleres and Vadim
Savenkov",
   booktitle = "Proc. of the 28th Int. Workshop on Description Logics
(DL 2015)",
   volume = "1350",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}