Consistent query answering over description logic ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4524 LNCS, Issue , 2007, Pages 194-208

  Lembo, Domenico ^a   Ruzzi, Marco ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; ONTOLOGY; WEB SERVICES;

DATA COMPLEXITY; DESCRIPTION LOGICS (DLS); QUERY ANSWERING;

QUERY PROCESSING;

EID: 38149030870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_14     Document Type: Conference Paper

References (32)

1. Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying ontologies. In: Proc. of AAAI2005, pp. 1670-1671 (2005)
2. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic 50, 510-530 (1985)
3. Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of PODS'99, pp. 68-79 (1999)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of IJCAI 2005, pp. 364-369 (2005)
5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, New York (2003)
6. Baclawski, K., Kokar, M.M., Waldinger, R., Kogut, P.A.: Consistency checking of semantic web ontologies. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, Springer, Heidelberg (2002)
7. Bertossi, L.E., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)
8. Borgida, A., Brachman, R.J.: Conceptual modeling with description logics. In: Baader, et al. [5] ch. 10, pp. 349-372
9. Bouzeghoub, M., Lenzerini, M.: Introduction to the special issue on data extraction, cleaning, and reconciliation. Information Systems 26(8), 535-536 (2001)
10. Cal ì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS 2003, pp. 260-271 (2003)
11. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of AAAI 2005, pp. 602-607 (2005)
12. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR 2006, pp. 260-270 (2006)
13. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family, 2007. (To Appear)
14. Calvanese, D., De Giacomo, G., Lenzerini, M.: Answering queries using views over description logics knowledge bases. In: Proc. of AAAI 2000, pp. 386-391 (2000)
15. Chomicki, J., Marcinkowski, J.: On the computational complexity of minimal-change integrity maintenance in relational databases. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 119-150. Springer, Heidelberg (2005)
16. Chomicki, J., Marcinkowski, J., Staworko, S.: Computing consistent query answers using conflict hypergraphs. In: Proc. of CIKM 2004, pp. 417-426 (2004)
17. Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient evaluation of logic programs for querying data integration systems. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 163-177. Springer, Heidelberg (2003)
18. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence 57, 227-270 (1992)
19. Eiter, T., Gottlob, G.: The complexity of nested counterfactuals and iterated knowledge base revisions. J. of Computer and System Sciences 53(3), 497-512 (1996)
20. Fuxman, A., Miller, R.J.: First-order query rewriting for inconsistent databases. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol. 3363, pp. 337-351. Springer, Heidelberg (2004)
21. Grieco, L., Lembo, D., Ruzzi, M., Rosati, R.: Consistent query answering under key and exclusion dependencies: Algorithms and experiments. In: Proc. of CIKM 2005, pp. 792-799 (2005)
22. Haasa, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, Springer, Heidelberg (2005)
23. Heflin, J., Hendler, J.: A portrait of the Semantic Web in action. IEEE Intelligent Systems 16(2), 54-59 (2001)
24. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web. Semantics 1(1), 7-26 (2003)
25. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2003 (2003)
26. Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS 2002, pp. 233-246 (2002)
27. Ortiz, M.M., Calvanese, D., Eiter, T.: Data complexity of answering unions of conjunctive queries in SHIQ. In: Proc. of DL 2006. CEUR Electronic Workshop Proceedings (2006)
28. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of the 14th Int. World Wide Web Conf. (WWW 2005) (2005)
29. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of descritpion logic terminologies. In: Proc. of IJCAI 2003, pp. 355-360 (2003)
30. Shadbolt, N., Hall, W., Berners-Lee, T.: The semantic web revisited. IEEE Intelligent Systems 21(3), 96-101 (2006)
31. Stuckenschmidt, H., Klein, M.: Integrity and change in modular ontologies. In: Proc. of IJCAI 2003, pp. 900-908 (2003)
32. Vardi, M.Y.: The complexity of relational query languages. In: Proc. of STOC'82, pp. 137-146 (1982)