Revising general knowledge bases in description logics

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 599-601

  Wang, Zhe ^a   Wang, Kewen ^a   Topor, Rodney ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA DESCRIPTION;

DESCRIPTION LOGIC; DL-LITE; GENERAL KNOWLEDGE; REVISION OPERATOR;

KNOWLEDGE REPRESENTATION;

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

References (8)

1. Artale, A.; Calvanese, D.; Kontchakov, R.; and Zakharyaschev, M. 2007. DL-Lite in the light of first-order logic. In Proc. AAAI, 361- 366.
2. Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning 39(3):385-429.
3. Giacomo, G. D.; Lenzerini, M.; Poggi, A.; and Rosati, R. 2007. On the approximation of instance level update and erasure in description logics. In Proc. AAAI, 403-408.
4. Kontchakov, R.; Wolter, F.; and Zakharyaschev, M. 2008. Can you tell the difference between DL-Lite ontologies? In Proc. KR, 285-295. AAAI Press.
5. Liu, H.; Lutz, C.; Milicic, M.; and Wolter, F. 2006. Updating description logic ABoxes. In Proc. KR, 46-56.
6. Meyer, T.; Lee, K.; and Booth, R. 2005. Knowledge integration for description logics. In Proc. AAAI, 645-650.
7. Qi, G., and Du, J. 2009. Model-based revision operators for terminologies in description logics. In Proc. IJCAI, 891-897.
8. Wang, Z., and Wang, K., and Topor, R., and Pan, J. Z. 2010. Forgetting for knowledge bases in DL-Lite. Annals of Mathematics and Artificial Intelligence (accepted for publication). http://hobbit.ict.griffith.edu.au/ ̃kewen/forgetting.pdf.