Abstract
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 language | English |
|---|---|
| Title of host publication | Proceedings of the 3rd International Workshop on Ontology Dynamics, (IWOD 2009) |
| Editors | Mathieu d'Aquin, Grigoris Antoniou |
| Publisher | CEUR-WS.org |
| Number of pages | 13 |
| Publication status | Published - 28 Oct 2009 |
| Event | The 3rd International Workshop on Ontology Dynamics - Chantilly, United States Duration: 26 Oct 2009 → 26 Oct 2009 Conference number: 3 |
Workshop
| Workshop | The 3rd International Workshop on Ontology Dynamics |
|---|---|
| Abbreviated title | IWOD 2009 |
| Country/Territory | United States |
| City | Chantilly |
| Period | 26/10/09 → 26/10/09 |