Dealing with Inconsistencies due to Class Disjointness in SPARQL Update.
Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov · 2015
Abstract. 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, incon-sistencies are resolved by rejecting all updates potentially introducing conflicts; under brave semantics, instead, conflicts are overridden in favor of new informa-tion 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. 1