{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:41:43Z","timestamp":1725864103242},"publisher-location":"Cham","reference-count":20,"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_7","type":"book-chapter","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T08:18:04Z","timestamp":1472113084000},"page":"77-93","source":"Crossref","is-referenced-by-count":1,"title":["Scalable Reasoning by Abstraction Beyond DL-Lite"],"prefix":"10.1007","author":[{"given":"Birte","family":"Glimm","sequence":"first","affiliation":[]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[]},{"given":"Trung-Kien","family":"Tran","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,26]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","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. 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR2","unstructured":"Bienvenu, M., Kikot, S., Kontchakov, R., Podolskii, V.V., Zakharyaschev, M.: Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries. In: Proceedings of the 29th International Workshop on Description Logics (DL 2016) (2016)"},{"issue":"3","key":"7_CR3","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."},{"issue":"4","key":"7_CR4","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/j.websem.2009.05.002","volume":"7","author":"J Dolby","year":"2009","unstructured":"Dolby, J., Fokoue, A., Kalyanpur, A., Schonberg, E., Srinivas, K.: Scalable highly expressive reasoner (SHER). J. Web Semant. 7(4), 357\u2013361 (2009)","journal-title":"J. Web Semant."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Query rewriting for Horn- $$\\cal SHIQ$$ plus rules. In: Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012) (2012)","DOI":"10.1609\/aaai.v26i1.8219"},{"key":"7_CR6","unstructured":"Feier, C., Carral, D., Stefanoni, G., Cuenca Grau, B., Horrocks, I.: The combined approach to query answering beyond the OWL 2 profiles. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2971\u20132977 (2015)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-319-11915-1_12","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"B Glimm","year":"2014","unstructured":"Glimm, B., Kazakov, Y., Liebig, T., Tran, T.-K., Vialard, V.: Abstraction refinement for ontology materialization. In: Mika, P., et al. (eds.) ISWC 2014, Part II. LNCS, vol. 8797, pp. 180\u2013195. Springer, Heidelberg (2014)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Glimm, B., Kazakov, Y., Tran, T.: Ontology materialization by abstraction refinement in Horn $$\\cal SHOIF$$ . In: Proceedings of the 29th International Workshop on Description Logics (DL 2016) (2016)","DOI":"10.1609\/aaai.v31i1.10691"},{"issue":"3","key":"7_CR9","doi-asserted-by":"crossref","first-page":"25:1","DOI":"10.1145\/2638546","volume":"39","author":"G Gottlob","year":"2014","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: Query rewriting and optimization for ontological databases. ACM Trans. Database Syst. 39(3), 25:1\u201325:46 (2014)","journal-title":"ACM Trans. Database Syst."},{"key":"7_CR10","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal SROIQ$$ . In: Proceeedings of 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367. AAAI Press (2006)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-642-31585-5_26","volume-title":"Automata, Languages, and Programming","author":"S Kikot","year":"2012","unstructured":"Kikot, S., Kontchakov, R., Podolskii, V., Zakharyaschev, M.: Exponential lower bounds and separation for query rewriting. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol. 7392, pp. 263\u2013274. Springer, Heidelberg (2012)"},{"key":"7_CR13","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press (2010)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-3-642-35176-1_18","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"M Kr\u00f6tzsch","year":"2012","unstructured":"Kr\u00f6tzsch, M.: The not-so-easy task of computing class subsumptions in OWL RL. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 279\u2013294. Springer, Heidelberg (2012)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: Proceedings of the 28th National Conference on Artificial Intelligence (AAAI 2014), pp. 129\u2013137 (2014)","DOI":"10.1609\/aaai.v28i1.8730"},{"issue":"2","key":"7_CR16","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/j.jal.2009.09.004","volume":"8","author":"H P\u00e9rez-Urbina","year":"2010","unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. J. Appl. Log. 8(2), 186\u2013209 (2010)","journal-title":"J. Appl. Log."},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.websem.2015.02.001","volume":"33","author":"D Trivela","year":"2015","unstructured":"Trivela, D., Stoilos, G., Chortaras, A., Stamou, G.: Optimising resolution-based rewriting algorithms for OWL ontologies. J. Web Seman. 33, 30\u201349 (2015)","journal-title":"J. Web Seman."},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/j.websem.2011.05.004","volume":"10","author":"J Urbani","year":"2012","unstructured":"Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.E.: WebPIE: A web-scale parallel inference engine using MapReduce. J. Web Seman. 10, 59\u201375 (2012)","journal-title":"J. Web Seman."},{"issue":"2","key":"7_CR19","doi-asserted-by":"crossref","first-page":"133","DOI":"10.3233\/AO-2012-0105","volume":"7","author":"S Wandelt","year":"2012","unstructured":"Wandelt, S., M\u00f6ller, R.: Towards ABox modularization of semi-expressive description logics. J. Appl. Ontol. 7(2), 133\u2013167 (2012)","journal-title":"J. Appl. Ontol."},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1613\/jair.4757","volume":"54","author":"Y Zhou","year":"2015","unstructured":"Zhou, Y., Cuenca Grau, B., Nenov, Y., Kaminski, M., Horrocks, I.: PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner. J Artif. Intell. Res. 54, 309\u2013367 (2015)","journal-title":"J Artif. Intell. Res."}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T01:00:24Z","timestamp":1657155624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45276-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319452753","9783319452760"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45276-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}