Updating logical databases
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
The logic of knowledge bases
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Knowledge, action, and the frame problem
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
On applying the AGM theory to DLs and OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Consistent evolution of OWL ontologies
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Formalising theories of trust for authentication protocols
Information Systems Frontiers
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
Semantics in Data and Knowledge Bases
End-User Assisted Ontology Evolution in Uncertain Domains
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Towards Efficient Belief Update for Planning-Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Conceptual Modeling for Data Integration
Conceptual Modeling: Foundations and Applications
On the approximation of instance level update and erasure in description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Journal of Artificial Intelligence Research
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
A framework for handling revisions in distributed ontologies
Proceedings of the 2010 ACM Symposium on Applied Computing
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Evolution of DL-lite knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
We study the notion of update of an ontology expressed as a Description Logic knowledge base. Such a knowledge base is constituted by two components, called TBox and ABox. The former expresses general knowledge about the concepts and their relationships, whereas the latter describes the state of affairs regarding the instances of concepts. We investigate the case where the update affects only the instance level of the ontology, i.e., the ABox. Building on classical approaches on knowledge base update, our first contribution is to provide a general semantics for instance level update in Description Logics. We then focus on DL-Lite, a specific Description Logic where the basic reasoning tasks are computationally tractable. We show that DL-Lite is closed with respect to instance level update, in the sense that the result of an update is always expressible as a new DL-Lite ABox. Finally we provide an algorithm that computes the result of an update in DL-Lite, and we show that it runs in polynomial time with respect to the size of both the original knowledge base and the update formula.