{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:52:16Z","timestamp":1648623136353},"reference-count":68,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2007,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often in heterogeneous formats. This calls for tools and methods for building an advanced information-processing infrastructure. One issue in this area is the selection of suitable information sources in query answering. In this paper, we present a knowledge-based approach to this problem, in the setting where one among a set of information sources (prototypically, data repositories) should be selected for evaluating a user query. We use extended logic programs (ELPs) to represent rich descriptions of the information sources, an underlying domain theory, and user queries in a formal query language (here, XML-QL, but other languages can be handled as well). Moreover, we use ELPs for declarative query analysis and generation of a query description. Central to our approach are declarative<jats:italic>source-selection programs<\/jats:italic>, for which we define syntax and semantics. Due to the structured nature of the considered data items, the semantics of such programs must carefully respect implicit context information in source-selection rules, and furthermore combine it with possible user preferences. A prototype implementation of our approach has been realized exploiting the DLV KR system and its PLP front-end for prioritized ELPs. We describe a representative example involving specific movie databases, and report about experimental results.<\/jats:p>","DOI":"10.1017\/s1471068406002754","type":"journal-article","created":{"date-parts":[[2007,3,14]],"date-time":"2007-03-14T09:10:41Z","timestamp":1173863441000},"page":"249-300","source":"Crossref","is-referenced-by-count":1,"title":["A knowledge-based approach for selecting information sources"],"prefix":"10.1017","volume":"7","author":[{"given":"THOMAS","family":"EITER","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MICHAEL","family":"FINK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HANS","family":"TOMPITS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,5,1]]},"reference":[{"key":"S1471068406002754_N106B3","unstructured":"Goto S. , Ozono T. and Shintani T. 2001. A Method for Information Source Selection using Thesaurus for Distributed Information Retrieval. Proceedings of the Pacific Asian Conference on Intelligent Systems 2001 (PAIS 2001). 272\u2013277."},{"key":"S1471068406002754_N10169","doi-asserted-by":"crossref","unstructured":"Apt K. , Blair H. and Walker A. 1988. Towards a Theory of Declarative Knowledge. See Minker (1988), 89\u2013148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"S1471068406002754_N1074B","unstructured":"Kirk T. , Levy A. , Sagiv Y. , and Srivastava D. 1995. The Information Manifold. Proceedings of the AAAI 2001 Spring Symposium on Information Gathering in Distributed Heterogeneous Environments. AAAI Press, 85\u201391."},{"key":"S1471068406002754_N104B1","unstructured":"Eiter T. , Fink M. and Tompits H. 2003. A Knowledge-Based Approach for Selecting Information Sources. Tech. Rep. INFSYS RR-1843-03-14, 2003, Institut f\u00fcr Informations-systeme, Technische Universit\u00e4t Wien."},{"key":"S1471068406002754_N105F5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008683107812"},{"key":"S1471068406002754_N105A3","doi-asserted-by":"publisher","DOI":"10.1145\/309844.310060"},{"key":"S1471068406002754_N10595","unstructured":"Fink M. 2002. Declarative Logic-Programming Components for Information Agents. Ph.D. thesis, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien, Austria."},{"key":"S1471068406002754_N1087C","unstructured":"Lifschitz V. and Turner H. 1994. Splitting a Logic Program. Proceedings of the Eleventh International Conference on Logic Programming (ICLP '94). MIT Press, 23\u201338."},{"key":"S1471068406002754_N10581","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","volume-title":"WordNet: An Electronic Lexical Database","author":"Fellbaum","year":"1998"},{"key":"S1471068406002754_N109DB","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems: Theory and Implementation","author":"Subrahmanian","year":"2000"},{"key":"S1471068406002754_N1053F","unstructured":"Eiter T. , Lukasiewicz T. , Schindlauer R. and Tompits H. 2004. Combining Answer-Set Programming with Description Logics for the Semantic Web. Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), D. Dubois, C. Welty, and M.-A. Williams, Eds. Morgan Kaufmann, 141\u2013151."},{"key":"S1471068406002754_N1051B","doi-asserted-by":"crossref","unstructured":"Eiter T. , Ianni G. , Schindlauer R. and Tompits H. 2005b. Nonmonotonic Description Logic Programs: Implementation and Experiments. Proceedings of the Twelfth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2004), F. Baader and A. Voronkov, Eds. LNCS, vol. 3452. Springer, 511\u2013517.","DOI":"10.1007\/978-3-540-32275-7_34"},{"key":"S1471068406002754_N1066F","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068406002754_N103D5","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"S1471068406002754_N101F9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068406002754_N104CB","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"S1471068406002754_N10114","volume-title":"Data on the Web: From Relations to Semistructured Data and XML","author":"Abiteboul","year":"2000"},{"key":"S1471068406002754_N1082A","doi-asserted-by":"publisher","DOI":"10.1007\/BF00962627"},{"key":"S1471068406002754_N1080C","unstructured":"Levy A. , Rajaraman A. and Ordille J. 1996. Querying Heterogeneous Information Sources using Source Descriptions. Proceedings of the Twentysecond International Conference on Very Large Data Bases (VLDB '96), T. Vijayaraman, A. Buchmann, C. Mohan, and N. Sarda, Eds. Morgan Kaufmann, 251\u2013262."},{"key":"S1471068406002754_N10695","doi-asserted-by":"crossref","unstructured":"Genesereth M. , Keller A. and Duschka O. 1997. Infomaster: An Information Integration System. Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD '97), J. Peckham, Ed. ACM Press, 539\u2013542.","DOI":"10.1145\/253260.253400"},{"key":"S1471068406002754_N1098B","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645509474"},{"key":"S1471068406002754_N10725","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","article-title":"Prioritized Logic Programming and Its Applications to Commonsense Reasoning","volume":"123","author":"Inoue","year":"2000","journal-title":"Artificial Intelligence"},{"key":"S1471068406002754_N10909","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1232266"},{"key":"S1471068406002754_N10A3E","doi-asserted-by":"crossref","unstructured":"Wendlandt E. B. and Driscoll J. R. 1991. Incorporating a Semantic Analysis into a Document Retrieval Strategy. Proceedings of the Fourteenth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, A. Bookstein, Y. Chiaramella, G. Salton, and V. V. Raghavan, Eds. ACM Press, 270\u2013279.","DOI":"10.1145\/122860.122888"},{"key":"S1471068406002754_N1020D","doi-asserted-by":"crossref","unstructured":"Bayardo R. , Bohrer B. , Brice R. , Cichocki A. , Fowler J. , Helal A. , Kashyap V. , Ksiezyk T. , Martin G. , Nodine M. , Rashid M. , Rusinkiewicz M. , Shea R. , Unnikrishnan C. , Unruh A. and Woelk D. 1997. InfoSleuth: Semantic Integration of Information in Open and Dynamic Environments (Experience Paper). Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD '97). 195\u2013206.","DOI":"10.1145\/253262.253294"},{"key":"S1471068406002754_N10279","doi-asserted-by":"crossref","unstructured":"Borgida A. , Brachman R. J. , McGuinness D. L. and Resnick L. A. 1989. CLASSIC: A Structural Data Model for Objects. Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD '89), J. Clifford, B. G. Lindsay, and D. Maier, Eds. ACM Press, 58\u201367.","DOI":"10.1145\/67544.66932"},{"key":"S1471068406002754_N10183","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215793000071"},{"key":"S1471068406002754_N10787","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(88)90039-6"},{"key":"S1471068406002754_N1029D","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"S1471068406002754_N10137","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"S1471068406002754_N10401","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00020-1"},{"key":"S1471068406002754_N106F5","unstructured":"Huffman S. B. and Steier D. 1995. A Navigation Assistant for Data Source Selection and Integration. Working Notes of the AAAI '95 Fall Symposium Series on AI Applications in Knowledge Navigation and Retrieval, Cambridge, MA. AAAI Press, 72\u201377."},{"key":"S1471068406002754_N104F7","unstructured":"Eiter T. , Ianni G. , Schindlauer R. and Tompits H. 2005a. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005). Morgan Kaufmann."},{"key":"S1471068406002754_N10381","unstructured":"Decker K. , Sycara K. and Williamson M. 1997. Middle-Agents for the Internet. Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI '97). Vol. 1. Morgan Kaufmann, 578\u2013583."},{"key":"S1471068406002754_N106D1","doi-asserted-by":"crossref","unstructured":"Grosof B. N. , Horrocks I. , Volz R. and Decker S. 2003. Description Logic Programs: Combining Logic Programs with Description Logics. Proceedings of the Twelfth International World Wide Web Conference (WWW 2003). ACM Press, 48\u201357.","DOI":"10.1145\/775152.775160"},{"key":"S1471068406002754_N1044D","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068401001247"},{"key":"S1471068406002754_N107BC","volume-title":"Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project","author":"Lenat","year":"1990"},{"key":"S1471068406002754_N1096F","doi-asserted-by":"crossref","unstructured":"Sim K. M. and Wong P. T. 2001. Web-Based Information Retrieval using Agent and Ontology. In Proceedings of the First Asia-Pacific Conference on Web Intelligence (WI 2001), N. Zhong et al., Ed. LNCS, subseries LNAI, vol. 2198. Springer, 384\u2013388.","DOI":"10.1007\/3-540-45490-X_48"},{"key":"S1471068406002754_N1047F","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001576"},{"key":"S1471068406002754_N103B7","unstructured":"Delgrande J. , Schaub T. and Tompits H. 2001. plp: A Generic Compiler for Ordered Logic Programs. Proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), T. Eiter, W. Faber, and M. Truszczy\u0144ski, Eds. LNCS, subseries LNAI, vol. 2173. Springer, 411\u2013415."},{"key":"S1471068406002754_N10657","doi-asserted-by":"crossref","unstructured":"Geerts P. and Vermeir D. 1995. Specificity by Default. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU '95). LNCS, subseries LNAI, vol. 946. Springer, 207\u2013216.","DOI":"10.1007\/3-540-60112-0_24"},{"key":"S1471068406002754_N102C3","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00076-3"},{"key":"S1471068406002754_N105D5","doi-asserted-by":"publisher","DOI":"10.1145\/314516.314517"},{"key":"S1471068406002754_N10339","doi-asserted-by":"crossref","unstructured":"Chen Y.-J. and Soo V.-W. 2001. Ontology-Based Information Gathering Agents. Proceedings of the First Asia-Pacific Conference on Web Intelligence (WI 2001), N. Zhong et al., Ed. LNCS, subseries LNAI, vol. 2198. Springer, 423\u2013427.","DOI":"10.1007\/3-540-45490-X_53"},{"key":"S1471068406002754_N101B5","unstructured":"Arens Y. and Knoblock C. 1992. Planning and Reformulating Queries for Semantically-Modeled Multidatabase Systems. Proceedings of the First International Conference on Information and Knowledge Managements. 92\u2013101."},{"key":"S1471068406002754_N10355","doi-asserted-by":"publisher","DOI":"10.1109\/2.116889"},{"key":"S1471068406002754_N107A4","unstructured":"Laenens E. and Vermeir D. 1990. A Logical Basis for Object-Oriented Programming. Proceedings of the Second European Workshop on Logics in Artificial Intelligence (JELIA '90). LNCS, subseries LNAI. Springer, 317\u2013332."},{"key":"S1471068406002754_N1063F","unstructured":"Geerts P. and Vermeir D. 1993. A Nonmonotonic Reasoning Formalism using Implicit Specificity Information. Proceedings of the Second International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR '93), L.-M. Pereira and A. Nerode, Eds. LNCS, subseries LNAI. Springer, 380\u2013396."},{"key":"S1471068406002754_N1076F","unstructured":"Kowalski R. A. and Sadri F. 1990. Logic Programs with Exceptions. Proceedings of the Seventh International Conference on Logic Programming (ICLP '90). MIT Press, 598\u2013616."},{"key":"S1471068406002754_N10439","unstructured":"Dimopoulos Y. and Kakas A. 2001. Information Integration and Computational Logic. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-Net, 105\u2013135."},{"key":"S1471068406002754_N102EF","doi-asserted-by":"publisher","DOI":"10.1109\/69.877512"},{"key":"S1471068406002754_N1031B","unstructured":"Burke R. , Hammond K. and Kozlovsky J. 1995. Knowledge-Based Information Retrieval from Semi-Structured Text. Working Notes of the AAAI '95 Fall Symposium, Series on AI Applications in Knowledge Navigation and Retrieval, Cambridge, MA. 19\u201324."},{"key":"S1471068406002754_N10563","doi-asserted-by":"crossref","unstructured":"Faber W. , Leone N. and Pfeifer G. 2004. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004), J. J. Alferes and J. A. Leite, Eds. LNCS, subseries LNAI, vol. 3229. Springer, 200\u2013212.","DOI":"10.1007\/978-3-540-30227-8_19"},{"key":"S1471068406002754_N1039F","doi-asserted-by":"crossref","unstructured":"Delgrande J. and Schaub T. 1994. A General Approach to Specificity in Default Reasoning. Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94). 146\u2013157.","DOI":"10.1016\/B978-1-4832-1452-8.50110-X"},{"key":"S1471068406002754_N107D6","doi-asserted-by":"crossref","unstructured":"Leone N. , Pfeifer G. , Faber W. , Eiter T. , Gottlob G. , Perri S. and Scarcello F. 2006. The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic. To appear.","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068406002754_N10856","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00013-8"},{"key":"S1471068406002754_N10894","doi-asserted-by":"crossref","unstructured":"Luke S. , Spector L. , Rager D. and Hendler J. 1997. Ontology-Based Web Agents. Proceedings of the First International Conference on Autonomous Agents (Agents '97), W. L. Johnson, Ed. 59\u201366.","DOI":"10.1145\/267658.267668"},{"key":"S1471068406002754_N101CD","doi-asserted-by":"publisher","DOI":"10.1007\/BF00122124"},{"key":"S1471068406002754_N108B8","unstructured":"MacGregor R. and Bates R. 1987. The LOOM Knowledge Representation Language. Tech. Rep. RS-87-188, Information Sciences Institute, University of Southern California. Project Web page http:\/\/www.isi.edu\/isd\/LOOM\/."},{"key":"S1471068406002754_N108E7","unstructured":"Motik B. , Volz R. and Maedche A. 2003. Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. Proceedings of the Tenth International Workshop on Knowledge Representation meets Databases (KRDB 2003), F. Bry, C. Lutz, U. Sattler, and M. Schoop, Eds. CEUR Workshop Proceedings, vol. 79. RWTH Aachen University, 39\u201350. http:\/\/sunsite.informatik.rwth-aachen.de\/Publications\/CEUR-WS\/Vol-79\/."},{"key":"S1471068406002754_N108D0","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Minker","year":"1988"},{"key":"S1471068406002754_N1093B","unstructured":"Przymusinski T. C. 1988. On the Declarative Semantics of Deductive Databases and Logic Programs. See Minker (1998), 193\u2013216."},{"key":"S1471068406002754_N10961","unstructured":"Schindlauer R. 2002. Representation of SQL Queries for Declarative Query Analysis. M.S. thesis, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien, Austria."},{"key":"S1471068406002754_N10A13","doi-asserted-by":"crossref","unstructured":"Swift T. 2004. Deduction in Ontologies via ASP. Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004), I. Niemel\u00e4 and V. Lifschitz, Eds. LNCS, subseries LNAI, vol. 2923. Springer, 275\u2013288.","DOI":"10.1007\/978-3-540-24609-1_24"},{"key":"S1471068406002754_N10A25","doi-asserted-by":"crossref","unstructured":"Van Nieuwenborgh D. , and Vermeir D. 2002. Preferred Answer Sets of Ordered Logic Programs. Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA 2002), S. Flesca, S. Greco, G. Ianni, and N. Leone, Eds. LNCS, subseries LNAI, vol. 2424. 432\u2013443.","DOI":"10.1007\/3-540-45757-7_36"},{"key":"S1471068406002754_N10A56","doi-asserted-by":"crossref","unstructured":"Wiederhold G. 1993. Intelligent Intration of Information. Proceedings of the ACM SIGMOD Conference on Management of Data (SIGMOD '93). 434\u2013437.","DOI":"10.1145\/170036.170118"},{"key":"S1471068406002754_N1070D","unstructured":"Huhns M. and Singh M. 1992. The Semantic Integration of Information Models. Proceedings of the AAAI Workshop on Cooperation among Heterogeneous Intelligent Agents."},{"key":"S1471068406002754_N10949","unstructured":"Sadri F. and Toni F. 2000. Computational Logic and Multi-Agent Systems: A Roadmap. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-Net, 1\u201331."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068406002754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T21:13:57Z","timestamp":1587417237000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068406002754\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":68,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["S1471068406002754"],"URL":"https:\/\/doi.org\/10.1017\/s1471068406002754","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}