{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:19:09Z","timestamp":1777889949268,"version":"3.51.4"},"reference-count":52,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2019,4,5]]},"DOI":"10.3233\/sw-180337","type":"journal-article","created":{"date-parts":[[2018,11,9]],"date-time":"2018-11-09T17:21:15Z","timestamp":1541784075000},"page":"475-521","source":"Crossref","is-referenced-by-count":3,"title":["Ontology-mediated query answering over temporal and inconsistent data"],"prefix":"10.1177","volume":"10","author":[{"given":"Camille","family":"Bourgaux","sequence":"first","affiliation":[{"name":"Laboratoire Traitement et Communication de l\u2019Information, T\u00e9l\u00e9com ParisTech, France. E-mail:\u00a0camille.bourgaux@ens.fr"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Koopmann","sequence":"additional","affiliation":[{"name":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany. E-mails:\u00a0patrick.koopmann@tu-dresden.de,\u00a0anni-yasmin.turhan@tu-dresden.de"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anni-Yasmin","family":"Turhan","sequence":"additional","affiliation":[{"name":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany. E-mails:\u00a0patrick.koopmann@tu-dresden.de,\u00a0anni-yasmin.turhan@tu-dresden.de"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"issue":"1","key":"10.3233\/SW-180337_ref1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","article-title":"A really temporal logic","volume":"41","author":"Alur","year":"1994","journal-title":"J.\u00a0ACM"},{"key":"10.3233\/SW-180337_ref2","unstructured":"A.\u00a0Artale, R.\u00a0Kontchakov, A.\u00a0Kovtunova, V.\u00a0Ryzhikov, F.\u00a0Wolter and M.\u00a0Zakharyaschev, First-order rewritability of temporal ontology-mediated queries, 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.\u00a0Wooldridge, eds, AAAI Press, 2015, pp.\u00a02706\u20132712, http:\/\/ijcai.org\/Abstract\/15\/383. ISBN 978-1-57735-738-4."},{"key":"10.3233\/SW-180337_ref3","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.TIME.2017.1"},{"key":"10.3233\/SW-180337_ref4","unstructured":"A.\u00a0Artale, R.\u00a0Kontchakov, F.\u00a0Wolter and M.\u00a0Zakharyaschev, Temporal description logic for ontology-based data access, in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3\u20139, 2013, F.\u00a0Rossi, ed., IJCAI\/AAAI, 2013, pp.\u00a0711\u2013717, http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6824. ISBN 978-1-57735-633-2."},{"key":"10.3233\/SW-180337_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66167-4_4"},{"key":"10.3233\/SW-180337_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_23"},{"key":"10.3233\/SW-180337_ref7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.websem.2014.11.008","article-title":"Temporal query entailment in the description logic SHQ","volume":"33","author":"Baader","year":"2015","journal-title":"J. Web Sem."},{"key":"10.3233\/SW-180337_ref8","unstructured":"H.\u00a0Beck, M.\u00a0Dao-Tran, T.\u00a0Eiter and M.\u00a0Fink, LARS: A logic-based framework for analyzing reasoning over streams, 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.\u00a01431\u20131438, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9657. ISBN 978-1-57735-698-1."},{"issue":"5\u20136","key":"10.3233\/SW-180337_ref10","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1017\/S1471068417000370","article-title":"Ticker: A system for incremental ASP-based stream reasoning","volume":"17","author":"Beck","year":"2017","journal-title":"TPLP"},{"key":"10.3233\/SW-180337_ref11","doi-asserted-by":"publisher","DOI":"10.2200\/S00379ED1V01Y201108DTM020"},{"key":"10.3233\/SW-180337_ref12","unstructured":"M.\u00a0Bienvenu, On the complexity of consistent query answering in the presence of simple ontologies, 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\/4928."},{"key":"10.3233\/SW-180337_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49493-7_5"},{"key":"10.3233\/SW-180337_ref14","unstructured":"M.\u00a0Bienvenu, C.\u00a0Bourgaux and F.\u00a0Goasdou\u00e9, Querying inconsistent description logic knowledge bases under preferred repair semantics, 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.\u00a0996\u20131002, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8231. ISBN 978-1-57735-661-5."},{"key":"10.3233\/SW-180337_ref15","unstructured":"M.\u00a0Bienvenu, C.\u00a0Bourgaux and F.\u00a0Goasdou\u00e9, Explaining inconsistency-tolerant query answering over description logic knowledge bases, in: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, Arizona, USA, February 12\u201317, 2016, D.\u00a0Schuurmans and M.P.\u00a0Wellman, eds, AAAI Press, 2016, pp.\u00a0900\u2013906, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI16\/paper\/view\/12025. ISBN 978-1-57735-760-5."},{"key":"10.3233\/SW-180337_ref16","unstructured":"M.\u00a0Bienvenu and R.\u00a0Rosati, Tractable approximations of consistent query answering for robust ontology-based data access, in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3\u20139, 2013, F.\u00a0Rossi, ed., IJCAI\/AAAI, 2013, pp.\u00a0775\u2013781, http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6904. ISBN 978-1-57735-633-2."},{"key":"10.3233\/SW-180337_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40885-4_11"},{"key":"10.3233\/SW-180337_ref18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.websem.2014.11.007","article-title":"Temporalizing rewritable query languages over knowledge bases","volume":"33","author":"Borgwardt","year":"2015","journal-title":"J. Web Sem."},{"key":"10.3233\/SW-180337_ref19","doi-asserted-by":"crossref","unstructured":"S.\u00a0Borgwardt and V.\u00a0Thost, Temporal query answering in DL-Lite with negation, in: Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16\u201319, 2015, G.\u00a0Gottlob, G.\u00a0Sutcliffe and A.\u00a0Voronkov, eds, EPiC Series in Computing, Vol.\u00a036, EasyChair, 2015, pp.\u00a051\u201365, http:\/\/www.easychair.org\/publications\/paper\/245305.","DOI":"10.29007\/2df8"},{"key":"10.3233\/SW-180337_ref20","unstructured":"S.\u00a0Borgwardt and V.\u00a0Thost, Temporal query answering in the description logic EL, 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.\u00a0Wooldridge, eds, AAAI Press, 2015, pp.\u00a02819\u20132825, http:\/\/ijcai.org\/Abstract\/15\/399. ISBN 978-1-57735-738-4."},{"key":"10.3233\/SW-180337_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68288-4_8"},{"key":"10.3233\/SW-180337_ref23","unstructured":"S.\u00a0Brandt, E.G.\u00a0Kalayci, R.\u00a0Kontchakov, V.\u00a0Ryzhikov, G.\u00a0Xiao and M.\u00a0Zakharyaschev, Ontology-based data access with a Horn fragment of metric temporal logic, in: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, San Francisco, California, USA, February 4\u20139, 2017, S.P.\u00a0Singh and S.\u00a0Markovitch, eds, AAAI Press, 2017, pp.\u00a01070\u20131076, http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14881."},{"key":"10.3233\/SW-180337_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67162-8_17"},{"key":"10.3233\/SW-180337_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03754-2_7"},{"issue":"3","key":"10.3233\/SW-180337_ref26","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":"J. Autom. Reasoning"},{"key":"10.3233\/SW-180337_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45276-0_2"},{"issue":"2","key":"10.3233\/SW-180337_ref28","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/383891.383892","article-title":"Querying ATSQL databases with temporal logic","volume":"26","author":"Chomicki","year":"2001","journal-title":"ACM Trans. Database Syst."},{"key":"10.3233\/SW-180337_ref29","unstructured":"G.\u00a0De Giacomo, R.\u00a0De Masellis and M.\u00a0Montali, Reasoning on LTL on finite traces: Insensitivity to infiniteness, 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.\u00a01027\u20131033, http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8575. ISBN 978-1-57735-661-5."},{"key":"10.3233\/SW-180337_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51803-7_36"},{"key":"10.3233\/SW-180337_ref31","unstructured":"M.\u00a0Gebser, T.\u00a0Grote, R.\u00a0Kaminski, P.\u00a0Obermeier, O.\u00a0Sabuncu and T.\u00a0Schaub, Stream reasoning with answer set programming: Preliminary report, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10\u201314, 2012, G.\u00a0Brewka, T.\u00a0Eiter and S.A.\u00a0McIlraith, eds, AAAI Press, 2012, http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR12\/paper\/view\/4504. ISBN 978-1-57735-560-1."},{"issue":"2","key":"10.3233\/SW-180337_ref32","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1145\/201019.201031","article-title":"NP trees and Carnap\u2019s modal logic","volume":"42","author":"Gottlob","year":"1995","journal-title":"J. ACM"},{"key":"10.3233\/SW-180337_ref33","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-672-9-837"},{"key":"10.3233\/SW-180337_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11113-1_7"},{"key":"10.3233\/SW-180337_ref35","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, F.\u00a0Lin, U.\u00a0Sattler and M.\u00a0Truszczynski, eds, AAAI Press, 2010, http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1282."},{"key":"10.3233\/SW-180337_ref36","unstructured":"F.\u00a0L\u00e9cu\u00e9, Diagnosing changes in an ontology stream: A DL reasoning approach, 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\/4988."},{"key":"10.3233\/SW-180337_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15918-3_9"},{"key":"10.3233\/SW-180337_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23580-1_12"},{"key":"10.3233\/SW-180337_ref39","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.websem.2015.04.002","article-title":"Inconsistency-tolerant query answering in ontology-based data access","volume":"33","author":"Lembo","year":"2015","journal-title":"J. Web Sem."},{"key":"10.3233\/SW-180337_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41335-3_20"},{"key":"10.3233\/SW-180337_ref41","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, ed., 2009, pp.\u00a02070\u20132075, http:\/\/ijcai.org\/Proceedings\/09\/Papers\/341.pdf."},{"issue":"1","key":"10.3233\/SW-180337_ref42","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.ic.2006.08.006","article-title":"Quantitative temporal logics over the reals: PSpace and below","volume":"205","author":"Lutz","year":"2007","journal-title":"Inf. Comput."},{"key":"10.3233\/SW-180337_ref43","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.websem.2014.02.001","article-title":"Streaming the web: Reasoning over dynamic data","volume":"25","author":"Margara","year":"2014","journal-title":"J. Web Sem."},{"key":"10.3233\/SW-180337_ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39666-3_23"},{"key":"10.3233\/SW-180337_ref45","unstructured":"B.\u00a0Motik, B.\u00a0Cuenca Grau, I.\u00a0Horrocks, Z.\u00a0Wu, A.\u00a0Fokoue and C.\u00a0Lutz, OWL 2 Web Ontology Language Profiles, 2012, available at: http:\/\/www.w3.org\/TR\/owl2-profiles\/."},{"key":"10.3233\/SW-180337_ref46","unstructured":"OWL Working Group, OWL 2 Web Ontology Language: Document Overview, W3C Recommendation, 2009, available at: https:\/\/www.w3.org\/TR\/owl2-overview\/."},{"key":"10.3233\/SW-180337_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11206-0_18"},{"key":"10.3233\/SW-180337_ref48","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"10.3233\/SW-180337_ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2063576.2063696"},{"key":"10.3233\/SW-180337_ref50","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."},{"key":"10.3233\/SW-180337_ref51","doi-asserted-by":"publisher","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-181"},{"key":"10.3233\/SW-180337_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35173-0_23"},{"key":"10.3233\/SW-180337_ref53","unstructured":"V.\u00a0Thost, J.\u00a0Holste and \u00d6.L.\u00a0\u00d6z\u00e7ep, On implementing temporal query answering in DL-Lite (extended abstract), in: Proceedings of the 28th International Workshop on Description Logics, Athens, Greece, June 7\u201310, 2015, D.\u00a0Calvanese and B.\u00a0Konev, eds, CEUR Workshop Proceedings, Vols\u00a01350, CEUR-WS.org, 2015, http:\/\/ceur-ws.org\/Vol-1350\/paper-63.pdf."},{"key":"10.3233\/SW-180337_ref54","unstructured":"E.\u00a0Tsalapati, G.\u00a0Stoilos, G.B.\u00a0Stamou and G.\u00a0Koletsos, Efficient query answering over expressive inconsistent description logics, in: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 2016, 9\u201315 July, S.\u00a0Kambhampati, ed., IJCAI\/AAAI Press, 2016, pp.\u00a01279\u20131285, http:\/\/www.ijcai.org\/Abstract\/16\/185. ISBN 978-1-57735-770-4."}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-180337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:24:19Z","timestamp":1777613059000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-180337"}},"subtitle":[],"editor":[{"given":"Daniele","family":"Dell\u2019Aglio","sequence":"additional","affiliation":[{"name":"University of Zurich, Switzerland"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[{"name":"TU Vienna, Austria"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Heintz","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Sweden"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Danh","family":"Le Phuoc","sequence":"additional","affiliation":[{"name":"TU Berlin, Germany"}],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Daniele","family":"Dell Aglio","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Heintz","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Danh","family":"Le Phuoc","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2019,4,5]]},"references-count":52,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/sw-180337","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"value":"2210-4968","type":"electronic"},{"value":"1570-0844","type":"print"}],"subject":[],"published":{"date-parts":[[2019,4,5]]}}}