A New Approach to Knowledge Base Revision in DL-Lite

Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010

Volumn , Issue , 2010, Pages 369-374

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

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; DATA DESCRIPTION; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; SYNTACTICS;

ALTERNATIVE SEMANTICS; BELIEF REVISION; CLASSICAL MODELING; DESCRIPTION LOGIC; GENERAL DESCRIPTION; GENERAL KNOWLEDGE; MODEL-BASED OPC; NEW APPROACHES; ONTOLOGY MANAGEMENT; PROPOSITIONAL LOGIC;

SEMANTICS;

EID: 85167425686     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

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. 2006. Data complexity of query answering in description logics. In Proc. KR, 260-270.
3. 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. Au-tom. Reasoning 39(3):385-429.
4. 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.
5. Konev, B.; Lutz, C.; Ponomaryov, D.; and Wolter, F. 2010. Decomposing description logic ontologies. In Proc. KR. To appear.
6. Kontchakov, R.; Wolter, F.; and Zakharyaschev, M. 2008. Can you tell the difference between DL-Lite ontologies? In Proc. KR, 285-295.
7. Liu, H.; Lutz, C.; Milicic, M.; and Wolter, F. 2006. Updating description logic ABoxes. In Proc. KR, 46-56.
8. Meyer, T.; Lee, K.; and Booth, R. 2005. Knowledge integration for description logics. In Proc. AAAI, 645-650.
9. Parikh, R. 1996. Beliefs, belief revision, and splitting languages. In Logic, Language and Computation, 266-278.
10. Qi, G., and Du, J. 2009. Model-based revision operators for terminologies in description logics. In Proc. IJCAI, 891-897.
11. Satoh, K. 1988. Nonmonotonic reasoning by minimal belief revision. In Proc. FGCS, 455-462.
12. Wang, Z., and Wang, K., and Topor, R., and Pan, J. Z. 2010. Forgetting for knowledge bases in DL-Lite. Ann. Math. Artif. Intell. To appear.