Towards SPARQL instance-level Update in the Presence of OWL-DL TBoxes
Claudia Schon, Steffen Staab · ePrints Soton (University of Southampton) · 2017
Represented knowledge is subject to frequent changes.To meet these requirements for dynamics, SPARQL update, an update language for RDF graphs, was developed.Even though there is some research on semantics of SPARQL ABox update for RDFS ontologies and approaches addressing updates in interplay with rather restricted TBoxes languages, up till now there is no definition of semantics for SPARQL updates for OWL knowledge bases.In this paper, we define a SPARQL update semantics for OWL-DL ABoxes and show how existing methods like justification-based explanation can be used to conduct SPARQL updates in the presence of OWL-DL TBoxes.We argue that the interplay of the deletion and the insertion task of SPARQL update queries renders it not advisable to consider these tasks separately.This is why we introduce query-driven semantics aiming at optimizing the effect of the whole update operation.Keywords.SPARQL update, OWL, Justification Ex. 4 illustrates that, in order to optimize the overall result of an update operation, it might be worthwhile not to consider the deletion and the insertion separately but to take their interplay into account.Before presenting semantics