On the approximation of instance level update and erasure in description logics

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 403-408

  De Giacomo, Giuseppe ^a   Lenzerini, Maurizio ^a   Poggi, Antonella ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; KNOWLEDGE BASED SYSTEMS; POLYNOMIAL APPROXIMATION; PROBLEM SOLVING;

DESCRIPTION LOGICS; POLYNOMIAL ALGORITHMS;

LOGIC PROGRAMMING;

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

References (13)

1. Baader, F.; Calvanese, D.; McGuínness, D.; Nardí, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
2. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2005. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, 602-607.
3. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2006, Data complexity of query answering in description logics. In Proc. of KR 2006, 260-270.
4. De Giacomo, G.; Lenzerini, M.; Poggi, A.; and Rosati, R. 2006. On the update of description logic ontologies at the instance level. In Proc. of AAAI 2006.
5. Gutiérrez, C.; Hurtado, C.; and Vaisman, A. 2006. The meaning of erasing in RDF under the Katsuno-Mendelzon approach.
6. Haase, P., and Stojanovic, L. 2005. Consistent evolution of owl ontologies, In Proc. of ESWC 2005, 182-197.
7. Herzig, A., and Rifi, O. 1999, Prepositional belief update and minimal change. Artificial Intelligence 115(1): 107-138.
8. Katsuno, H., and Mendelzon, A. 1991, On the difference between updating a knowledge base and revising it. In Proc. of KR'9I, 387-394.
9. Liu, H.; Lutz, C.: Milicic, M.; and Wolter, F. 2006. Updating description logic ABoxes. In Proc. of KR 2006, 46-56.
10. Poggi, A. 2006. Structured and Semi-Structured Data Integration. Ph.D. Dissertation, Dip. di Inf. e Sist., Univ. di Roma "La Sapienza".
11. Schaerf, M., and Cadoli, M. 1995. Tractable reasoning via approximation. Artificial Intelligence 74(2):249-310.
12. Winslett, M. 1988. Reasoning about action using a possible models approach. In Proc. of AAAI'98.
13. Winslett, M. 1990. Updating Logical Databases. Cambridge University Press.