Belief Contraction in Web-Ontology Languages

Márcio M. Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, Jeff Pan

Research output: Contribution to journalConference articlepeer-review

4 Citations (Scopus)


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 non-classical 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
Article number3
Number of pages13
JournalCEUR Workshop Proceedings
Publication statusPublished - 26 Oct 2009
Externally publishedYes
Event3rd International Workshop on Ontology Dynamics: Collocated with the 8th International Semantic Web Conference - Washington, United States
Duration: 26 Oct 200926 Oct 2009
Conference number: 3


Dive into the research topics of 'Belief Contraction in Web-Ontology Languages'. Together they form a unique fingerprint.

Cite this