The Meaning of Erasing in RDF under the Katsuno-Mendelzon Approach

Updating Semantic Web Data

The basic data model for the Semantic Web is the Resource Description Framework (RDF). From a data management point of view, it resembles a lightweight knowledge base. 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. Viewing RDF as a knowledge b...

On Persistent Semantics for Knowledge

Katsuno and Mendelzon suggested eight postulates for characterizing the semantics of update where the principle of minimal change is embedded [Katsuno and Mendelzon, 1991a]. In this paper we propose a new method for knowledge base update based on persistence. We examine the relations between the two di erent update semantics by investigating the satis ability of Katsuno and Mendelzon's update p...

Update Postulates without Inertia

Starting from Katsuno and Mendelzon postulates, a new set of postulates which is minimal and complete has been deened, these postulates characterize an update operator. The update operator class which is obtained is larger than Katsuno and Mendelzon's one, since it includes updating operators which are not inert, and which allow for the existence of unreachable states. The main property is that...

On the Diierence between Updating a Knowledge Base and Revising It 1

Contraction in Propositional Logic

The AGM model for the revision and contraction of belief sets provides rationality postulates for each of the two cases. In the context of finite propositional logic, Katsuno and Mendelzon pointed out postulates for the revision of belief bases which correspond to the AGM postulates for the revision of beliefs sets. In this paper, we present postulates for the contraction of propositional belie...