{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T13:18:23Z","timestamp":1709471903590},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T00:00:00Z","timestamp":1611014400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T00:00:00Z","timestamp":1611014400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Data Sci. Eng."],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Ontology-mediated querying (OMQ) provides a paradigm for query answering according to which users not only query records at the database but also query implicit information inferred from ontology. A key challenge in OMQ is that the implicit information may be infinite, which cannot be stored at the database and queried by off -the -shelf query engine. The commonly adopted technique to deal with infinite entailments is query rewriting, which, however, comes at the cost of query rewriting at runtime. In this work, the partial materialization method is proposed to ensure that the extension is always finite. The partial materialization technology does not rewrite query but instead computes partial consequences entailed by ontology before the online query. Besides, a query analysis algorithm is designed to ensure the completeness of querying rooted and Boolean conjunctive queries over partial materialization. We also soundly and incompletely expand our method to support highly expressive ontology language, OWL 2 DL. Finally, we further optimize the materialization efficiency by role rewriting algorithm and implement our approach as a prototype system SUMA by integrating off-the-shelf efficient SPARQL query engine. The experiments show that SUMA is complete on each test ontology and each test query, which is the same as Pellet and outperforms PAGOdA. Besides, SUMA is highly scalable on large datasets.<\/jats:p>","DOI":"10.1007\/s41019-020-00150-0","type":"journal-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T16:04:04Z","timestamp":1611072244000},"page":"229-245","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["SUMA: A Partial Materialization-Based Scalable Query Answering in OWL 2 DL"],"prefix":"10.1007","volume":"6","author":[{"given":"Xiaoyu","family":"Qin","sequence":"first","affiliation":[]},{"given":"Xiaowang","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Muhammad Qasim","family":"Yasin","sequence":"additional","affiliation":[]},{"given":"Shujun","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Guohui","family":"Xiao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,19]]},"reference":[{"key":"150_CR1","doi-asserted-by":"crossref","unstructured":"Qin X, Zhang X, Yasin MQ, Wang S, Feng Z, Xiao G (2020) A partial materialization-based approach to scalable query answering in OWL 2 DL. In: International conference on database systems for advanced applications, pp 171\u2013187","DOI":"10.1007\/978-3-030-59419-0_11"},{"key":"150_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 (2009) The DL-Lite family and relations. J Artif Intell Res 36:1\u201369. https:\/\/doi.org\/10.1613\/jair.2820","journal-title":"J Artif Intell Res"},{"key":"150_CR3","unstructured":"Bienvenu M (2016) Ontology-mediated query answering: harnessing knowledge to get more from data. In: Proceedings of the twenty-fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9\u201315 July 2016, pp. 4058\u20134061. http:\/\/www.ijcai.org\/Abstract\/16\/600"},{"issue":"3","key":"150_CR4","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.websem.2009.07.002","volume":"7","author":"C Bizer","year":"2009","unstructured":"Bizer C, Lehmann J, Kobilarov G, Auer S, Becker C, Cyganiak R, Hellmann S (2009) DBpedia\u2014a crystallization point for the web of data. J Web Semant 7(3):154\u2013165. https:\/\/doi.org\/10.1016\/j.websem.2009.07.002","journal-title":"J Web Semant"},{"key":"150_CR5","unstructured":"Botoeva E, Calvanese D, Santarelli V, Savo DF, Solimando A, Xiao G (2015) Beyond OWL 2 QL in OBDA: rewritings and approximations (extended version). CoRR arxiv:abs\/1511.08412"},{"issue":"3","key":"150_CR6","doi-asserted-by":"publisher","first-page":"471","DOI":"10.3233\/SW-160217","volume":"8","author":"D Calvanese","year":"2017","unstructured":"Calvanese D, Cogrel B, Komla-Ebri S, Kontchakov R, Lanti D, Rezk M, Rodriguez-Muro M, Xiao G (2017) Ontop: answering SPARQL queries over relational databases. Semant Web 8(3):471\u2013487. https:\/\/doi.org\/10.3233\/SW-160217","journal-title":"Semant Web"},{"issue":"1","key":"150_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.3233\/SW-2011-0029","volume":"2","author":"D Calvanese","year":"2011","unstructured":"Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Poggi A, Rodriguez-Muro M, Rosati R, Ruzzi M, Savo DF (2011) The MASTRO system for ontology-based data access. Semant Web 2(1):43\u201353. https:\/\/doi.org\/10.3233\/SW-2011-0029","journal-title":"Semant Web"},{"key":"150_CR8","unstructured":"Eiter T, Ortiz M, Simkus M, Tran T, Xiao G (2012) Query rewriting for horn-shiq plus rules. In: Proceedings of the twenty-sixth AAAI Conference on Artificial Intelligence, 22\u201326 July 2012, Toronto, Ontario, Canada. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI12\/paper\/view\/4931"},{"issue":"2\u20133","key":"150_CR9","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo Y, Pan Z, Heflin J (2005) LUBM: a benchmark for OWL knowledge base systems. J Web Semant 3(2\u20133):158\u2013182. https:\/\/doi.org\/10.1016\/j.websem.2005.06.005","journal-title":"J Web Semant"},{"key":"150_CR10","doi-asserted-by":"publisher","unstructured":"Han X, Feng Z, Zhang X, Wang X, Rao G, Jiang S (2016) On the statistical analysis of practical SPARQL queries. In: Proceedings of the 19th international workshop on Web and Databases, San Francisco, CA, USA, June 26, 2016, p 2. https:\/\/doi.org\/10.1145\/2932194.2932196","DOI":"10.1145\/2932194.2932196"},{"key":"150_CR11","doi-asserted-by":"crossref","unstructured":"Hansen P, Lutz C (2018) Computing fo-rewritings in EL in practice: from atomic to conjunctive queries. CoRR arxiv:abs\/1804.06907","DOI":"10.1007\/978-3-319-68288-4_21"},{"key":"150_CR12","unstructured":"Harris S, Seaborne A (2013) Sparql 1. 1 query language"},{"issue":"1","key":"150_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge M, Bechhofer S (2011) The OWL API: a java API for OWL ontologies. Semant Web 2(1):11\u201321. https:\/\/doi.org\/10.3233\/SW-2011-0025","journal-title":"Semant Web"},{"key":"150_CR14","doi-asserted-by":"publisher","unstructured":"Horrocks I, Tessaris S (2002) Querying the semantic web: a formal approach. In: The Semantic Web\u2014ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, 9-12 June 2002, Proceedings, pp 177\u2013191. https:\/\/doi.org\/10.1007\/3-540-48005-6_15","DOI":"10.1007\/3-540-48005-6_15"},{"key":"150_CR15","unstructured":"Kontchakov R, Lutz C, Toman D, Wolter F, Zakharyaschev M (2010) The combined approach to query answering in DL-Lite. In: Principles of knowledge representation and reasoning: proceedings of the twelfth international conference, KR 2010, Toronto, Ontario, Canada, 9-13 May 2010. http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1282"},{"key":"150_CR16","doi-asserted-by":"publisher","unstructured":"Lutz C (2008) The complexity of conjunctive query answering in expressive description logics. In: 4th International Joint Conference Automated Reasoning, IJCAR 2008, Sydney, Australia, 12\u201315 August 2008, Proceedings, pp 179\u2013193. https:\/\/doi.org\/10.1007\/978-3-540-71070-7_16","DOI":"10.1007\/978-3-540-71070-7_16"},{"key":"150_CR17","doi-asserted-by":"publisher","unstructured":"Lutz C, Seylan I, Toman D, Wolter F (2013) The combined approach to OBDA: taming role hierarchies using filters. In: The Semantic Web\u2014ISWC 2013\u201412th International Semantic Web Conference, Sydney, NSW, Australia, 21\u201325 October 2013, Proceedings, Part I, pp 314\u2013330. https:\/\/doi.org\/10.1007\/978-3-642-41335-3_20","DOI":"10.1007\/978-3-642-41335-3_20"},{"key":"150_CR18","doi-asserted-by":"publisher","unstructured":"Ma L, Yang Y, Qiu Z, Xie GT, Pan Y, Liu S (2006) Towards a complete OWL ontology benchmark. In: The semantic web: research and applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, 11\u201314 June 2006, Proceedings, pp 125\u2013139. https:\/\/doi.org\/10.1007\/11762256_12","DOI":"10.1007\/11762256_12"},{"key":"150_CR19","unstructured":"Meng C, Zhang X, Xiao G, Feng Z, Qi G (2018) gowl: A fast ontology-mediated query answering. In: Proceedings of the ISWC 2018 posters & demonstrations, industry and blue sky ideas tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, 8\u201312 October 2018. http:\/\/ceur-ws.org\/Vol-2180\/paper-41.pdf"},{"key":"150_CR20","unstructured":"Motik B, Grau BC, Horrocks I, Wu Z, Fokoue A, Lutz C\u00a0(2009) OWL 2 web ontology language profiles. W3C recommendation 27:61"},{"key":"150_CR21","doi-asserted-by":"crossref","unstructured":"Motik B, Nenov Y, Piro R, Horrocks I, Olteanu D (2014) Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: Proceedings of the twenty-eighth AAAI Conference on Artificial Intelligence, 27\u201331 July 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, pp 129\u2013137. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8505","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"150_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik B, Shearer R, Horrocks I (2009) Hypertableau reasoning for description logics. J Artif Intell Res 36:165\u2013228. https:\/\/doi.org\/10.1613\/jair.2811","journal-title":"J Artif Intell Res"},{"key":"150_CR23","doi-asserted-by":"publisher","unstructured":"Nenov Y, Piro R, Motik B, Horrocks I, Wu Z, Banerjee J (2015) Rdfox: a highly-scalable RDF store. In: The Semantic Web\u2014ISWC 2015\u201414th International Semantic Web Conference, Bethlehem, PA, USA, 11\u201315 October 2015, Proceedings, Part II, pp 3\u201320. https:\/\/doi.org\/10.1007\/978-3-319-25010-6_1","DOI":"10.1007\/978-3-319-25010-6_1"},{"issue":"1","key":"150_CR24","doi-asserted-by":"publisher","first-page":"647","DOI":"10.14778\/1453856.1453927","volume":"1","author":"T Neumann","year":"2008","unstructured":"Neumann T, Weikum G (2008) RDF-3X: a risc-style engine for RDF. Proc VLDB Endow 1(1):647\u2013659. https:\/\/doi.org\/10.14778\/1453856.1453927","journal-title":"Proc VLDB Endow"},{"key":"150_CR25","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.artint.2015.10.004","volume":"235","author":"JZ Pan","year":"2016","unstructured":"Pan JZ, Ren Y, Zhao Y (2016) Tractable approximate deduction for OWL. Artif Intell 235:95\u2013155. https:\/\/doi.org\/10.1016\/j.artint.2015.10.004","journal-title":"Artif Intell"},{"key":"150_CR26","unstructured":"P\u00e9rez-Urbina H, Motik B, Horrocks I (2009) A comparison of query rewriting techniques for DL-Lite. In: Proceedings of the 22nd international workshop on Description Logics (DL 2009), Oxford, UK, 27\u201330 July 2009. http:\/\/ceur-ws.org\/Vol-477\/paper_2.pdf"},{"key":"150_CR27","doi-asserted-by":"publisher","unstructured":"Qin X, Zhang X, Feng Z (2020) Optimizing ontology materialization with equivalent role and inverse role rewriting. In: Companion of the 2020 Web Conference 2020, Taipei, Taiwan, 20\u201324 April 2020, pp 40\u201341. https:\/\/doi.org\/10.1145\/3366424.3382687","DOI":"10.1145\/3366424.3382687"},{"issue":"2","key":"150_CR28","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical OWL-DL reasoner. J Web Semant 5(2):51\u201353. https:\/\/doi.org\/10.1016\/j.websem.2007.03.004","journal-title":"J Web Semant"},{"key":"150_CR29","doi-asserted-by":"publisher","unstructured":"Tanon TP, Weikum G, Suchanek FM (2020) YAGO 4: a reason-able knowledge base. In: The Semantic Web\u201417th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31\u2013June 4, 2020, Proceedings, pp 583\u2013596. https:\/\/doi.org\/10.1007\/978-3-030-49461-2_34","DOI":"10.1007\/978-3-030-49461-2_34"},{"key":"150_CR30","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1613\/jair.4757","volume":"54","author":"Y Zhou","year":"2015","unstructured":"Zhou Y, Grau BC, Nenov Y, Kaminski M, Horrocks I (2015) Pagoda: pay-as-you-go ontology query answering using a datalog reasoner. J Artif Intell Res 54:309\u2013367. https:\/\/doi.org\/10.1613\/jair.4757","journal-title":"J Artif Intell Res"}],"container-title":["Data Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41019-020-00150-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41019-020-00150-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41019-020-00150-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T06:10:48Z","timestamp":1670825448000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41019-020-00150-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,19]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["150"],"URL":"https:\/\/doi.org\/10.1007\/s41019-020-00150-0","relation":{},"ISSN":["2364-1185","2364-1541"],"issn-type":[{"value":"2364-1185","type":"print"},{"value":"2364-1541","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,19]]},"assertion":[{"value":"30 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 November 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 January 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}