On instance-level update and erasure in description logic ontologies

Journal of Logic and Computation

Volumn 19, Issue 5, 2009, Pages 745-770

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

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Description Logic; Erasure; Ontologies; Update

Indexed keywords

BEST APPROXIMATIONS; COMPUTATIONAL PROPERTIES; DATA-INTENSIVE APPLICATION; DESCRIPTION LOGIC; ERASURE; GENERAL KNOWLEDGE; KNOWLEDGE BASE; POLYNOMIAL ALGORITHM; TWO-COMPONENT; UPDATE;

APPROXIMATION ALGORITHMS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; DATA DESCRIPTION; KNOWLEDGE BASED SYSTEMS; POLYNOMIAL APPROXIMATION; SET THEORY;

ONTOLOGY;

EID: 70349478759     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exn051     Document Type: Article

References (35)

1. A. Acciarri, D. Calvanese,G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, and R. Rosati. QuOnto: Querying ontologies. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 1670-1671. Pittsburgh, Pennsylvania,USA, 2005.
2. C. E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510-530, 1985.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, UK, 2003.
4. F. Baader, I. Horrocks, and U. Sattler. Description logics as ontology languages for the semantic web. In Mechanizing Mathematical Reasoning: Essays in Honor of Jrg Siekmann on the Occasion of his 60th Birthday, volume 2605 of Lecture Notes in Artificial Intelligence, pp. 228-248. Springer, Saarbrücken, Germany, 2005.
5. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating description logics and action formalisms: first results. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 572-577. Pittsburgh, Pennsylvania, USA, 2005.
6. F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Transactions on Database Systems, 6, 557-575, 1981.
7. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, 284, 34-43, 2001.
8. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: tractable description logics for ontologies. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 602-607. Pittsburgh, Pennsylvania, USA, 2005.
9. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260-270. Lake District, UK, 2006.
10. D. Calvanese, G. De 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, 385-429, 2007.
11. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati. On the update of description logic ontologies at the instance level. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), pp. 1272-1276. Boston, MA, USA, 2006.
12. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati. On the approximation of instance level update and erasure in description logics. In Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007), pp. 403-408. Vancouver, Canada, 2007.
13. T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence, 57, 227-270, 1992. (Pubitemid 23586698)
14. G. Flouris, D. Plexousakis, and G. Antoniou. On applying the AGM theory to DLs and OWL. In Proceedings of the 4th International Semantic Web Conference (ISWC 2005), pp. 216-231. Galway, Ireland, 2005.
15. G. Flouris, D. Plexousakis, andG. Antoniou.Aclassification of ontology change. In Proceedings of the 3rd Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP 2006), Pisa, Italy, 2006.
16. G. Flouris, D. Plexousakis, andG. Antoniou. Evolving ontology evolution. In Proceedings of the 32nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2006), pp. 14-29. Merin, Czech Republic, 2006.
17. C. Gutiérrez, C. Hurtado, and A. Vaisman. The meaning of erasing in RDF under the Katsuno- Mendelzon approach. In Proceedings of the 9th International Workshop on the Web and Databases (WebDB 2006), Chicago, Illinois, USA, 2006.
18. V. Haarslev and R. Möller.RACERsystem description. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001). Vol.2083 of Lecture Notes in Artificial Intelligence, pp. 701-705. Springer, Siena, Italy, 2001.
19. P. Haase and L. Stojanovic. Consistent evolution of owl ontologies. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), pp. 182-197. Heraklion, Crete, Greece, 2005.
20. C. Halaschek-Wiener, B. Parsia, E. Sirin, and A. Kalyanpur. Description logic reasoning for dynamic aboxes. In Proceedings of the 2006 Description Logic Workshop (DL 2006). Vol.189 of CEUR Electronic Workshop Proceedings, Windermere, Lake District, UK, http://ceur-ws.org/Vol-189/, 2006.
21. A. Herzig and O. Rifi. Propositional belief update and minimal change. Artificial Intelligence, 115, 107-138, 1999.
22. I. Horrocks. The FaCTsystem. In Proceedings of the 7th International Conference onAutomated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'98). H. de Swart, ed., Vol.1397 of Lecture Notes in Artificial Intelligence, pp. 307-312. Springer, Oisterwijk, The Netherlands, 1998.
23. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR'91), pp. 387-394. Cambridge, Massachusetts, USA, 1991.
24. M. Lenzerini. Data integration: a theoretical perspective. In Proceedings of the 21st ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2002), pp. 233-246. Madison,Wisconsin, USA, 2002.
25. H. J. Levesque and G. Lakemeyer. The Logic of Knowledge Bases. The MIT Press, Cambridge, Massachusetts, USA, 2001.
26. H. Liu, C. Lutz, M. Milicic, and F.Wolter. Updating description logic ABoxes. In Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 46-56. Lake District, UK, 2006.
27. T. Meyer,K. Lee, and R. Booth. Knowledge integration for description logics. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 645-650. Pittsburgh, Pennsylvania, USA, 2005.
28. A. Poggi. Structured and Semi-Structured Data Integration. PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma 'La Sapienza', 2006.
29. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking data to ontologies. Journal on Data Semantics, X, 133-173, 2008.
30. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, New York, NY, USA, 2001.
31. M. Schaerf and M. Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74, 249-310, 1995.
32. R. B. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144, 1-39, 2003.
33. E. Sirin and B. Parsia. Pellet: an OWL DL reasoner. In Proceedings of the 2004 Description Logic Workshop (DL 2004). Vol.104 of CEUR Electronic Workshop Proceedings, Whistler, BC, Canada, http://ceur-ws.org/Vol-104/, 2004.
34. M. Winslett. Reasoning about action using a possible models approach. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'88). pp. 89-93. Saint Paul, Minnesota, USA, 1988.
35. M.Winslett. Updating Logical Databases. Cambridge University Press, New York, NY, USA, 1990.