Updating logical databases
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Theoretical Computer Science - Special issue: database theory
Propositional belief base update and minimal change
Artificial Intelligence
Generalizing Updates: From Models to Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Strong equivalence made easy: nested expressions and weight constraints
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
ACM Transactions on Computational Logic (TOCL)
The Description Logic Handbook
The Description Logic Handbook
Ontology change: Classification and survey
The Knowledge Engineering Review
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
On Instance-level Update and Erasure in Description Logic Ontologies
Journal of Logic and Computation
Reconciling description logics and rules
Journal of the ACM (JACM)
A preference-based framework for updating logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Towards closed world reasoning in dynamic open worlds
Theory and Practice of Logic Programming
On Semantic Update Operators for Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Evolution of DL-lite knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Back and forth between rules and SE-models
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Static and Dynamic Semantics: Preliminary Report
MICAI '11 Proceedings of the 2011 10th Mexican International Conference on Artificial Intelligence
On condensing a sequence of updates in answer-set programming
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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.