Foundations of instance level updates in expressive description logics

Artificial Intelligence

Volumn 175, Issue 18, 2011, Pages 2170-2197

  Liu, Hongkai ^a   Lutz, Carsten ^b   Miličić, Maja ^c   Wolter, Frank ^d  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

^d UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

ABoxes; Description logics; Updates

Indexed keywords

ABOXES; APPLICATION DOMAINS; ATOMIC LEVELS; AUXILIARY SYMBOLS; DESCRIPTION LOGIC; EXPRESSIBILITY; EXPRESSIVE DESCRIPTION LOGIC; HYBRID LOGIC; STATE OF AFFAIRS; UPDATES;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 80052858009     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2011.08.003     Document Type: Article

References (44)

1. F. Baader, D.L. McGuinness, D. Nardi, and P. Patel-Schneider The Description Logic Handbook: Theory, Implementation and Applications 2003 Cambridge University Press
2. D. Calvanese, G.D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati Tractable reasoning and efficient query answering in description logics: The DL-Lite family Journal of Automated Reasoning 39 3 2007 385 429 (Pubitemid 47340922)
3. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev The combined approach to query answering in DL-Lite Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR10) 2010 AAAI Press 247 257
4. M. Winslett Updating Logical Databases 1990 Cambridge University Press
5. R. Fagin, G.M. Kuper, J.D. Ullman, and M.Y. Vardi Updating logical databases Advances in Computing Research 3 1986 1 18
6. H. Katsuno, and A.O. Mendelzon On the difference between updating a knowledge base and revising it Proceedings of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR91) 1991 Morgan Kaufmann 387 394
7. R. Reiter Knowledge in Action 2001 MIT Press
8. T. Eiter, and G. Gottlob On the complexity of propositional knowledge base revision, updates, and counterfactuals Artificial Intelligence 57 2-3 1992 227 270 (Pubitemid 23586698)
9. M. Cadoli, F.M. Donini, P. Liberatore, and M. Schaerf The size of a revised knowledge base Artificial Intelligence 115 1 1999 25 64
10. J. Lang, F. Lin, and P. Marquis Causal theories of action: A computational core Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI03) 2003 AAAI Press 1073 1078
11. G.D. Giacomo, M. Lenzerini, A. Poggi, and R. Rosati On instance-level update and erasure in description logic ontologies Journal of Logic and Computation 19 5 2009 745 770
12. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter Integrating description logics and action formalisms: First results Proceedings of the 20th National Conference on Artificial Intelligence (AAAI05) 2005 AAAI Press/The MIT Press 572 577 (Pubitemid 43006670)
13. C. Drescher, H. Liu, F. Baader, S. Guhlemann, U. Petersohn, P. Steinke, and M. Thielscher Putting ABox updates into action Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCos09) LNCS vol. 5749 2009 Springer 214 229
14. C. Drescher, and M. Thielscher Integrating action calculi and description logics Proceedings of the 30th Annual German Conference on AI (KI07) LNCS vol. 4667 2007 Springer 68 83
15. H. Liu, C. Lutz, M. Milicic, and F. Wolter Updating description logic ABoxes Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06) 2006 AAAI Press 46 56
16. C. Areces, and B. ten Cate Hybrid logic P. Blackburn, J. van Benthem, F. Wolter, Handbook of Modal Logic 2007 Elsevier 821 868
17. C. Lutz, D. Toman, and F. Wolter Conjunctive query answering in the description logic EL using a relational database system Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI09) 2009 AAAI Press 2070 2075
18. P. Blackburn, and J. van Benthem Modal logic: A semantic perspective P. Blackburn, J. van Benthem, F. Wolter, Handbook of Modal Logic 2007 Elsevier 2 79
19. R.M. Karp, and R.J. Lipton Some connections between nonuniform and uniform complexity classes Proceedings of the 12th Annual ACM Symposium on Theory of Computing (STOC80) 1980 ACM 302 309
20. D. Mundici Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity Annals of Pure and Applied Logic 27 1984 265 273
21. J. Krajícek Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic Journal of Symbolic Logic 62 2 1997 457 486
22. U. Schöning, and J. Torán A note on the size of Craig interpolants Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) vol. 06451 2006 Schloss Dagstuhl Germany
23. A. Borgida On the relative expressiveness of description logics and predicate logics Artificial Intelligence 82 1-2 1996 353 367 (Pubitemid 126374160)
24. C. Lutz, U. Sattler, and F. Wolter Modal logics and the two-variable fragment Annual Conference of the European Association for Computer Science Logic CSL?01 LNCS vol. 2142 2001 Springer 247 261
25. Y. Gu, and M. Soutchanski A description logic based situation calculus Annals of Mathematics and Artificial Intelligence 58 1-2 2010 1 81 10.1007/s10472-010-9176-z
26. L. Chang, F. Lin, and Z. Shi A dynamic description logic for representation and reasoning about actions 2nd International Conference on Knowledge Science, Engineering and Management (KSEM07) LNCS vol. 4798 2007 Springer 115 127
27. F. Baader, M. Milicic, C. Lutz, U. Sattler, F. Wolter, Integrating description logics and action formalisms for reasoning about web services, LTCS-Report LTCS-05-02, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2005, http://lat.inf.tu-dresden.de/research/reports.html.
28. C. Areces, P. Blackburn, and M. Marx A road-map on complexity for hybrid logics Proceedings of the 13th Conference for Computer Science Logic (CSL99) LNCS vol. 1683 1999 Springer 307 321
29. S. Tobies The complexity of reasoning with cardinality restrictions and nominals in expressive description logics Journal of Artificial Intelligence Research 12 2000 199 217
30. K.D. Forbus Introducing actions into qualitative simulations Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI89) 1989 Morgan Kaufmann 1273 1279
31. F. Lin Embracing causality in specifying the indeterminate effects of actions Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-96) 1996 MIT Press 670 676
32. M. Thielscher Nondeterministic actions in the fluent calculus: Disjunctive state update axioms Intellectics and Computational Logic 2000 Kluwer Academic 327 345
33. Y. Zhang, and N. Foo Updating knowledge bases with disjunctive information Computational Intelligence 16 2000 1 22
34. A. Herzig The PMA revisited Proceedings of the 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR96) 1996 Morgan Kaufmann 40 50
35. H. Liu, C. Lutz, M. Milicic, and F. Wolter Reasoning about actions using description logics with general TBoxes 10th European Conference on Logics in Artificial Intelligence (JELIA06) LNCS vol. 4160 2006 Springer 266 279 (Pubitemid 44576974)
36. B. Nebel Base revision operations and schemes: Semantics, representation and complexity Proceedings of the 11th European Conference on Artificial Intelligence (ECAI94) 1994 John Wiley and Sons 341 345
37. G. Qi, W. Liu, and D.A. Bell Knowledge base revision in description logics 10th European Conference on Logics in Artificial Intelligence (JELIA06) LNCS vol. 4160 2006 Springer 386 398 (Pubitemid 44576983)
38. G. Qi, and F. Yang A survey of revision approaches in description logics Proceedings of the 2008 International Workshop on Description Logics (DL08) CEUR Workshop Proceedings vol. 353 2008
39. G. Qi, and J. Du Model-based revision operators for terminologies in description logics Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI09) 2009 AAAI Press 891 897
40. Z. Wang, K. Wang, and R.W. Topor Revising general knowledge bases in description logics Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR10) 2010 AAAI Press 599 601
41. G. Flouris, M. d?Aquin, G. Antoniou, J.Z. Pan, and D. Plexousakis Special issue on ontology dynamics Journal of Logic and Computation 19 5 2009 717 719
42. G. Flouris, D. Manakanatas, H. Kondylakis, D. Plexousakis, and G. Antoniou Ontology change: classification and survey Knowledge Engineering Review 23 2 2008 117 152 (Pubitemid 351743614)
43. D. Zheleznyakov, D. Calvanese, E. Kharlamov, and W. Nutt Updating TBoxes in DL-Lite Proceedings of the 2010 International Workshop on Description Logics (DL10) CEUR Workshop Proceedings vol. 573 2010
44. D. Calvanese, E. Kharlamov, W. Nutt, D. Zheleznyakov, Updating ABoxes in DL-Lite, in: Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW10), 2010.