A Unifying Perspective on Knowledge Updates

Abstract We introduce an abstract update framework based on viewing a knowledge base as the set of sets of models of its elements and performing updates by introducing additional interpretations – exceptions – to the sets of models of elements of the original knowledge base. In [36], an instantiation of this framework for performing rule updates has been shown to semantically characterise one of the syntax-based rule update semantics. In this paper we show that the framework can also capture a wide range of both model- and formula-based belief update operators which constitute the formal underpinning of existing approaches to ontology updates. Exception-driven operators thus form a unifying perspective on both ontology and rule updates, opening new possibilities for addressing updates of hybrid knowledge bases consisting of both an ontology and a rule component.

Authors

• Martin Slota
• João Leite 0001

Keywords

No keywords are indexed for this paper.