{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T13:24:55Z","timestamp":1791120295564,"version":"4.1.0"},"reference-count":21,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Technol."],"published-print":{"date-parts":[[2004,8]]},"abstract":"<jats:p>\n            In this article, we investigate a first step towards the long-term vision of the Semantic Web by studying the problem of answering queries posed through a mediated ontology to multiple information sources whose content is described as\n            <jats:italic>views<\/jats:italic>\n            over the ontology relations. The contributions of this paper are twofold. We first offer a uniform logical setting which allows us to encompass and to relate the existing work on answering and rewriting queries using views. In particular, we make clearer the connection between the problem of rewriting queries using views and the problem of answering queries using extensions of views. Then we focus on an instance of the problem of rewriting\n            <jats:italic>conjunctive queries<\/jats:italic>\n            using views through an ontology expressed in a description logic, for which we exhibit a complete algorithm.\n          <\/jats:p>","DOI":"10.1145\/1013202.1013204","type":"journal-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:38:56Z","timestamp":1097170736000},"page":"255-288","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Answering queries using views"],"prefix":"10.1145","volume":"4","author":[{"given":"Fran\u00e7ois","family":"Goasdou\u00e9","sequence":"first","affiliation":[{"name":"France T\u00e9l\u00e9com R&amp;D and Universit\u00e9 Paris Sud, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marie-Christine","family":"Rousset","sequence":"additional","affiliation":[{"name":"Universit;eacute; Paris Sud, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2004,8]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press","author":"Abiteboul S.","unstructured":"Abiteboul , S. and Duschka , O. M . 1998. Complexity of answering queries using materialized views . In PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press , New York, NY 10036. 10.1145\/275487.275516 Abiteboul, S. and Duschka, O. M. 1998. Complexity of answering queries using materialized views. In PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press, New York, NY 10036. 10.1145\/275487.275516"},{"key":"e_1_2_1_2_1","volume-title":"2003. Description Logic Handbook: Theory, Implementation and Applications","author":"Baader F.","unstructured":"Baader , F. , Calvanese , D. , McGuinness , D. , Nardi , D. , and Patel-Schneider , P. F. , Eds. 2003. Description Logic Handbook: Theory, Implementation and Applications . Cambridge University Press . Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. F., Eds. 2003. Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press."},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000)","author":"Baader F.","unstructured":"Baader , F. , K\u00fcsters , R. , and Molitor , R . 2000. Rewriting concepts using terminologies . In Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000) , A. Cohn, F. Giunchiglia, and B. Selman, Eds. Morgan Kaufmann Publishers, San Francisco, CA, 297--308. Baader, F., K\u00fcsters, R., and Molitor, R. 2000. Rewriting concepts using terminologies. In Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), A. Cohn, F. Giunchiglia, and B. Selman, Eds. Morgan Kaufmann Publishers, San Francisco, CA, 297--308."},{"key":"e_1_2_1_4_1","volume-title":"PODS '97. Proceedings of the Sixteenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12--14","author":"Beeri C.","year":"1997","unstructured":"Beeri , C. , Levy , A. , and Rousset , M . -C. 1997. Rewriting queries using views in description logics, editor = acm . In PODS '97. Proceedings of the Sixteenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12--14 , 1997 , Tucson, Arizona. ACM Press, New York, NY 10036. 10.1145\/263661.263673 Beeri, C., Levy, A., and Rousset, M.-C. 1997. Rewriting queries using views in description logics, editor = acm. In PODS '97. Proceedings of the Sixteenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12--14, 1997, Tucson, Arizona. ACM Press, New York, NY 10036. 10.1145\/263661.263673"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Berners-Lee T. Hendler J. and Lassila O. 2001. The semantic web. In Scientific American May.  Berners-Lee T. Hendler J. and Lassila O. 2001. The semantic web. In Scientific American May.","DOI":"10.1038\/scientificamerican0501-34"},{"key":"e_1_2_1_6_1","volume-title":"PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press","author":"Calvanese D.","unstructured":"Calvanese , D. , De Giacomo , G. , and Lenzerini , M . 1998. On the decidability of query containment under constraints . In PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press , New York, NY 10036. 10.1145\/275487.275504 Calvanese, D., De Giacomo, G., and Lenzerini, M. 1998. On the decidability of query containment under constraints. In PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press, New York, NY 10036. 10.1145\/275487.275504"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of AAAI","author":"Calvanese D.","year":"2000","unstructured":"Calvanese , D. , De Giacomo , G. , and Lenzerini , M . 2000. Answering queries using views in description logics . In Proceedings of AAAI 2000 . Calvanese, D., De Giacomo, G., and Lenzerini, M. 2000. Answering queries using views in description logics. In Proceedings of AAAI 2000."},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of ICDE","author":"Calvanese D.","year":"2000","unstructured":"Calvanese , D. , De Giacomo , G. , Lenzerini , M. , and Vardi , M . 2000a. Answering regular path queries using views . In Proceedings of ICDE 2000 . Calvanese, D., De Giacomo, G., Lenzerini, M., and Vardi, M. 2000a. Answering regular path queries using views. In Proceedings of ICDE 2000."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of LICS","author":"Calvanese D.","year":"2000","unstructured":"Calvanese , D. , De Giacomo , G. , Lenzerini , M. , and Vardi , M . 2000b. View-based query processing and constraint satisfaction . In Proceedings of LICS 2000 . Calvanese, D., De Giacomo, G., Lenzerini, M., and Vardi, M. 2000b. View-based query processing and constraint satisfaction. In Proceedings of LICS 2000."},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1093\/logcom\/4.4.423","article-title":"Deduction in concept languages: From subsumption to instance checking","volume":"4","author":"Donini F. M.","year":"1994","unstructured":"Donini , F. M. , Lenzerini , M. , Nardi , D. , and Schaerf , A. 1994 . Deduction in concept languages: From subsumption to instance checking . J. Logic Computation 4 , 4 . Donini, F. M., Lenzerini, M., Nardi, D., and Schaerf, A. 1994. Deduction in concept languages: From subsumption to instance checking. J. Logic Computation 4, 4.","journal-title":"J. Logic Computation"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of ACM Symposium on Applied Computing. 10","author":"Duschka O. M.","unstructured":"Duschka , O. M. and Genesereth , M . 1997. Query planning in infomaster . In Proceedings of ACM Symposium on Applied Computing. 10 .1145\/331697.331719 Duschka, O. M. and Genesereth, M. 1997. Query planning in infomaster. In Proceedings of ACM Symposium on Applied Computing. 10.1145\/331697.331719"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1142\/S0218843000000181","article-title":"The use of carin language and algorithms for information integration: the picsel system","volume":"9","author":"Goasdou\u00e9 F.","year":"2000","unstructured":"Goasdou\u00e9 , F. , Lattes , V. , and Rousset , M.-C. 2000 . The use of carin language and algorithms for information integration: the picsel system . Int. J. Coop. Info. Sys. 9 , 383 -- 401 . Goasdou\u00e9, F., Lattes, V., and Rousset, M.-C. 2000. The use of carin language and algorithms for information integration: the picsel system. Int. J. Coop. Info. Sys. 9, 383--401.","journal-title":"Int. J. Coop. Info. Sys."},{"key":"e_1_2_1_14_1","volume-title":"ECAI","author":"Goasdou\u00e9 F.","year":"2002","unstructured":"Goasdou\u00e9 , F. and Rousset , M . -C. 2002. Compilation and approximation of conjunctive queries by concept descriptions . In ECAI 2002 , F. van Harmelen, Ed. 267--271. IOS Press. Goasdou\u00e9, F. and Rousset, M.-C. 2002. Compilation and approximation of conjunctive queries by concept descriptions. In ECAI 2002, F. van Harmelen, Ed. 267--271. IOS Press."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100054"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the thirtenth AAAI conference on Artificial Intelligence: AAAI'96","author":"Levy A.","unstructured":"Levy , A. , Rajamaran , A. , and Ordille , J . 1996. Query-answering algorithms for information agents . In Proceedings of the thirtenth AAAI conference on Artificial Intelligence: AAAI'96 . Levy, A., Rajamaran, A., and Ordille, J. 1996. Query-answering algorithms for information agents. In Proceedings of the thirtenth AAAI conference on Artificial Intelligence: AAAI'96."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00048-4"},{"key":"e_1_2_1_18_1","unstructured":"Mkbeem. http:\/\/www.mkbeem.com.  Mkbeem. http:\/\/www.mkbeem.com."},{"key":"e_1_2_1_19_1","unstructured":"Nardi D. Donini F. Lenzerini M. and Schaerf A. 1995. Principles of Artificial Intelligence. Springer-Verlag Chapter Reasoning in description logics.  Nardi D. Donini F. Lenzerini M. and Schaerf A. 1995. Principles of Artificial Intelligence. Springer-Verlag Chapter Reasoning in description logics."},{"key":"e_1_2_1_20_1","unstructured":"Picsel. http:\/\/www.lri.fr\/&sim;picsel.  Picsel. http:\/\/www.lri.fr\/&sim;picsel."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW","author":"Reynaud C.","year":"2002","unstructured":"Reynaud , C. and Safar , B . 2002. Representation of ontologies for information integration . In Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002 ). Reynaud, C. and Safar, B. 2002. Representation of ontologies for information integration. In Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002)."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of DL'99 and KRDB'99","author":"Rousset M.-C.","year":"1999","unstructured":"Rousset , M.-C. 1999 . Backward reasoning in aboxes for query answering . In Proceedings of DL'99 and KRDB'99 . Rousset, M.-C. 1999. Backward reasoning in aboxes for query answering. In Proceedings of DL'99 and KRDB'99."}],"container-title":["ACM Transactions on Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1013202.1013204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1013202.1013204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:41Z","timestamp":1750282721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1013202.1013204"}},"subtitle":["A KRDB perspective for the semantic Web"],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["10.1145\/1013202.1013204"],"URL":"https:\/\/doi.org\/10.1145\/1013202.1013204","relation":{},"ISSN":["1533-5399","1557-6051"],"issn-type":[{"value":"1533-5399","type":"print"},{"value":"1557-6051","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8]]},"assertion":[{"value":"2004-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}