Belief contraction in web-ontology languages

Marcio Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, Jeff Z Pan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Previous works have shown that the AGM theory cannot be used as the basis for defining contraction operators for several ontology representation languages. In this paper, we examine the postulate of relevance which has been proposed in the belief revision literature as a more intuitive alternative to the AGM postulate of recovery. Even though relevance and recovery have been proven to be equivalent in the presence of the other AGM postulates in classical logics, we show that this is not true for nonclassical ones. Based on this fact, we are able to show that the relevance postulate is a very attractive alternative to recovery for ontology evolution, as it can be used to define contraction operators in all interesting ontology representation languages.
Original languageEnglish
Title of host publicationProceedings of the 3rd International Workshop on Ontology Dynamics, (IWOD 2009)
EditorsMathieu d'Aquin, Grigoris Antoniou
Number of pages13
Publication statusPublished - 28 Oct 2009
EventThe 3rd International Workshop on Ontology Dynamics - Chantilly, United States
Duration: 26 Oct 200926 Oct 2009
Conference number: 3


WorkshopThe 3rd International Workshop on Ontology Dynamics
Abbreviated titleIWOD 2009
Country/TerritoryUnited States


Dive into the research topics of 'Belief contraction in web-ontology languages'. Together they form a unique fingerprint.

Cite this