Iterated Ontology Revision by Reinterpretation

Abstract

Iterated applications of belief change operators are essential for different scenarios such as that of ontology evolution where new information is not presented at once but only in piecemeal fashion within a sequence. I discuss iterated applications of so called reinterpretation operators that trace conflicts between ontologies back to the ambiguous of symbols and that provide conflict resolution strategies with bridging axioms. The discussion centers on adaptations of the classical iteration postulates according to Darwiche and Pearl. The main result of the paper is that reinterpretation operators fulfill the postulates for sequences containing only atomic triggers. For complex triggers, a fulfillment is not guaranteed and indeed there are different reasons for the different postulates why they should not be fulfilled in the particular scenario of ontology revision with well developed ontologies.
OriginalspracheEnglisch
Seiten105-114
Seitenumfang10
PublikationsstatusVeröffentlicht - 01.04.2016
Veranstaltung16th International Workshop on Non-Monotonic Reasoning - Cape Town International Convention Centre, Cape Town, Südafrika
Dauer: 22.04.201624.04.2016

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress16th International Workshop on Non-Monotonic Reasoning
Land/GebietSüdafrika
OrtCape Town
Zeitraum22.04.1624.04.16

Fingerprint

Untersuchen Sie die Forschungsthemen von „Iterated Ontology Revision by Reinterpretation“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren