Updating description logic ABoxes

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 46-56

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

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

ATOMIC LEVELS; ATOMIC-CONCEPTS; DESCRIPTION LOGIC; HYBRID LOGIC;

COMPUTER CIRCUITS;

EID: 79960039110     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Areces, C., and de Rijke, M. 2001. From description logics to hybrid logics, and back. In Advances in Modal Logics Volume 3. CSLI Publications.
2. Areces, C.; Blackburn, P.; Hernandez, B. M.; and Marx, M. 2003. Handling Boolean ABoxes. In Proc. of the 2003 Int. Workshop on Description Logics.
3. Baader, F.; McGuiness, D. L.; Nardi, D.; and Patel- Schneider, P. 2003. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press.
4. Baader, F.; Lutz, C.; Milicic, M.; Sattler, U.; and Wolter, F. 2005. Integrating description logics and action formalisms: First results. In Proc. of the Twentieth National Conf. on AI (AAAI-05).
5. Borgida, A. 1996. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82(1 - 2):353-367.
6. Cadoli, M.; Donini, F. M.; Liberatore, P.; and Schaerf, M. 1999. The size of a revised knowledge base. Artificial Intelligence 115(1):25-64.
7. Forbus, K. D. 1989. Introducing actions into qualitative simulations. In Proc. of the Int. Joint Conf. on AI (IJCAI'89), 1273-1279. Morgan Kaufman.
8. Herzig, A. 1996. The PMA revisited. In Proc. of the 5th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'96), 40-50. Morgan Kaufmann.
9. Kurtonina, N., and de Rijke, M. 1999. Expressiveness of concept expressions in first-order description logics. Artificial Intelligence 107(2):303-333.
10. Lin, F. 1996. Embracing causality in specifying the indeterminate effects of actions. In Proc. of the 14th National Conf. on AI (AAAI-96), 670-676. MIT Press.
11. Liu, H.; Lutz, C.; Milicic, M.; and Wolter, F. 2005. Updating aboxes. LTCS-Report 05-10, Technical University Dresden. see http://lat.inf.tudresden. de/research/reports.html.
12. Lutz, C.; Sattler, U.; and Wolter, F. 2001. Modal logics and the two-variable fragment. In Annual Conf. of the European Association for Computer Science Logic (CSL'01), LNCS. Paris, France: Springer Verlag.
13. M.P.Shanahan. 1997. Solving the Frame Problem. MIT Press.
14. Pacholski, L.; Szwast, W.; and Tendera, L. 2000. Complexity results for first-order two-variable logic with counting. SIAM Journal on Computing 29(4):1083-1117.
15. Papadimitriou, C. H. 1994. Computational Complexity. Addison-Wesley.
16. Pratt-Hartmann, I. 2005. Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language, and Information 14(3):369-395.
17. Reiter, R. 2001. Knowledge in Action. MIT Press.
18. Scherl, R., and Levesque, H. 2003. Knowledge, action, and the frame problem. Artificial Intelligence 144(1):1-39.
19. Thielscher, M. 2000a. Nondeterministic actions in the fluent calculus: Disjunctive state update axioms. In Intellectics and Comput. Logic. Kluwer Academic. 327-345.
20. Thielscher, M. 2000b. Representing the knowledge of a robot. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'00), 109- 120. Morgan Kaufmann.
21. Winslett, M. 1990. Updating Logical Databases. Cambridge, England: Cambridge University Press.
22. Zhang, Y., and Foo, N. 2000. Updating knowledge bases with disjunctive information. Computational Intelligence 16:1-22.