{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:20:28Z","timestamp":1777890028348,"version":"3.51.4"},"reference-count":79,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2023,12,13]]},"abstract":"<jats:p>Conjunctive Query (CQ) answering is a primary reasoning task over knowledge bases. However, when considering expressive description logics, query answering can be computationally very expensive; reasoners for CQ answering, although heavily optimized, often sacrifice expressive power of the input ontology or completeness of the computed answers in order to achieve tractability and scalability for the problem. In this work, we present a hybrid query answering architecture that combines various services to provide a CQ answering service for OWL. Specifically, it combines scalable CQ answering services for tractable languages with a CQ answering service for a more expressive language approaching the full OWL\u00a02. If the query can be fully answered by one of the tractable services, then that service is used, to ensure maximum performance. Otherwise, the tractable services are used to compute lower and upper bound approximations. The union of the lower bounds and the intersection of the upper bounds are then compared. If the bounds do not coincide, then the \u201cgap\u201d answers are checked using the \u201cfull\u201d service. These techniques led to the development of two new systems: (i) RSAComb, an efficient implementation of a new tractable answering service for RSA (role safety acyclic) (ii) ACQuA, a reference implementation of the proposed hybrid architecture combining RSAComb, PAGOdA, and HermiT to provide a CQ answering service for OWL. Our extensive evaluation shows how the additional computational cost introduced by reasoning over a more expressive language like RSA can still provide a significant improvement compared to relying on a fully-fledged reasoner. Additionally, we show how ACQuA can reliably match the performance of PAGOdA, a state-of-the-art CQ answering system that uses a similar approach, and can significantly improve performance when PAGOdA extensively relies on the underlying fully-fledged reasoner.<\/jats:p>","DOI":"10.3233\/sw-233382","type":"journal-article","created":{"date-parts":[[2023,6,27]],"date-time":"2023-06-27T12:02:14Z","timestamp":1687867334000},"page":"997-1050","source":"Crossref","is-referenced-by-count":1,"title":["Conjunctive query answering over unrestricted OWL\u00a02 ontologies"],"prefix":"10.1177","volume":"14","author":[{"given":"Federico","family":"Igne","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Germano","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/SW-233382_ref1","unstructured":"S.\u00a0Abiteboul, R.\u00a0Hull and V.\u00a0Vianu, Foundations of Databases, Addison-Wesley, 1995, http:\/\/webdam.inria.fr\/Alice\/. ISBN 0-201-53771-0."},{"key":"10.3233\/SW-233382_ref2","unstructured":"A.\u00a0Acciarri, D.\u00a0Calvanese, G.D.\u00a0Giacomo, D.\u00a0Lembo, M.\u00a0Lenzerini, M.\u00a0Palmieri and R.\u00a0Rosati, QuOnto: Querying ontologies, in: Proceedings, the Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, Pittsburgh, Pennsylvania, USA, July 9\u201313, 2005, M.M.\u00a0Veloso and S.\u00a0Kambhampati, eds, AAAI Press \/ The MIT Press, 2005, pp.\u00a01670\u20131671, http:\/\/www.aaai.org\/Library\/AAAI\/2005\/isd05-001.php."},{"key":"10.3233\/SW-233382_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-21541-4_11"},{"key":"10.3233\/SW-233382_ref4","unstructured":"F.\u00a0Baader, S.\u00a0Brandt and C.\u00a0Lutz, Pushing the EL envelope, in: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Scotland, UK, July 30\u2013August 5, 2005, L.P.\u00a0Kaelbling and A.\u00a0Saffiotti, eds, Professional Book Center, 2005, pp.\u00a0364\u2013369, http:\/\/ijcai.org\/Proceedings\/05\/Papers\/0372.pdf."},{"key":"10.3233\/SW-233382_ref5","doi-asserted-by":"crossref","unstructured":"F.\u00a0Baader, I.\u00a0Horrocks, C.\u00a0Lutz and U.\u00a0Sattler, An Introduction to Description Logic, Cambridge University Press, 2017.","DOI":"10.1017\/9781139025355"},{"key":"10.3233\/SW-233382_ref6","unstructured":"F.\u00a0Baader, C.\u00a0Lutz and S.\u00a0Brandt, Pushing the EL envelope further, in: Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1\u20132 April 2008, K.\u00a0Clark and P.F.\u00a0Patel-Schneider, eds, CEUR Workshop Proceedings, Vols\u00a0496, CEUR-WS.org, 2008, http:\/\/ceur-ws.org\/Vol-496\/owled2008dc_paper_3.pdf."},{"issue":"1","key":"10.3233\/SW-233382_ref7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.3233\/SW-2011-0026","article-title":"OWLIM: A family of scalable semantic repositories","volume":"2","author":"Bishop","year":"2011","journal-title":"Semantic Web Journal"},{"key":"10.3233\/SW-233382_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48005-6_7"},{"key":"10.3233\/SW-233382_ref9","unstructured":"D.\u00a0Calvanese, G.\u00a0De Giacomo, D.\u00a0Lembo, M.\u00a0Lenzerini and R.\u00a0Rosati, Data complexity of query answering in description logics, in: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2\u20135, 2006, AAAI Press, 2006, pp.\u00a0260\u2013270."},{"issue":"3","key":"10.3233\/SW-233382_ref10","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","article-title":"Tractable reasoning and efficient query answering in description logics: The DL-lite family","volume":"39","author":"Calvanese","year":"2007","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"10.3233\/SW-233382_ref11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.3233\/SW-2011-0029","article-title":"The MASTRO system for ontology-based data access","volume":"2","author":"Calvanese","year":"2011","journal-title":"Semantic Web Journal"},{"key":"10.3233\/SW-233382_ref12","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/j.artint.2012.10.003","article-title":"Data complexity of query answering in description logics","volume":"195","author":"Calvanese","year":"2013","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-233382_ref13","unstructured":"D.\u00a0Carral, I.\u00a0Dragoste and M.\u00a0Kr\u00f6tzsch, The combined approach to query answering in horn-ALCHOIQ, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October\u20132 November 2018, M.\u00a0Thielscher, F.\u00a0Toni and F.\u00a0Wolter, eds, AAAI Press, 2018, pp.\u00a0339\u2013348, https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/18076."},{"key":"10.3233\/SW-233382_ref14","doi-asserted-by":"crossref","unstructured":"D.\u00a0Carral, C.\u00a0Feier, B.C.\u00a0Grau, P.\u00a0Hitzler and I.\u00a0Horrocks, Pushing the boundaries of tractable ontology reasoning, in: Proceedings, Part II, The Semantic Web\u00a0\u2013 ISWC 2014\u00a0\u2013 13th International Semantic Web Conference, Riva del Garda, Italy, October 19\u201323, 2014, Lecture Notes in Computer Science, Vol.\u00a08797, Springer, 2014, pp.\u00a0148\u2013163.","DOI":"10.1007\/978-3-319-11915-1_10"},{"key":"10.3233\/SW-233382_ref16","unstructured":"J.\u00a0Dolby, A.\u00a0Fokoue, A.\u00a0Kalyanpur, A.\u00a0Kershenbaum, E.\u00a0Schonberg, K.\u00a0Srinivas and L.\u00a0Ma, Scalable semantic retrieval through summarization and refinement, in: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22\u201326, 2007, AAAI Press, 2007, pp.\u00a0299\u2013304, http:\/\/www.aaai.org\/Library\/AAAI\/2007\/aaai07-046.php."},{"issue":"4","key":"10.3233\/SW-233382_ref17","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/j.websem.2009.05.002","article-title":"Scalable highly expressive reasoner (SHER)","volume":"7","author":"Dolby","year":"2009","journal-title":"Journal of Web Semantics"},{"key":"10.3233\/SW-233382_ref18","unstructured":"T.\u00a0Eiter, M.\u00a0Fink, H.\u00a0Tompits and S.\u00a0Woltran, On eliminating disjunctions in stable logic programming, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2\u20135, 2004, D.\u00a0Dubois, C.A.\u00a0Welty and M.\u00a0Williams, eds, AAAI Press, 2004, pp.\u00a0447\u2013458, http:\/\/www.aaai.org\/Library\/KR\/2004\/kr04-047.php."},{"key":"10.3233\/SW-233382_ref19","unstructured":"T.\u00a0Eiter, M.\u00a0Ortiz, M.\u00a0Simkus, T.\u00a0Tran and G.\u00a0Xiao, Towards practical query answering for horn-SHIQ, in: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7\u201310, 2012, Y.\u00a0Kazakov, D.\u00a0Lembo and F.\u00a0Wolter, eds, CEUR Workshop Proceedings, Vols\u00a0846, CEUR-WS.org, 2012, http:\/\/ceur-ws.org\/Vol-846\/paper_20.pdf."},{"key":"10.3233\/SW-233382_ref20","unstructured":"T.\u00a0Eiter, M.\u00a0Ortiz, M.\u00a0Simkus, T.\u00a0Tran and G.\u00a0Xiao, Query rewriting for horn-SHIQ plus rules, in: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada, July 22\u201326, 2012, J.\u00a0Hoffmann and B.\u00a0Selman, eds, AAAI Press, 2012, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI12\/paper\/view\/4931."},{"key":"10.3233\/SW-233382_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04329-1_21"},{"key":"10.3233\/SW-233382_ref22","unstructured":"C.\u00a0Feier, D.\u00a0Carral, G.\u00a0Stefanoni, B.C.\u00a0Grau and I.\u00a0Horrocks, The combined approach to query answering beyond the OWL 2 profiles, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, AAAI Press, 2015, pp.\u00a02971\u20132977."},{"key":"10.3233\/SW-233382_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45810-7_18"},{"issue":"3","key":"10.3233\/SW-233382_ref24","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","article-title":"HermiT: An OWL 2 reasoner","volume":"53","author":"Glimm","year":"2014","journal-title":"Journal of Automated Reasoning"},{"key":"10.3233\/SW-233382_ref25","unstructured":"B.\u00a0Glimm, I.\u00a0Horrocks and U.\u00a0Sattler, Conjunctive query entailment for SHOQ, in: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, Near Bozen-Bolzano, Italy, 8\u201310 June, 2007, D.\u00a0Calvanese, E.\u00a0Franconi, V.\u00a0Haarslev, D.\u00a0Lembo, B.\u00a0Motik, A.\u00a0Turhan and S.\u00a0Tessaris, eds, CEUR Workshop Proceedings, Vols\u00a0250, CEUR-WS.org, 2007, http:\/\/ceur-ws.org\/Vol-250\/paper_63.pdf."},{"key":"10.3233\/SW-233382_ref26","unstructured":"B.\u00a0Glimm, Y.\u00a0Kazakov, I.\u00a0Kollia and G.B.\u00a0Stamou, OWL query answering based on query extension, in: Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) Co-Located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17\u201318, 2014, C.M.\u00a0Keet and V.A.M.\u00a0Tamma, eds, CEUR Workshop Proceedings, Vol.\u00a01265, CEUR-WS.org, 2014, pp.\u00a01\u201312, http:\/\/ceur-ws.org\/Vol-1265\/owled2014_submission_1.pdf."},{"key":"10.3233\/SW-233382_ref27","unstructured":"B.\u00a0Glimm, Y.\u00a0Kazakov, I.\u00a0Kollia and G.B.\u00a0Stamou, Lower and upper bounds for SPARQL queries over OWL ontologies, in: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA, January 25\u201330, 2015, B.\u00a0Bonet and S.\u00a0Koenig, eds, AAAI Press, 2015, pp.\u00a0109\u2013115, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9715."},{"key":"10.3233\/SW-233382_ref28","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1613\/jair.2372","article-title":"Conjunctive query answering for the description logic SHIQ","volume":"31","author":"Glimm","year":"2008","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/SW-233382_ref29","doi-asserted-by":"crossref","unstructured":"B.N.\u00a0Grosof, I.\u00a0Horrocks, R.\u00a0Volz and S.\u00a0Decker, Description logic programs: Combining logic programs with description logic, in: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20\u201324, 2003, ACM, 2003, pp.\u00a048\u201357.","DOI":"10.1145\/775152.775160"},{"issue":"2\u20133","key":"10.3233\/SW-233382_ref30","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","article-title":"LUBM: A benchmark for OWL knowledge base systems","volume":"3","author":"Guo","year":"2005","journal-title":"Journal of Web Semantics"},{"issue":"3","key":"10.3233\/SW-233382_ref31","doi-asserted-by":"publisher","first-page":"267","DOI":"10.3233\/SW-2011-0032","article-title":"The RacerPro knowledge representation and reasoning system","volume":"3","author":"Haarslev","year":"2012","journal-title":"Semantic Web"},{"key":"10.3233\/SW-233382_ref32","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2021\/31"},{"key":"10.3233\/SW-233382_ref34","unstructured":"P.\u00a0Hitzler, M.\u00a0Kr\u00f6tzsch, S.\u00a0Rudolph and T.\u00a0Tserendorj, Approximate OWL instance retrieval with SCREECH, in: Logic and Probability for Scene Interpretation, 24.02.\u201329.02.2008, A.G.\u00a0Cohn, D.C.\u00a0Hogg, R.\u00a0M\u00f6ller and B.\u00a0Neumann, eds, Dagstuhl Seminar Proceedings, Vol.\u00a008091, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany, 2008, http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2008\/1615\/."},{"issue":"1","key":"10.3233\/SW-233382_ref35","doi-asserted-by":"publisher","first-page":"11","DOI":"10.3233\/SW-2011-0025","article-title":"The OWL API: A Java API for OWL ontologies","volume":"2","author":"Horridge","year":"2011","journal-title":"Semantic Web"},{"key":"10.3233\/SW-233382_ref36","unstructured":"I.\u00a0Horrocks and S.\u00a0Tessaris, A conjunctive query language for description logic aboxes, in: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, Austin, Texas, USA, July 30\u2013August 3, 2000, H.A.\u00a0Kautz and B.W.\u00a0Porter, eds, AAAI Press \/ The MIT Press, 2000, pp.\u00a0399\u2013404, http:\/\/www.aaai.org\/Library\/AAAI\/2000\/aaai00-061.php."},{"key":"10.3233\/SW-233382_ref37","doi-asserted-by":"crossref","unstructured":"D.\u00a0Hovland, R.\u00a0Kontchakov, M.G.\u00a0Skj\u00e6veland, A.\u00a0Waaler and M.\u00a0Zakharyaschev, Ontology-based data access to slegge, in: Proceedings, Part II, The Semantic Web\u00a0\u2013 ISWC 2017\u00a0\u2013 16th International Semantic Web Conference, Vienna, Austria, October 21\u201325, 2017, Lecture Notes in Computer Science, Vol.\u00a010588, Springer, 2017, pp.\u00a0120\u2013129.","DOI":"10.1007\/978-3-319-68204-4_12"},{"key":"10.3233\/SW-233382_ref38","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012859"},{"key":"10.3233\/SW-233382_ref39","unstructured":"F.\u00a0Igne, S.\u00a0Germano and I.\u00a0Horrocks, RSAComb: Combined approach for CQ answering in RSA, in: Proceedings of the 34th International Workshop on Description Logics (DL 2021) Part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, M.\u00a0Homola, V.\u00a0Ryzhikov and R.A.\u00a0Schmidt, eds, CEUR Workshop Proceedings, Vols\u00a02954, CEUR-WS.org, 2021, http:\/\/ceur-ws.org\/Vol-2954\/paper-18.pdf."},{"key":"10.3233\/SW-233382_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88361-4_12"},{"key":"10.3233\/SW-233382_ref41","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6564261"},{"key":"10.3233\/SW-233382_ref42","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6564388"},{"key":"10.3233\/SW-233382_ref43","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6564995"},{"key":"10.3233\/SW-233382_ref44","doi-asserted-by":"crossref","unstructured":"E.\u00a0Kharlamov, D.\u00a0Hovland, E.\u00a0Jim\u00e9nez-Ruiz, D.\u00a0Lanti, H.\u00a0Lie, C.\u00a0Pinkel, M.\u00a0Rezk, M.G.\u00a0Skj\u00e6veland, E.\u00a0Thorstensen, G.\u00a0Xiao, D.\u00a0Zheleznyakov and I.\u00a0Horrocks, Ontology based access to exploration data at statoil, in: 11\u201315, 2015, Proceedings, Part II, The Semantic Web\u00a0\u2013 ISWC 2015\u00a0\u2013 14th International Semantic Web Conference, Lecture Notes in Computer Science, Vol.\u00a09367, Springer, Bethlehem, PA, USA, 2015, pp.\u00a093\u2013112.","DOI":"10.1007\/978-3-319-25010-6_6"},{"key":"10.3233\/SW-233382_ref45","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1613\/jair.3872","article-title":"Optimizing SPARQL query answering over OWL ontologies","volume":"48","author":"Kollia","year":"2013","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/SW-233382_ref46","unstructured":"R.\u00a0Kontchakov, C.\u00a0Lutz, D.\u00a0Toman, F.\u00a0Wolter and M.\u00a0Zakharyaschev, 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, May 9\u201313, 2010, AAAI Press, 2010."},{"key":"10.3233\/SW-233382_ref47","doi-asserted-by":"publisher","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-442"},{"issue":"3","key":"10.3233\/SW-233382_ref49","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","article-title":"The DLV system for knowledge representation and reasoning","volume":"7","author":"Leone","year":"2006","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.3233\/SW-233382_ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41335-3_20"},{"key":"10.3233\/SW-233382_ref51","unstructured":"C.\u00a0Lutz, D.\u00a0Toman and F.\u00a0Wolter, Conjunctive query answering in the description logic EL using a relational database system, in: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11\u201317, 2009, C.\u00a0Boutilier, eds, 2009, pp.\u00a02070\u20132075, http:\/\/ijcai.org\/Proceedings\/09\/Papers\/341.pdf."},{"key":"10.3233\/SW-233382_ref52","unstructured":"B.\u00a0McBride, Jena: Implementing the RDF model and syntax specification, in: Proceedings of the Second International Workshop on the Semantic Web\u00a0\u2013 SemWeb\u20192001, Hongkong, China, May 1, 2001, S.\u00a0Decker, D.A.\u00a0Fensel, A.P.\u00a0Sheth and S.\u00a0Staab, eds, CEUR Workshop Proceedings, Vols\u00a040, CEUR-WS.org, 2001, http:\/\/CEUR-WS.org\/Vol-40\/mcbride.pdf."},{"key":"10.3233\/SW-233382_ref54","unstructured":"B.\u00a0Motik, Y.\u00a0Nenov, R.\u00a0Piro and I.\u00a0Horrocks, Handling owl: SameAs via rewriting, in: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA, January 25\u201330, 2015, B.\u00a0Bonet and S.\u00a0Koenig, eds, AAAI Press, 2015, pp.\u00a0231\u2013237."},{"key":"10.3233\/SW-233382_ref55","doi-asserted-by":"crossref","unstructured":"B.\u00a0Motik, Y.\u00a0Nenov, R.\u00a0Piro and I.\u00a0Horrocks, Incremental update of datalog materialisation: The backward\/forward algorithm, in: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA, January 25\u201330, 2015, B.\u00a0Bonet and S.\u00a0Koenig, eds, AAAI Press, 2015, pp.\u00a01560\u20131568.","DOI":"10.1609\/aaai.v29i1.9409"},{"key":"10.3233\/SW-233382_ref56","unstructured":"B.\u00a0Motik, Y.\u00a0Nenov, R.\u00a0Piro and I.\u00a0Horrocks, Combining rewriting and incremental materialisation maintenance for datalog programs with equality, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, Q.\u00a0Yang and M.J.\u00a0Wooldridge, eds, AAAI Press, 2015, pp.\u00a03127\u20133133."},{"key":"10.3233\/SW-233382_ref57","doi-asserted-by":"crossref","unstructured":"B.\u00a0Motik, Y.\u00a0Nenov, R.\u00a0Piro, I.\u00a0Horrocks and D.\u00a0Olteanu, Parallel materialisation of datalog programs in centralised, main-memory RDF systems, in: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, Qu\u00e9bec City, Qu\u00e9bec, Canada, July 27\u201331, 2014, C.E.\u00a0Brodley and P.\u00a0Stone, eds, AAAI Press, 2014, pp.\u00a0129\u2013137.","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"10.3233\/SW-233382_ref59","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1613\/jair.2811","article-title":"Hypertableau reasoning for description logics","volume":"36","author":"Motik","year":"2009","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/SW-233382_ref60","doi-asserted-by":"crossref","unstructured":"Y.\u00a0Nenov, R.\u00a0Piro, B.\u00a0Motik, I.\u00a0Horrocks, Z.\u00a0Wu and J.\u00a0Banerjee, RDFox: A highly-scalable RDF store, in: 11\u201315, 2015, Proceedings, Part II, The Semantic Web\u00a0\u2013 ISWC 2015\u00a0\u2013 14th International Semantic Web Conference, M.\u00a0Arenas, \u00d3.\u00a0Corcho, E.\u00a0Simperl, M.\u00a0Strohmaier, M.\u00a0d\u2019Aquin, K.\u00a0Srinivas, P.\u00a0Groth, M.\u00a0Dumontier, J.\u00a0Heflin, K.\u00a0Thirunarayan and S.\u00a0Staab, eds, Lecture Notes in Computer Science, Vol.\u00a09367, Springer, Bethlehem, PA, USA, 2015, pp.\u00a03\u201320.","DOI":"10.1007\/978-3-319-25010-6_1"},{"issue":"11","key":"10.3233\/SW-233382_ref61","doi-asserted-by":"publisher","first-page":"1004","DOI":"10.14778\/3402707.3402737","article-title":"Optimizing query answering under ontological constraints","volume":"4","author":"Orsi","year":"2011","journal-title":"Proceedings of the VLDB Endowment"},{"key":"10.3233\/SW-233382_ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33158-9_1"},{"key":"10.3233\/SW-233382_ref63","unstructured":"J.Z.\u00a0Pan and E.\u00a0Thomas, Approximating OWL-DL ontologies, in: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22\u201326, 2007, AAAI Press, 2007, pp.\u00a01434\u20131439."},{"key":"10.3233\/SW-233382_ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04930-9_31"},{"issue":"2","key":"10.3233\/SW-233382_ref65","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.jal.2009.09.004","article-title":"Tractable query answering and rewriting under description logic constraints","volume":"8","author":"P\u00e9rez-Urbina","year":"2010","journal-title":"J. Appl. Log."},{"key":"10.3233\/SW-233382_ref66","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","article-title":"Linking data to ontologies","volume":"10","author":"Poggi","year":"2008","journal-title":"J. Data Semant."},{"key":"10.3233\/SW-233382_ref67","unstructured":"Y.\u00a0Ren, G.\u00a0Gr\u00f6ner, J.\u00a0Lemcke, T.\u00a0Rahmani, A.\u00a0Friesen, Y.\u00a0Zhao, J.Z.\u00a0Pan and S.\u00a0Staab, Validating process refinement with ontologies, in: Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27\u201330, 2009, B.C.\u00a0Grau, I.\u00a0Horrocks, B.\u00a0Motik and U.\u00a0Sattler, eds, CEUR Workshop Proceedings, Vol.\u00a0477, CEUR-WS.org, http:\/\/ceur-ws.org\/Vol-477\/paper_59.pdf."},{"key":"10.3233\/SW-233382_ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45276-0_13"},{"key":"10.3233\/SW-233382_ref69","unstructured":"R.\u00a0Rosati, On conjunctive query answering in EL, in: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, Near Bozen-Bolzano, Italy, 8\u201310 June, 2007, D.\u00a0Calvanese, E.\u00a0Franconi, V.\u00a0Haarslev, D.\u00a0Lembo, B.\u00a0Motik, A.\u00a0Turhan and S.\u00a0Tessaris, eds, CEUR Workshop Proceedings, Vols\u00a0250, CEUR-WS.org, 2007, http:\/\/ceur-ws.org\/Vol-250\/paper_83.pdf."},{"issue":"2","key":"10.3233\/SW-233382_ref70","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","article-title":"Knowledge compilation and theory approximation","volume":"43","author":"Selman","year":"1996","journal-title":"Journal of the ACM"},{"issue":"2","key":"10.3233\/SW-233382_ref71","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Pellet: A practical OWL-DL reasoner","volume":"5","author":"Sirin","year":"2007","journal-title":"Journal of Web Semantics"},{"key":"10.3233\/SW-233382_ref72","unstructured":"G.\u00a0Stefanoni and B.\u00a0Motik, Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles, in: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA, January 25\u201330, 2015, B.\u00a0Bonet and S.\u00a0Koenig, eds, AAAI Press, 2015, pp.\u00a01611\u20131617, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9310."},{"key":"10.3233\/SW-233382_ref73","unstructured":"G.\u00a0Stefanoni, B.\u00a0Motik and I.\u00a0Horrocks, Introducing nominals to the combined query answering approaches for EL, in: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, Bellevue, Washington, USA, July 14\u201318, 2013, M.\u00a0desJardins and M.L.\u00a0Littman, eds, AAAI Press, 2013, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI13\/paper\/view\/6156."},{"key":"10.3233\/SW-233382_ref74","unstructured":"A.\u00a0Steigmiller and B.\u00a0Glimm, Absorption-based query entailment checking for expressive description logics, in: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18\u201321, 2019, M.\u00a0Simkus and G.E.\u00a0Weddell, eds, CEUR Workshop Proceedings, Vols\u00a02373, CEUR-WS.org, 2019, http:\/\/ceur-ws.org\/Vol-2373\/paper-25.pdf."},{"key":"10.3233\/SW-233382_ref75","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77385-4_2"},{"issue":"4","key":"10.3233\/SW-233382_ref76","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-014-9310-4","article-title":"Reasoning with nominal schemas through absorption","volume":"53","author":"Steigmiller","year":"2014","journal-title":"Journal of Automated Reasoning"},{"key":"10.3233\/SW-233382_ref77","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","article-title":"Konclude: System description","volume":"27","author":"Steigmiller","year":"2014","journal-title":"Journal of Web Semantics (JWS)"},{"key":"10.3233\/SW-233382_ref78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11113-1_20"},{"key":"10.3233\/SW-233382_ref79","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07443-6_22"},{"key":"10.3233\/SW-233382_ref80","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13489-0_38"},{"issue":"1\u20132","key":"10.3233\/SW-233382_ref81","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.artint.2004.01.003","article-title":"First order LUB approximations: Characterization and algorithms","volume":"162","author":"Val","year":"2005","journal-title":"Artif. Intell."},{"issue":"3","key":"10.3233\/SW-233382_ref82","first-page":"201","article-title":"Towards scalable instance retrieval over ontologies","volume":"4","author":"Wandelt","year":"2010","journal-title":"International Journal of Software and Informatics"},{"key":"10.3233\/SW-233382_ref83","doi-asserted-by":"crossref","unstructured":"G.\u00a0Xiao, D.\u00a0Calvanese, R.\u00a0Kontchakov, D.\u00a0Lembo, A.\u00a0Poggi, R.\u00a0Rosati and M.\u00a0Zakharyaschev, Ontology-based data access: A survey, in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13\u201319, 2018, ijcai.org, 2018, pp.\u00a05511\u20135519.","DOI":"10.24963\/ijcai.2018\/777"},{"key":"10.3233\/SW-233382_ref85","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1613\/jair.4757","article-title":"PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner","volume":"54","author":"Zhou","year":"2015","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-233382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:27:01Z","timestamp":1777613221000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-233382"}},"subtitle":[],"editor":[{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[{"name":"Southeast University, China"}],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":79,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.3233\/sw-233382","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"value":"2210-4968","type":"electronic"},{"value":"1570-0844","type":"print"}],"subject":[],"published":{"date-parts":[[2023,12,13]]}}}