{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:39:35Z","timestamp":1742945975467,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319119144"},{"type":"electronic","value":"9783319119151"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11915-1_12","type":"book-chapter","created":{"date-parts":[[2014,10,9]],"date-time":"2014-10-09T04:59:39Z","timestamp":1412830779000},"page":"180-195","source":"Crossref","is-referenced-by-count":14,"title":["Abstraction Refinement for Ontology Materialization"],"prefix":"10.1007","author":[{"given":"Birte","family":"Glimm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Liebig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Trung-Kien","family":"Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Vialard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3233\/SW-2011-0026","volume":"2","author":"B. Bishop","year":"2011","unstructured":"Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLIM: A family of scalable semantic repositories. Semantic Web J.\u00a02(1), 33\u201342 (2011)","journal-title":"Semantic Web J."},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","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. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","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. of Web Semantics\u00a07(4), 357\u2013361 (2009)","journal-title":"J. of Web Semantics"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/11926078_25","volume-title":"The Semantic Web - ISWC 2006","author":"A. Fokoue","year":"2006","unstructured":"Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: The summary ABox: Cutting ontologies down to size. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 343\u2013356. Springer, Heidelberg (2006)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Glimm, B., Kazakov, Y., Liebig, T., Tran, T.K., Vialard, V.: Abstraction Refinement for Ontology Materialization. Tech. rep., University of Ulm and derivo GmbH (2014), https:\/\/www.uni-ulm.de\/fileadmin\/website_uni_ulm\/iui.inst.090\/Publikationen\/2014\/abstractionrefinementTR.pdf","DOI":"10.1007\/978-3-319-11915-1_12"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.3872","volume":"48","author":"I. Kollia","year":"2013","unstructured":"Kollia, I., Glimm, B.: Optimizing SPARQL query answering over OWL ontologies. J. of Artificial Intelligence Research (JAIR)\u00a048, 253\u2013303 (2013)","journal-title":"J. of Artificial Intelligence Research (JAIR)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-642-17746-0_28","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"V. Kolovski","year":"2010","unstructured":"Kolovski, V., Wu, Z., Eadon, G.: Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 436\u2013452. Springer, Heidelberg (2010)"},{"key":"12_CR9","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press (2010)"},{"key":"12_CR10","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic $\\mathcal{EL}$ using a relational database system. In: Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009), pp. 2070\u20132075 (2009)"},{"key":"12_CR11","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles, 2nd edn. W3C Recommendation (December 11, 2012), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","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. of Applied Logic\u00a08(2), 186\u2013209 (2010)","journal-title":"J. of Applied Logic"},{"key":"12_CR13","unstructured":"Siman\u010d\u00edk, F.: Elimination of complex RIAs without automata. In: Proc. of the 25th Int. Workshop on Description Logics (2012)"},{"key":"12_CR14","doi-asserted-by":"publisher","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.: WebPIE: A web-scale parallel inference engine using MapReduce. J. of Web Semantics\u00a010, 59\u201375 (2012)","journal-title":"J. of Web Semantics"},{"key":"12_CR15","unstructured":"Wandelt, S.: Efficient instance retrieval over semi-expressive ontologies. Ph.D. thesis, Hamburg University of Technology (2011)"},{"issue":"2","key":"12_CR16","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. of Applied Ontology\u00a07(2), 133\u2013167 (2012)","journal-title":"J. of Applied Ontology"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11915-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T16:35:59Z","timestamp":1598373359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11915-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119144","9783319119151"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11915-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}