Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Updating logical databases
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
An axiomatic model of dynamic schema evolution in objectbase systems
ACM Transactions on Database Systems (TODS)
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Conceptual modeling with description logics
The description logic handbook
On belief change in ontology evolution: Thesis
AI Communications
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Update semantics for incomplete databases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Ontology change: Classification and survey
The Knowledge Engineering Review
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Introducing actions into qualitative simulation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On Instance-level Update and Erasure in Description Logic Ontologies
Journal of Logic and Computation
The DL-lite family and relations
Journal of Artificial Intelligence Research
Journal on data semantics X
RDFS update: from theory to practice
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Capturing instance level ontology evolution for DL-lite
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A unifying perspective on knowledge updates
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Ontology evolution without tears
Web Semantics: Science, Services and Agents on the World Wide Web
Capturing model-based ontology evolution at the instance level: The case of DL-Lite
Journal of Computer and System Sciences
Verification of inconsistency-aware knowledge and action bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. We propose some fundamental principles that KB evolution should respect. We review known model and formula-based approaches for evolution of propositional theories. We exhibit limitations of a number of model-based approaches: besides the fact that they are either not expressible in DL-Lite or hard to compute, they intrinsically ignore the structural properties of KBs, which leads to undesired properties of KBs resulting from such an evolution. We also examine proposals on update and revision of DL KBs that adopt the model-based approaches and discuss their drawbacks. We show that known formula-based approaches are also not appropriate for DL-Lite evolution, either due to high complexity of computation, or because the result of such an action of evolution is not expressible in DL-Lite. Building upon the insights gained, we propose two novel formula-based approaches that respect our principles and for which evolution is expressible in DL-Lite. For our approaches we also developed polynomial time algorithms to compute evolution of DL-Lite KBs.