{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T06:25:21Z","timestamp":1748845521290,"version":"3.40.5"},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"6","license":[{"start":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T00:00:00Z","timestamp":1600732800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2020,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet decidable fragments have been identified. Among them, we focus on OWL 2 RL, which offers a rich variety of semantic constructors, apart from supporting all RDFS datatypes. Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment. None of them, however, fully satisfy all the following desiderata: <jats:italic>(i)<\/jats:italic> being freely available and regularly maintained; <jats:italic>(ii)<\/jats:italic> supporting query answering and SPARQL queries; <jats:italic>(iii)<\/jats:italic> properly applying the <jats:italic>sameAs<\/jats:italic> property without adopting the unique name assumption; <jats:italic>(iv)<\/jats:italic> dealing with concrete datatypes. To fill the gap, we present <jats:italic>DaRLing<\/jats:italic>, a freely available Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. In particular, we describe its architecture, the rewriting strategies it implements, and the result of an experimental evaluation that demonstrates its practical applicability.<\/jats:p>","DOI":"10.1017\/s1471068420000204","type":"journal-article","created":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T02:43:15Z","timestamp":1600742595000},"page":"958-973","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":5,"title":["DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries"],"prefix":"10.1017","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3298-0256","authenticated-orcid":false,"given":"ALESSIO","family":"FIORENTINO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"JESSICA","family":"ZANGARI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3323-9328","authenticated-orcid":false,"given":"MARCO","family":"MANNA","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2020,9,22]]},"reference":[{"key":"S1471068420000204_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.05.001"},{"key":"S1471068420000204_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"S1471068420000204_ref20","unstructured":"20. Leone, N. , Allocca, C. , Alviano, M. , Calimeri, F. , Civili, C. , Costabile, R. , Fiorentino, A. , Fusc\u00e0, D. , Germano, S. , Laboccetta, G. , Cuteri, B. , Manna, M. , Perri, S. , Reale, K. , Ricca, F. , Veltri, P. , and Zangari, J. 2019. Enhancing DLV for large-scale reasoning. In Proceedings of LPNMR\u201919. LNCS, vol. 11481. Springer, 312\u2013325."},{"key":"S1471068420000204_ref4","volume-title":"Artificial Intelligence","volume":"3","author":"Baader","year":"2008"},{"key":"S1471068420000204_ref24","unstructured":"24. Sirin, E. and Parsia, B. 2007. SPARQL-DL: SPARQL query for OWL-DL. In Proceedings of OWLED\u201907. CEUR Workshop Proceedings, vol. 258. CEUR-WS.org."},{"key":"S1471068420000204_ref6","unstructured":"6. Bienvenu, M. 2016. Ontology-mediated query answering: Harnessing knowledge to get more from data. In Proceedings of IJCAI\u201916. IJCAI\/AAAI Press, 4058\u20134061."},{"key":"S1471068420000204_ref5","unstructured":"5. Baget, J. , Lecl\u00e8re, M. , Mugnier, M. , Rocher, S. , and Sipieter, C. 2015. Graal: A toolkit for query answering with existential rules. In Proceedings of RuleML\u201915. LNCS, vol. 9202. Springer, 328\u2013344."},{"key":"S1471068420000204_ref18","unstructured":"18. Kazakov, Y. 2009. Consequence-driven reasoning for horn SHIQ ontologies. In Proceedings of IJCAI\u201909. 2040\u20132045."},{"key":"S1471068420000204_ref17","unstructured":"17. Horridge, M. and Bechhofer, S. 2009. The OWL API: A java API for working with OWL 2 ontologies. In Proceedings of OWLED\u201909. CEUR Workshop Proceedings, vol. 529. CEUR-WS.org."},{"key":"S1471068420000204_ref12","unstructured":"12. Eiter, T. , Ortiz, M. , Simkus, M. , Tran, T. , and Xiao, G. 2012. Query rewriting for horn-shiq plus rules. In Proceedings of AAAI\u201912. AAAI Press."},{"key":"S1471068420000204_ref2","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1017\/S1471068419000115","article-title":"Enhancing magic sets with an application to ontological reasoning","volume":"5","author":"Alviano","year":"2019","journal-title":"Theory Pract. Log. Program. 19,"},{"key":"S1471068420000204_ref9","doi-asserted-by":"publisher","DOI":"10.3233\/SW-2011-0029"},{"key":"S1471068420000204_ref16","unstructured":"16. Harris, S. and Seaborne, A. 2018. SPARQL 1.1 Query Language. W3C Recommendation. World Wide Web Consortium."},{"key":"S1471068420000204_ref25","unstructured":"25. Smith, M. K. , Welty, C. , and McGuinness, D. L. 2004. OWL Web Ontology Language Guide. W3C Recommendation. World Wide Web Consortium."},{"key":"S1471068420000204_ref26","unstructured":"26. W3C OWL Working Group. 2012. OWL 2 Web Ontology Language Document Overview (Second Edition). W3C Recommendation. World Wide Web Consortium."},{"key":"S1471068420000204_ref19","unstructured":"19. Kr\u00f6tzsch, M. , Mehdi, A. , and Rudolph, S. 2010. Orel: Database-driven reasoning for OWL 2 profiles. In Proceedings of DL\u201910. CEUR Workshop Proceedings, vol. 573. CEUR-WS.org."},{"key":"S1471068420000204_ref13","unstructured":"13. Faruqui, R. U. and MacCaull, W. 2012. O wl O nt DB: A scalable reasoning system for OWL 2 RL ontologies with large aboxes. In Proceedings of FHIES\u201912. LNCS, vol. 7789. Springer, 105\u2013123."},{"key":"S1471068420000204_ref7","unstructured":"7. Calimeri, F. , Fusc\u00e0, D. , Perri, S. , and Zangari, J. 2016. I-DLV: The new intelligent grounder of DLV. In Proceedings of AIIA\u201916. LNCS, vol. 10037. Springer, 192\u2013207."},{"key":"S1471068420000204_ref22","unstructured":"22. Motik, B. , Cuenca Grau, B. , Horrocks, I. , Wu, Z. , Fokoue, A. , and Lutz, C. 2012. OWL 2 Web Ontology Language Profiles (Second Edition). W3C Recommendation. World Wide Web Consortium."},{"key":"S1471068420000204_ref23","unstructured":"23. Nenov, Y. , Piro, R. , Motik, B. , Horrocks, I. , Wu, Z. , and Banerjee, J. 2015. Rdfox: A highly-scalable RDF store. In Proceedings of ISWC\u201915. LNCS, vol. 9367. Springer, 3\u201320."},{"key":"S1471068420000204_ref21","unstructured":"21. Leone, N. , Manna, M. , Terracina, G. , and Veltri, P. 2019. Fast query answering over existential rules. ACM Trans. Comput. Log. 20, 2, 12:1\u201312:48."},{"key":"S1471068420000204_ref8","first-page":"471","article-title":"Ontop: Answering SPARQL queries over relational databases","volume":"3","author":"Calvanese","year":"2017","journal-title":"Semantic Web 8"},{"key":"S1471068420000204_ref1","unstructured":"1. Allocca, C. , Calimeri, F. , Civili, C. , Costabile, R. , Cuteri, B. , Fiorentino, A. , Fusc\u00e0, D. , Germano, S. , Laboccetta, G. , Manna, M. , Perri, S. , Reale, K. , Ricca, F. , Veltri, P. , and Zangari, J. 2019. Large-scale reasoning on expressive horn ontologies. In Proceedings of Datalog 2.0. CEUR Workshop Proceedings, vol. 2368. CEUR-WS.org, 10\u201321."},{"key":"S1471068420000204_ref3","unstructured":"3. Auer, S. , Bizer, C. , Kobilarov, G. , Lehmann, J. , Cyganiak, R. , and Ives, Z. G. 2007. Dbpedia: A nucleus for a web of open data. In Proceedings of ISWC\u201907. LNCS, vol. 4825. Springer, 722\u2013735."},{"key":"S1471068420000204_ref10","unstructured":"10. Carral, D. , Dragoste, I. , Gonz\u00e1lez, L. , Jacobs, C. J. H. , Kr\u00f6tzsch, M. , and Urbani, J. 2019. Vlog: A rule engine for knowledge graphs. In Proceedings of ISWC\u201919. LNCS, vol. 11779. Springer, 19\u201335."},{"key":"S1471068420000204_ref27","unstructured":"27. Xiao, G. , Eiter, T. , and Heymans, S. 2012. The drew system for nonmonotonic dl-programs. In Proceedings of CSWS\u201912. Springer, 383\u2013390."},{"key":"S1471068420000204_ref11","unstructured":"11. Ceri, S. , Gottlob, G. , and Tanca, L. 1989. What you always wanted to know about datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1, 1, 146\u2013166."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068420000204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T10:51:17Z","timestamp":1603104677000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068420000204\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,22]]},"references-count":27,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["S1471068420000204"],"URL":"https:\/\/doi.org\/10.1017\/s1471068420000204","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2020,9,22]]},"assertion":[{"value":"\u00a9 The Author(s), 2020. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}