The Meaning of Erasing in RDF under the Katsuno-Mendelzon Approach
Claudio Gutiérrez · 2006
The basic data model for the Semantic Web is RDF. In this paper we address updates in RDF. It is known that the semantics of updates for data models becomes unclear when the model turns, even slightly, more general than a simple relational structure. Using the framework of Katsuno-Mendelzon, we define a semantics for updates in RDF. Particularly we explore the behavior of this semantics for the “erase ” operator (which in general is not expressible in RDF). Our results include a proposal of sound semantics for RDF updates, a characterization of the maximal RDF graph which captures exactly all consequences of the erase operation expressible in RDF, and complexity results about the computation of this graph and updates in RDF in general. 1.