{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:40:43Z","timestamp":1725864043900},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319452753"},{"type":"electronic","value":"9783319452760"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45276-0_6","type":"book-chapter","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T08:18:04Z","timestamp":1472113084000},"page":"61-76","source":"Crossref","is-referenced-by-count":1,"title":["Query Rewriting under Linear $$\\mathcal {EL}$$ Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Mirko M.","family":"Dimartino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Cal\u00ec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandra","family":"Poulovassilis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter T.","family":"Wood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,26]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: IJCAI (2005)","DOI":"10.25368\/2022.144"},{"key":"6_CR2","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Description Logic Handbook. pp. 43\u201395 (2003)"},{"issue":"9","key":"6_CR3","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"JF Baget","year":"2011","unstructured":"Baget, J.F., Leclre, M., Mugnier, M.L., Salvat, E.: On rules with existential variables: walking the decidability line. Artif. Intell. 175(9), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"issue":"4","key":"6_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/2389241.2389250","volume":"37","author":"P Barcelo","year":"2012","unstructured":"Barcelo, P., Libkin, L., Lin, A.W., Wood, P.T.: Expressive languages for path queries over graph-structured data. TODS 37(4), 31 (2012)","journal-title":"TODS"},{"key":"6_CR5","unstructured":"Bienvenu, M., Hansen, P., Lutz, C., Wolter, F.: First order-rewritability and containment of conjunctive queries in horn description logics. In: DLOG (2016)"},{"key":"6_CR6","unstructured":"Bienvenu, M., Lutz, C., Wolter, F.: First-order rewritability of atomic queries in horn description logics. In: IJCAI (2013)"},{"key":"6_CR7","unstructured":"Bienvenu, M., Ortiz, M., Simkus, M.: Conjunctive regular path queries in lightweight description logics. In: IJCAI (2013)"},{"key":"6_CR8","unstructured":"Bourhis, P., Kr\u00f6tzsch, M., Rudolph, S.: Reasonable highly expressive query languages. In: IJCAI (2015)"},{"issue":"3","key":"6_CR9","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: ontological queries: rewriting and optimization. In: ICDE (2011)","DOI":"10.1109\/ICDE.2011.5767965"},{"key":"6_CR11","unstructured":"Hansen, P., Lutz, C., Seylan, I., Wolter, F.: Query rewriting under EL TBoxes: efficient algorithms. In: Description Logics (2014)"},{"key":"6_CR12","unstructured":"Hansen, P., Lutz, C., Seylan, I., Wolter, F.: Efficient query rewriting in the description logic EL and beyond. In: IJCAI (2015)"},{"key":"6_CR13","unstructured":"Kikot, S., Kontchakov, R., Zakharyaschev, M.: Conjunctive query answering with OWL 2 QL. In: KR (2012)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-319-10587-1_5","volume-title":"Reasoning Web","author":"R Kontchakov","year":"2014","unstructured":"Kontchakov, R., Zakharyaschev, M.: An introduction to description logics and query rewriting. In: Koubarakis, M., Stamou, G., Stoilos, G., Horrocks, I., Kolaitis, P., Lausen, G., Weikum, G. (eds.) Reasoning Web. LNCS, vol. 8714, pp. 195\u2013244. Springer, Heidelberg (2014)"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1613\/jair.4022","volume":"47","author":"M Mosurovic","year":"2013","unstructured":"Mosurovic, M., Krdzavac, N., Graves, H., Zakharyaschev, M.: A decidable extension of SROIQ with complex role chains and unions. JAIR 47, 809\u2013851 (2013)","journal-title":"JAIR"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/978-3-642-04930-9_31","volume-title":"The Semantic Web - ISWC 2009","author":"H P\u00e9rez-Urbina","year":"2009","unstructured":"P\u00e9rez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 489\u2013504. Springer, Heidelberg (2009)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-88594-8_1","volume-title":"Semantics in Data and Knowledge Bases","author":"K-D Schewe","year":"2008","unstructured":"Schewe, K.-D., Thalheim, B.: Semantics in data and knowledge bases. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol. 4925, pp. 1\u201325. Springer, Heidelberg (2008)"},{"key":"6_CR18","unstructured":"Rosati, R.: On conjunctive query answering in EL. In: DL (2007)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45276-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T01:00:23Z","timestamp":1657155623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45276-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319452753","9783319452760"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45276-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}