{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:37:29Z","timestamp":1726033049933},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030221010"},{"type":"electronic","value":"9783030221027"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22102-7_14","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T08:21:26Z","timestamp":1561450886000},"page":"301-328","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Effective Query Answering with Ontologies and DBoxes"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Franconi","sequence":"first","affiliation":[]},{"given":"Volha","family":"Kerhet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,1]]},"reference":[{"key":"14_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. (JAIR) 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.tcs.2007.12.008","volume":"394","author":"A Avron","year":"2008","unstructured":"Avron, A.: Constructibility and decidability versus domain independence and absoluteness. Theor. Comput. Sci. 394, 144\u2013158 (2008). \n                    https:\/\/doi.org\/10.1016\/j.tcs.2007.12.008\n                    \n                  . \n                    http:\/\/dl.acm.org\/citation.cfm?id=1351194.1351447","journal-title":"Theor. Comput. Sci."},{"issue":"11","key":"14_CR4","first-page":"1328","volume":"5","author":"V B\u00e1r\u00e1ny","year":"2012","unstructured":"B\u00e1r\u00e1ny, V., ten Cate, B., Otto, M.: Queries with guarded negation. PVLDB 5(11), 1328\u20131339 (2012)","journal-title":"PVLDB"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-642-22012-8_28","volume-title":"Automata, Languages and Programming","author":"V B\u00e1r\u00e1ny","year":"2011","unstructured":"B\u00e1r\u00e1ny, V., ten Cate, B., Segoufin, L.: Guarded negation. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011. LNCS, vol. 6756, pp. 356\u2013367. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-22012-8_28"},{"doi-asserted-by":"crossref","unstructured":"B\u00e1r\u00e1ny, V., Gottlob, G., Otto, M.: Querying the guarded fragment. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), pp. 1\u201310 (2010)","key":"14_CR6","DOI":"10.1109\/LICS.2010.26"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/S1385-7258(53)50042-3","volume":"15","author":"E Beth","year":"1953","unstructured":"Beth, E.: On Padoa\u2019s method in the theory of definition. Indagationes Math. 15, 330\u2013339 (1953)","journal-title":"Indagationes Math."},{"key":"14_CR8","series-title":"Studies in Big Data","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-319-61893-7_10","volume-title":"A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years","author":"D Calvanese","year":"2018","unstructured":"Calvanese, D., Franconi, E.: First-order ontology mediated database querying via query reformulation. In: Flesca, S., Greco, S., Masciari, E., Sacc\u00e0, D. (eds.) A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years. SBD, vol. 31, pp. 169\u2013185. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-61893-7_10"},{"unstructured":"ten Cate, B., Franconi, E., Seylan, \u0130.: Beth definability in expressive description logics. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1099\u20131106 (2011)","key":"14_CR9"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1613\/jair.4057","volume":"48","author":"B Cate ten","year":"2013","unstructured":"ten Cate, B., Franconi, E., Seylan, I.: Beth definability in expressive description logics. J. Artif. Intell. Res. (JAIR) 48, 347\u2013414 (2013). \n                    https:\/\/doi.org\/10.1613\/jair.4057","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"3","key":"14_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W Craig","year":"1957","unstructured":"Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symb. Log. 22(3), 269\u2013285 (1957)","journal-title":"J. Symb. Log."},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0004-3702(96)00026-4","volume":"89","author":"O Etzioni","year":"1997","unstructured":"Etzioni, O., Golden, K., Weld, D.S.: Sound and efficient closed-world reasoning for planning. Artif. Intell. 89, 113\u2013148 (1997). \n                    https:\/\/doi.org\/10.1016\/S0004-3702(96)00026-4\n                    \n                  . \n                    http:\/\/dl.acm.org\/citation.cfm?id=249678.249685","journal-title":"Artif. Intell."},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2011.09.001","volume":"37","author":"W Fan","year":"2012","unstructured":"Fan, W., Geerts, F., Zheng, L.: View determinacy for preserving selected information in data transformations. Inf. Syst. 37, 1\u201312 (2012). \n                    https:\/\/doi.org\/10.1016\/j.is.2011.09.001","journal-title":"Inf. Syst."},{"issue":"2","key":"14_CR14","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1109\/TKDE.2014.2334327","volume":"27","author":"I Feinerer","year":"2015","unstructured":"Feinerer, I., Franconi, E., Guagliardo, P.: Lossless selection views under conditional domain constraints. IEEE Trans. Knowl. Data Eng. 27(2), 504\u2013517 (2015). \n                    https:\/\/doi.org\/10.1109\/TKDE.2014.2334327","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"14_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M Fitting","year":"1996","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, New York (1996). \n                    https:\/\/doi.org\/10.1007\/978-1-4612-2360-3","edition":"2"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2011.10.007","volume":"278","author":"E Franconi","year":"2011","unstructured":"Franconi, E., Ibanez-Garcia, Y.A., Seylan, \u0130.: Query answering with DBoxes is hard. Electron. Notes Theor. Comput. Sci. 278, 71\u201384 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-33353-8_16","volume-title":"Logics in Artificial Intelligence","author":"E Franconi","year":"2012","unstructured":"Franconi, E., Kerhet, V., Ngo, N.: Exact query reformulation with first-order ontologies and databases. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 202\u2013214. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-33353-8_16"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1613\/jair.4058","volume":"48","author":"E Franconi","year":"2013","unstructured":"Franconi, E., Kerhet, V., Ngo, N.: Exact query reformulation over databases with first-order and description logics ontologies. J. Artif. Intell. Res. (JAIR) 48, 885\u2013922 (2013). \n                    https:\/\/doi.org\/10.1613\/jair.4058","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-33203-6_18","volume-title":"Web Reasoning and Rule Systems","author":"E Franconi","year":"2012","unstructured":"Franconi, E., Ngo, N., Sherkhonov, E.: The definability abduction problem for data exchange. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 217\u2013220. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-33203-6_18"},{"key":"14_CR20","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BFb0099486","volume-title":"Computation and Proof Theory","author":"Y Gurevich","year":"1984","unstructured":"Gurevich, Y.: Toward logic tailored for computational complexity. In: B\u00f6rger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds.) Computation and Proof Theory. LNM, vol. 1104, pp. 175\u2013216. Springer, Heidelberg (1984). \n                    https:\/\/doi.org\/10.1007\/BFb0099486"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"AY Halevy","year":"2001","unstructured":"Halevy, A.Y.: Answering queries using views: a survey. VLDB J. 10, 270\u2013294 (2001). \n                    https:\/\/doi.org\/10.1007\/s007780100054","journal-title":"VLDB J."},{"unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 199\u2013204 (2001)","key":"14_CR22"},{"key":"14_CR23","volume-title":"Mathematical Logic","author":"SC Kleene","year":"2002","unstructured":"Kleene, S.C.: Mathematical Logic. Dover, New York (2002)"},{"unstructured":"Lutz, C., Seylan, I., Wolter, F.: Ontology-mediated queries with closed predicates. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 3120\u20133126 (2015). \n                    http:\/\/ijcai.org\/Abstract\/15\/440","key":"14_CR24"},{"doi-asserted-by":"publisher","unstructured":"Marx, M.: Queries determined by views: pack your views. In: Proceedings of the 26th ACM symposium on Principles of Database Systems, PODS 2007, pp. 23\u201330 (2007). \n                    https:\/\/doi.org\/10.1145\/1265530.1265534","key":"14_CR25","DOI":"10.1145\/1265530.1265534"},{"key":"14_CR26","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1806907.1806913","volume":"35","author":"A Nash","year":"2010","unstructured":"Nash, A., Segoufin, L., Vianu, V.: Views and queries: determinacy and rewriting. ACM Trans. Database Syst. 35, 211\u20132141 (2010). \n                    https:\/\/doi.org\/10.1145\/1806907.1806913","journal-title":"ACM Trans. Database Syst."},{"unstructured":"Ngo, N., Franconi, E.: Unique solutions in data exchange under STS mappings. In: Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW-2016) (2016). \n                    http:\/\/ceur-ws.org\/Vol-1644\/paper5.pdf","key":"14_CR27"},{"unstructured":"Ngo, N., Ortiz, M., Simkus, M.: Closed predicates in description logics: results on combined complexity. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, 25\u201329 April 2016, pp. 237\u2013246 (2016). \n                    http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12906","key":"14_CR28"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/978-3-642-35176-1_28","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"PF Patel-Schneider","year":"2012","unstructured":"Patel-Schneider, P.F., Franconi, E.: Ontology constraints in incomplete and complete data. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 444\u2013459. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-35176-1_28"},{"issue":"3","key":"14_CR30","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1016\/j.jcss.2010.04.011","volume":"77","author":"R Rosati","year":"2011","unstructured":"Rosati, R.: On the finite controllability of conjunctive query answering in databases under open-world assumption. J. Comput. Syst. Sci. 77(3), 572\u2013594 (2011)","journal-title":"J. Comput. Syst. Sci."},{"unstructured":"Seylan, \u0130., Franconi, E., de Bruijn, J.: Effective query rewriting with ontologies over DBoxes. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 923\u2013925 (2009)","key":"14_CR31"},{"key":"14_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00363ED1V01Y201105DTM018","volume":"3","author":"D Toman","year":"2011","unstructured":"Toman, D., Weddell, G.E.: Fundamentals of physical design and query compilation. Synth. Lect. Data Manag. 3, 1\u2013124 (2011). \n                    https:\/\/doi.org\/10.2200\/S00363ED1V01Y201105DTM018","journal-title":"Synth. Lect. Data Manag."}],"container-title":["Lecture Notes in Computer Science","Description Logic, Theory Combination, and All That"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22102-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T08:23:50Z","timestamp":1561451030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22102-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030221010","9783030221027"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22102-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}