View-based query answering over description logic ontologies

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 242-251

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lenzerini, Maurizio ^b   Rosati, Riccardo ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; ONTOLOGY; SEMANTICS;

CERTAIN ANSWERS; DATA COMPLEXITY; DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; INCOMPLETE INFORMATION; ONTOLOGY MANAGEMENT; QUERY ANSWERING; VIEW-BASED;

DATA DESCRIPTION;

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

References (24)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995. Foundations of Databases. AddisonWesley Publ. Co.
2. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
3. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), 364-369.
4. Beeri, C.; Levy, A. Y.; and Rousset, M.-C. 1997. Rewriting queries using views in description logics. In Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'97), 99-108.
5. Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Vardi, M. Y. 2001. View-based query answering and query containment over semistructured data. In Proc. of the 8th Int. Workshop on Database Programming Languages (DBPL 2001).
6. Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Vardi, M. Y. 2005. View-based query processing: On the relationship between rewriting, answering and losslessness. In Proc. of the 10th Int. Conf. on Database Theory (ICDT 2005), volume 3363 of Lecture Notes in Computer Science, 321-336. Springer.
7. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2006. Data complexity of query answering in description logics. In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), 260-270.
8. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
9. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2000. Answering queries using views over description logics knowledge bases. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), 386-391.
10. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2008. Conjunctive query containment and answering under description logics constraints. ACM Trans. on Computational Logic 9(3). Available at http://tocl.acm.org/accepted/ 282calvanese.pdf.
11. Glimm, B.; Horrocks, I.; Lutz, C.; and Sattler, U. 2007. Conjunctive query answering for the description logic SHIQ. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), 399-404.
12. Halevy, A. Y. 2001. Answering queries using views: A survey. Very Large Database J. 10(4):270-294.
13. Horrocks, I.; Patel-Schneider, P. F.; and van Harmelen, F. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1):7-26.
14. Horrocks, I.; Sattler, U.; and Tobies, S. 2000. Reasoning with individuals for the description logic SHIQ. In McAllester, D., ed., Proc. of the 17th Int. Conf. on Automated Deduction (CADE 2000), volume 1831 of Lecture Notes in Computer Science, 482-496. Springer.
15. Krisnadhi, A., and Lutz, C. 2007. Data complexity in the EL family of description logics. In LPAR, 333-347.
16. Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2):165-209.
17. Ortiz, M. M.; Calvanese, D.; and Eiter, T. 2006. Characterizing data complexity for conjunctive query answering in expressive description logics. In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006), 275-280.
18. Poggi, A.; Lembo, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Rosati, R. 2008. Linking data to ontologies. J. on Data Semantics X:133-173.
19. Rizvi, S.; Mendelzon, A. O.; Sudarshan, S.; and Roy, P. 2004. Rewriting techniques for fine-grained access control. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 551-562.
20. Rosati, R. 2007. On conjunctive query answering in EL. In Proc. of the 2007 Description Logic Workshop (DL 2007), volume 250 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-250/.
21. Schaerf, A. 1993. On the complexity of the instance checking problem in concept languages with existential quantification. J. of Intelligent Information Systems 2:265-278.
22. Stouppa, P., and Studer, T. 2007. A formal model of data privacy. In Virbitskaite, I., and Voronkov, A., eds., Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, 400-408. Springer.
23. Ullman, J. D. 2000. Information integration using logical views. Theoretical Computer Science 239(2):189-210.
24. Zhang, Z., and Mendelzon, A. 2005. Authorization views and conditional query containment. In Proc. of the 10th Int. Conf. on Database Theory (ICDT 2005), volume 3363 of Lecture Notes in Computer Science, 259-273. Springer.