{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T22:38:36Z","timestamp":1779230316991,"version":"3.51.4"},"reference-count":391,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T00:00:00Z","timestamp":1597276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T00:00:00Z","timestamp":1597276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P30360"],"award-info":[{"award-number":["P30360"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P30873"],"award-info":[{"award-number":["P30873"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Vienna Business Agency","award":["CoRec"],"award-info":[{"award-number":["CoRec"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2020,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Information systems have to deal with an increasing amount of data that is heterogeneous, unstructured, or incomplete. In order to align and complete data, systems may rely on taxonomies and background knowledge that are provided in the form of an ontology. This survey gives an overview of research work on the use of ontologies for accessing incomplete and\/or heterogeneous data.<\/jats:p>","DOI":"10.1007\/s13218-020-00686-3","type":"journal-article","created":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T09:04:29Z","timestamp":1597309469000},"page":"329-353","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":37,"title":["Ontologies and Data Management: A Brief Survey"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5592-6183","authenticated-orcid":false,"given":"Thomas","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mantas","family":"\u0160imkus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,13]]},"reference":[{"issue":"1","key":"686_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4230\/DagMan.7.1.1","volume":"7","author":"S Abiteboul","year":"2018","unstructured":"Abiteboul S, Arenas M, Barcel\u00f3 P, Bienvenu M, Calvanese D, David C, Hull R, H\u00fcllermeier E, Kimelfeld B, Libkin L, Martens W, Milo T, Murlak F, Neven F, Ortiz M, Schwentick T, Stoyanovich J, Su J, Suciu D, Vianu V, Yi K (2018) Research directions for principles of data management (dagstuhl perspectives workshop 16151). Dagstuhl Manif 7(1):1\u201329. https:\/\/doi.org\/10.4230\/DagMan.7.1.1","journal-title":"Dagstuhl Manif"},{"key":"686_CR2","volume-title":"Data on the web: from relations to semistructured data and XML","author":"S Abiteboul","year":"1999","unstructured":"Abiteboul S, Buneman P, Suciu D (1999) Data on the web: from relations to semistructured data and XML. Morgan Kaufmann, Burlington"},{"key":"686_CR3","volume-title":"Foundations of databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul S, Hull R, Vianu V (1995) Foundations of databases. Addison-Wesley, Boston"},{"key":"686_CR4","doi-asserted-by":"publisher","unstructured":"Ahmetaj S, Ortiz M, \u0160imkus M (2018) Rewriting guarded existential rules into small datalog programs. In: Proceedings of the 21st international conference on database theory (ICDT 2018), LIPIcs, vol 98. Schloss Dagstuhl. pp 4:1\u20134:24. https:\/\/doi.org\/10.4230\/LIPIcs.ICDT.2018.4","DOI":"10.4230\/LIPIcs.ICDT.2018.4"},{"key":"686_CR5","doi-asserted-by":"publisher","first-page":"103220","DOI":"10.1016\/j.artint.2019.103220","volume":"280","author":"S Ahmetaj","year":"2020","unstructured":"Ahmetaj S, Ortiz M, \u0160imkus M (2020) Polynomial rewritings from expressive description logics with closed predicates to variants of datalog. Artif Intell 280:103220. https:\/\/doi.org\/10.1016\/j.artint.2019.103220","journal-title":"Artif Intell"},{"issue":"1","key":"686_CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur R, Henzinger TA (1993) Real-time logics: complexity and expressiveness. Inf Comput 104(1):35\u201377","journal-title":"Inf Comput"},{"issue":"1","key":"686_CR7","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"Alur R, Henzinger TA (1994) A really temporal logic. J ACM 41(1):181\u2013204","journal-title":"J ACM"},{"key":"686_CR8","doi-asserted-by":"publisher","unstructured":"Alviano M, Morak M, Pieris A (2017) Stable model semantics for tuple-generating dependencies revisited. In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI symposium on principles of database systems (PODS 2017). ACM, pp 377\u2013388. https:\/\/doi.org\/10.1145\/3034786.3034794","DOI":"10.1145\/3034786.3034794"},{"issue":"3","key":"686_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka H, N\u00e9meti I, van Benthem J (1998) Modal languages and bounded fragments of predicate logic. J Philos Log 27(3):217\u2013274. https:\/\/doi.org\/10.1023\/A:1004275029985","journal-title":"J Philos Log"},{"key":"686_CR10","doi-asserted-by":"publisher","unstructured":"Andresel M, Ib\u00e1\u00f1ez-Garc\u00eda Y, Ortiz M, \u0160imkus M (2019) Relaxing and restraining queries for OBDA. In: Proceedings of the 33rd AAAI conference on artificial intelligence (AAAI 2019). AAAI Press, pp 2654\u20132661. https:\/\/doi.org\/10.1609\/aaai.v33i01.33012654","DOI":"10.1609\/aaai.v33i01.33012654"},{"key":"686_CR11","doi-asserted-by":"publisher","unstructured":"Angele J, Kifer M, Lausen G (2009) Ontologies in F-Logic. In: Staab and Studer [363]. pp 45\u201370. https:\/\/doi.org\/10.1007\/978-3-540-92673-3","DOI":"10.1007\/978-3-540-92673-3"},{"key":"686_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.websem.2015.12.002","volume":"37\u201338","author":"M Arenas","year":"2016","unstructured":"Arenas M, Cuenca Grau B, Kharlamov E, Marciuska S, Zheleznyakov D (2016) Faceted search over RDF-based knowledge graphs. J Web Semant 37\u201338:55\u201374. https:\/\/doi.org\/10.1016\/j.websem.2015.12.002","journal-title":"J Web Semant"},{"key":"686_CR13","doi-asserted-by":"publisher","unstructured":"Artale A, Calvanese D, Kontchakov R, Ryzhikov V, Zakharyaschev M (2007) Reasoning over extended ER models. In: Proceedings of the 26th international conference on conceptual modeling (ER 2007), lecture notes in computer science, vol 4801. Springer, Berlin, pp 277\u2013292. https:\/\/doi.org\/10.1007\/978-3-540-75563-0_20","DOI":"10.1007\/978-3-540-75563-0_20"},{"key":"686_CR14","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":"686_CR15","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1613\/jair.516","volume":"9","author":"A Artale","year":"1998","unstructured":"Artale A, Franconi E (1998) A temporal description logic for reasoning about actions and plans. J Artif Intell Res 9:463\u2013506. https:\/\/doi.org\/10.1613\/jair.516","journal-title":"J Artif Intell Res"},{"issue":"1\u20134","key":"686_CR16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1016636131405","volume":"30","author":"A Artale","year":"2000","unstructured":"Artale A, Franconi E (2000) A survey of temporal extensions of description logics. Ann Math Artif Intell 30(1\u20134):171\u2013210. https:\/\/doi.org\/10.1023\/A:1016636131405","journal-title":"Ann Math Artif Intell"},{"key":"686_CR17","doi-asserted-by":"publisher","unstructured":"Artale A, Franconi E (2005) Temporal description logics. In: Handbook of Temporal reasoning in artificial intelligence, foundations of artificial intelligence, vol 1. Elsevier, pp 375\u2013388. https:\/\/doi.org\/10.1016\/S1574-6526(05)80014-8","DOI":"10.1016\/S1574-6526(05)80014-8"},{"key":"686_CR18","doi-asserted-by":"publisher","unstructured":"Artale A, Franconi E, Wolter F, Zakharyaschev M (2002) A temporal description logic for reasoning over conceptual schemas and queries. In: Proceedings of the European Conference on logics in artificial intelligence (JELIA 2002), lecture notes in computer science, vol 2424. Springer, Berlin, pp 98\u2013110. https:\/\/doi.org\/10.1007\/3-540-45757-7_9","DOI":"10.1007\/3-540-45757-7_9"},{"key":"686_CR19","unstructured":"Artale A, Kontchakov R, Kovtunova A, Ryzhikov V, Wolter F, Zakharyaschev M (2015) First-order rewritability of temporal ontology-mediated queries. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI 2015). AAAI Press, pp 2706\u20132712. http:\/\/ijcai.org\/Abstract\/15\/383"},{"key":"686_CR20","doi-asserted-by":"publisher","unstructured":"Artale A, Kontchakov R, Kovtunova A, Ryzhikov V, Wolter F, Zakharyaschev M (2017) Ontology-mediated query answering over temporal data: a survey (invited talk). In: Proceedings of the 24th international symposium on temporal representation and reasoning (TIME 2017), LIPIcs, vol 90. Schloss Dagstuhl, pp 1:1\u20131:37. https:\/\/doi.org\/10.4230\/LIPIcs.TIME.2017.1","DOI":"10.4230\/LIPIcs.TIME.2017.1"},{"key":"686_CR21","doi-asserted-by":"publisher","unstructured":"Artale A, Kontchakov R, Lutz C, Wolter F, Zakharyaschev M (2007) Temporalising tractable description logics. In: Proceedings of the 14th international symposium on temporal representation and reasoning (TIME 2007). IEEE Computer Society, pp 11\u201322. https:\/\/doi.org\/10.1109\/TIME.2007.62","DOI":"10.1109\/TIME.2007.62"},{"key":"686_CR22","doi-asserted-by":"crossref","unstructured":"Artale A, Kontchakov R, Ryzhikov V, Zakharyaschev M (2015) Tractable interval temporal propositional and description logics. In: Proceedings of the 29th AAAI conference on artificial intelligence (AAAI 2015). AAAI Press, pp 1417\u20131423. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9638","DOI":"10.1609\/aaai.v29i1.9406"},{"key":"686_CR23","unstructured":"Artale A, Lutz C, Toman D (2006) A description logic of change. In: Proceedings of the international workshop on description logics (DL2006), CEUR Workshop proceedings, vol 189. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-189\/submission_35.pdf"},{"key":"686_CR24","unstructured":"Artale A, Lutz C, Toman D (2007) A description logic of change. In: Proceedings of the 20th international joint conference on artificial intelligence (IJCAI 2007). pp 218\u2013223. http:\/\/ijcai.org\/Proceedings\/07\/Papers\/033.pdf"},{"key":"686_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.4866","volume":"56","author":"F Baader","year":"2016","unstructured":"Baader F, Bienvenu M, Lutz C, Wolter F (2016) Query and predicate emptiness in ontology-based data access. J Artif Intell Res 56:1\u201359. https:\/\/doi.org\/10.1613\/jair.4866","journal-title":"J Artif Intell Res"},{"key":"686_CR26","doi-asserted-by":"publisher","unstructured":"Baader F, Borgwardt S, Koopmann P, Ozaki A, Thost V (2017) Metric temporal description logics with interval-rigid names. In: Proceedings of the 11th international symposium on frontiers of combining systems (FroCoS 2017), lecture notes in computer science, vol 10483. Springer, Berlin, pp 60\u201376. https:\/\/doi.org\/10.1007\/978-3-319-66167-4_4","DOI":"10.1007\/978-3-319-66167-4_4"},{"key":"686_CR27","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.websem.2014.11.008","volume":"33","author":"F Baader","year":"2015","unstructured":"Baader F, Borgwardt S, Lippmann M (2015) Temporal query entailment in the description logic $$\\cal{SHQ}$$. J Web Semant 33:71\u201393. https:\/\/doi.org\/10.1016\/j.websem.2014.11.008","journal-title":"J Web Semant"},{"issue":"1","key":"686_CR28","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s13218-016-0459-3","volume":"31","author":"F Baader","year":"2017","unstructured":"Baader F, Borgwardt S, Pe\u00f1aloza R (2017) Decidability and complexity of fuzzy description logics. KI 31(1):85\u201390. https:\/\/doi.org\/10.1007\/s13218-016-0459-3","journal-title":"KI"},{"key":"686_CR29","unstructured":"Baader F, Brandt S, Lutz C (2005) Pushing the $$\\cal{EL}$$ envelope. In: Proceedings of the 19th international joint conference on artificial intelligence (IJCAI 2005). Professional Book Center, pp 364\u2013369. http:\/\/ijcai.org\/Proceedings\/05\/Papers\/0372.pdf"},{"key":"686_CR30","volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge"},{"issue":"3","key":"686_CR31","doi-asserted-by":"publisher","first-page":"21:1","DOI":"10.1145\/2287718.2287721","volume":"13","author":"F Baader","year":"2012","unstructured":"Baader F, Ghilardi S, Lutz C (2012) LTL over description logic axioms. ACM Trans Comput Log 13(3):21:1\u201321:32. https:\/\/doi.org\/10.1145\/2287718.2287721","journal-title":"ACM Trans Comput Log"},{"issue":"1","key":"686_CR32","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F Baader","year":"1995","unstructured":"Baader F, Hollunder B (1995) Embedding defaults into terminological knowledge representation formalisms. J Autom Reason 14(1):149\u2013180. https:\/\/doi.org\/10.1007\/BF00883932","journal-title":"J Autom Reason"},{"key":"686_CR33","doi-asserted-by":"crossref","DOI":"10.1017\/9781139025355","volume-title":"An introduction to description logic","author":"F Baader","year":"2017","unstructured":"Baader F, Horrocks I, Lutz C, Sattler U (2017) An introduction to description logic. Cambridge University Press, Cambridge"},{"key":"686_CR34","unstructured":"Baader F, K\u00fcsters R, Wolter F (2003) Extensions to description logics. In: Baader et al. [30]. pp 219\u2013261"},{"issue":"4","key":"686_CR35","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1016\/j.jal.2014.09.001","volume":"12","author":"F Baader","year":"2014","unstructured":"Baader F, Lippmann M (2014) Runtime verification using the temporal description logic $$\\cal{ALC}$$-LTL revisited. J Appl Log 12(4):584\u2013613. https:\/\/doi.org\/10.1016\/j.jal.2014.09.001","journal-title":"J Appl Log"},{"key":"686_CR36","unstructured":"Baader F, Lutz C, Milicic M, Sattler U, Wolter F (2005) Integrating description logics and action formalisms: first results. In: Proceedings of the 20th national conference on artificial intelligence (AAAI 2005). AAAI Press\/The MIT Press, pp 572\u2013577. http:\/\/www.aaai.org\/Library\/AAAI\/2005\/aaai05-089.php"},{"key":"686_CR37","doi-asserted-by":"publisher","unstructured":"Baader F, Lutz C, Suntisrivaraporn B (2006) CEL\u2014a polynomial-time reasoner for life science ontologies. In: Proceedings of the 3rd international joint conference on automated reasoning (IJCAR 2006), lecture notes in computer science, vol 4130. Springer, Berlin, pp 287\u2013291. https:\/\/doi.org\/10.1007\/11814771_25","DOI":"10.1007\/11814771_25"},{"issue":"1","key":"686_CR38","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s13218-010-0004-8","volume":"24","author":"F Baader","year":"2010","unstructured":"Baader F, Lutz C, Turhan A (2010) Small is again beautiful in description logics. KI 24(1):25\u201333. https:\/\/doi.org\/10.1007\/s13218-010-0004-8","journal-title":"KI"},{"issue":"1","key":"686_CR39","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F Baader","year":"2010","unstructured":"Baader F, Pe\u00f1aloza R (2010) Axiom pinpointing in general tableaux. J Log Comput 20(1):5\u201334. https:\/\/doi.org\/10.1093\/logcom\/exn058","journal-title":"J Log Comput"},{"key":"686_CR40","volume-title":"Representing and reasoning with probabilistic knowledge: a logical approach to probabilities","author":"F Bacchus","year":"1990","unstructured":"Bacchus F (1990) Representing and reasoning with probabilistic knowledge: a logical approach to probabilities. MIT Press, Cambridge"},{"key":"686_CR41","doi-asserted-by":"publisher","unstructured":"Baget J, Bienvenu M, Mugnier M, Thomazo M (2017) Answering conjunctive regular path queries over guarded existential rules. In: Proceedings of the 26th international joint conference on artificial intelligence (IJCAI 2017). pp 793\u2013799. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2017\/110","DOI":"10.24963\/ijcai.2017\/110"},{"issue":"9\u201310","key":"686_CR42","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"J Baget","year":"2011","unstructured":"Baget J, Lecl\u00e8re M, Mugnier M, Salvat E (2011) On rules with existential variables: walking the decidability line. Artif Intell 175(9\u201310):1620\u20131654. https:\/\/doi.org\/10.1016\/j.artint.2011.03.002","journal-title":"Artif Intell"},{"key":"686_CR43","doi-asserted-by":"publisher","unstructured":"Baget J, Mugnier M, Rudolph S, Thomazo M (2011) Walking the complexity lines for generalized guarded existential rules. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 712\u2013717. https:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-126","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-126"},{"key":"686_CR44","doi-asserted-by":"crossref","unstructured":"Bajraktari L, Ortiz M, \u0160imkus M (2018) Combining rules and ontologies into clopen knowledge bases. In: Proceedings of the 32nd AAAI conference on artificial intelligence (AAAI 2018). AAAI Press, pp 1728\u20131735. https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/16991","DOI":"10.1609\/aaai.v32i1.11565"},{"key":"686_CR45","doi-asserted-by":"publisher","unstructured":"Bao J, Voutsadakis G, Slutzki G, Honavar VG (2009) Package-based description logics. In: Stuckenschmidt et\u00a0al. [369]. pp 349\u2013371. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_16","DOI":"10.1007\/978-3-642-01907-4_16"},{"key":"686_CR46","doi-asserted-by":"publisher","unstructured":"B\u00e1r\u00e1ny V, Benedikt M, ten Cate B (2013) Rewriting guarded negation queries. In: Proceedings of the 38th international symposium on mathematical foundations of computer science (MFCS 2013), lecture notes in computer science, vol 8087. Springer, pp 98\u2013110. https:\/\/doi.org\/10.1007\/978-3-642-40313-2_11","DOI":"10.1007\/978-3-642-40313-2_11"},{"issue":"3","key":"686_CR47","doi-asserted-by":"publisher","first-page":"22:1","DOI":"10.1145\/2701414","volume":"62","author":"V B\u00e1r\u00e1ny","year":"2015","unstructured":"B\u00e1r\u00e1ny V, ten Cate B, Segoufin L (2015) Guarded negation. J ACM 62(3):22:1\u201322:26. https:\/\/doi.org\/10.1145\/2701414","journal-title":"J ACM"},{"key":"686_CR48","doi-asserted-by":"publisher","unstructured":"B\u00e1r\u00e1ny V, Gottlob G, Otto M (2010) Querying the guarded fragment. In: Proceedings of the 25th annual IEEE symposium on logic in computer science (LICS 2010). IEEE Computer Society, pp 1\u201310. https:\/\/doi.org\/10.1109\/LICS.2010.26","DOI":"10.1109\/LICS.2010.26"},{"key":"686_CR49","doi-asserted-by":"publisher","unstructured":"Barcel\u00f3 P, Berger G, Pieris A (2018) Containment for rule-based ontology-mediated queries. In: Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI symposium on principles of database systems (PODS 2018). ACM, pp 267\u2013279. https:\/\/doi.org\/10.1145\/3196959.3196963","DOI":"10.1145\/3196959.3196963"},{"key":"686_CR50","doi-asserted-by":"publisher","unstructured":"Barcel\u00f3 P, Hurtado CA, Libkin L, Wood PT (2010) Expressive languages for path queries over graph-structured data. In: Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems (PODS 2010). ACM, pp 3\u201314. https:\/\/doi.org\/10.1145\/1807085.1807089","DOI":"10.1145\/1807085.1807089"},{"issue":"1","key":"686_CR51","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/2559905","volume":"61","author":"P Barcel\u00f3","year":"2014","unstructured":"Barcel\u00f3 P, Libkin L, Reutter JL (2014) Querying regular graph patterns. J ACM 61(1):8:1\u20138:54. https:\/\/doi.org\/10.1145\/2559905","journal-title":"J ACM"},{"key":"686_CR52","unstructured":"Barcel\u00f3 P, P\u00e9rez J, Reutter JL (2012) Relative expressiveness of nested regular expressions. In: Proceedings of the 6th Alberto Mendelzon international workshop on foundations of data management (AMW 2012), CEUR workshop proceedings, vol 866. pp 180\u2013195. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-866\/paper13.pdf"},{"key":"686_CR53","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1613\/jair.1.11257","volume":"63","author":"A Bate","year":"2018","unstructured":"Bate A, Motik B, Grau BC, Cucala DT, Simancik F, Horrocks I (2018) Consequence-based reasoning for description logics with disjunctions and number restrictions. J Artif Intell Res 63:625\u2013690. https:\/\/doi.org\/10.1613\/jair.1.11257","journal-title":"J Artif Intell Res"},{"issue":"1","key":"686_CR54","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/14.1.3","volume":"14","author":"S Bauer","year":"2004","unstructured":"Bauer S, Hodkinson IM, Wolter F, Zakharyaschev M (2004) On non-local propositional and weak monodic quantified CTL. J Log Comput 14(1):3\u201322. https:\/\/doi.org\/10.1093\/logcom\/14.1.3","journal-title":"J Log Comput"},{"key":"686_CR55","doi-asserted-by":"publisher","unstructured":"Bednarczyk B, Rudolph S (2019) Worst-case optimal querying of very expressive description logics with path expressions and succinct counting. In: Proceedings of the 28th international joint conference on artificial intelligence (IJCAI 2019). pp 1530\u20131536. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2019\/212","DOI":"10.24963\/ijcai.2019\/212"},{"key":"686_CR56","doi-asserted-by":"publisher","unstructured":"Benedikt M, Bourhis P, ten Cate B, Puppis G (2016) Querying visible and invisible information. In: Proceedings of the 31st annual ACM\/IEEE symposium on logic in computer science (LICS 2016). ACM, pp 297\u2013306. https:\/\/doi.org\/10.1145\/2933575.2935306","DOI":"10.1145\/2933575.2935306"},{"issue":"2","key":"686_CR57","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/1346330.1346333","volume":"55","author":"M Benedikt","year":"2008","unstructured":"Benedikt M, Fan W, Geerts F (2008) Xpath satisfiability in the presence of DTDS. J ACM 55(2):8:1\u20138:79. https:\/\/doi.org\/10.1145\/1346330.1346333","journal-title":"J ACM"},{"issue":"1\u20132","key":"686_CR58","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi D, Calvanese D, De Giacomo G (2005) Reasoning on UML class diagrams. Artif Intell 168(1\u20132):70\u2013118. https:\/\/doi.org\/10.1016\/j.artint.2005.05.003","journal-title":"Artif Intell"},{"key":"686_CR59","doi-asserted-by":"crossref","unstructured":"Bienvenu M (2020) A short survey on inconsistency handling in ontology-mediated query answering. KI 34(4)","DOI":"10.1007\/s13218-020-00680-9"},{"key":"686_CR60","doi-asserted-by":"publisher","unstructured":"Bienvenu M, Bourhis P (2019) Mixed-world reasoning with existential rules under active-domain semantics. In: Proceedings of the 28th international joint conference on artificial intelligence (IJCAI 2019). pp 1558\u20131565. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2019\/216","DOI":"10.24963\/ijcai.2019\/216"},{"key":"686_CR61","unstructured":"Bienvenu M, Calvanese D, Ortiz M, \u0160imkus M (2014) Nested regular path queries in description logics. In: Proceedings of the 14th international conference on principles of knowledge representation and reasoning (KR 2014). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/8000"},{"issue":"4","key":"686_CR62","doi-asserted-by":"publisher","first-page":"33:1","DOI":"10.1145\/2661643","volume":"39","author":"M Bienvenu","year":"2014","unstructured":"Bienvenu M, ten Cate B, Lutz C, Wolter F (2014) Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. ACM Trans Database Syst 39(4):33:1\u201333:44. https:\/\/doi.org\/10.1145\/2661643","journal-title":"ACM Trans Database Syst"},{"key":"686_CR63","unstructured":"Bienvenu M, Hansen P, Lutz C, Wolter F (2016) First order-rewritability and containment of conjunctive queries in Horn description logics. In: Proceedings of the 25th international joint conference on artificial intelligence (IJCAI 2016). IJCAI\/AAAI Press, pp 965\u2013971. http:\/\/www.ijcai.org\/Abstract\/16\/141"},{"issue":"5","key":"686_CR64","doi-asserted-by":"publisher","first-page":"28:1","DOI":"10.1145\/3191832","volume":"65","author":"M Bienvenu","year":"2018","unstructured":"Bienvenu M, Kikot S, Kontchakov R, Podolskii VV, Zakharyaschev M (2018) Ontology-mediated queries: combined complexity and succinctness of rewritings via circuit complexity. J ACM 65(5):28:1\u201328:51. https:\/\/doi.org\/10.1145\/3191832","journal-title":"J ACM"},{"key":"686_CR65","unstructured":"Bienvenu M, Lutz C, Wolter F (2012) Query containment in description logics reconsidered. In: Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR 2012). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR12\/paper\/view\/4535"},{"key":"686_CR66","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1613\/jair.4577","volume":"53","author":"M Bienvenu","year":"2015","unstructured":"Bienvenu M, Ortiz M, \u0160imkus M (2015) Regular path queries in lightweight description logics: complexity and algorithms. J Artif Intell Res 53:315\u2013374. https:\/\/doi.org\/10.1613\/jair.4577","journal-title":"J Artif Intell Res"},{"key":"686_CR67","unstructured":"Bienvenu M, Rosati R (2016) Query-based comparison of mappings in ontology-based data access. In: Proceedings of the 15th international conference on principles of knowledge representation and reasoning (KR 2016). AAAI Press, pp 197\u2013206. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12902"},{"key":"686_CR68","doi-asserted-by":"crossref","unstructured":"B\u00f6hme S, Lippmann M (2015) Decidable description logics of context with rigid roles. In: Proceedings of the 10th international symposium on frontiers of combining systems (FroCoS\u201915), lecture notes in artificial intelligence, vol 9322. Springer","DOI":"10.1007\/978-3-319-24246-0_2"},{"key":"686_CR69","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.artint.2019.04.001","volume":"274","author":"PA Bonatti","year":"2019","unstructured":"Bonatti PA (2019) Rational closure for all description logics. Artif Intell 274:197\u2013223. https:\/\/doi.org\/10.1016\/j.artint.2019.04.001","journal-title":"Artif Intell"},{"key":"686_CR70","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"PA Bonatti","year":"2009","unstructured":"Bonatti PA, Lutz C, Wolter F (2009) The complexity of circumscription in DLS. J Artif Intell Res 35:717\u2013773. https:\/\/doi.org\/10.1613\/jair.2763","journal-title":"J Artif Intell Res"},{"issue":"1\u20132","key":"686_CR71","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A Borgida","year":"1996","unstructured":"Borgida A (1996) On the relative expressiveness of description logics and predicate logics. Artif Intell 82(1\u20132):353\u2013367. https:\/\/doi.org\/10.1016\/0004-3702(96)00004-5","journal-title":"Artif Intell"},{"key":"686_CR72","doi-asserted-by":"publisher","unstructured":"Borgida A, Calvanese D, Rodriguez-Muro M (2008) Explanation in the DL-Lite family of description logics. In: On the move to meaningful internet systems: OTM, proceedings, Part II, lecture notes in computer science, vol 5332. Springer, Berlin, pp 1440\u20131457. https:\/\/doi.org\/10.1007\/978-3-540-88873-4_35","DOI":"10.1007\/978-3-540-88873-4_35"},{"key":"686_CR73","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.websem.2014.11.007","volume":"33","author":"S Borgwardt","year":"2015","unstructured":"Borgwardt S, Lippmann M, Thost V (2015) Temporalizing rewritable query languages over knowledge bases. J Web Semant 33:50\u201370. https:\/\/doi.org\/10.1016\/j.websem.2014.11.007","journal-title":"J Web Semant"},{"key":"686_CR74","doi-asserted-by":"publisher","unstructured":"Borgwardt S, Pe\u00f1aloza R (2017) Fuzzy description logics\u2014a survey. In: Proceedings of the 11th international conference on scalable uncertainty management (SUM 2017), lecture notes in computer science, vol 10564. Springer, Berlin, pp 31\u201345. https:\/\/doi.org\/10.1007\/978-3-319-67582-4_3","DOI":"10.1007\/978-3-319-67582-4_3"},{"key":"686_CR75","doi-asserted-by":"crossref","unstructured":"Borgwardt S, Thost V (2015) Temporal query answering in DL-Lite with negation. In: Proceedings of the global conference on artificial intelligence (GCAI 2015), EPiC series in computing, vol 36. EasyChair, pp 51\u201365. http:\/\/www.easychair.org\/publications\/paper\/245305","DOI":"10.25368\/2022.221"},{"key":"686_CR76","unstructured":"Borgwardt S, Thost V (2015) Temporal query answering in the description logic $$\\cal{EL}$$. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI 2015). AAAI Press, pp 2819\u20132825. http:\/\/ijcai.org\/Abstract\/15\/399"},{"key":"686_CR77","doi-asserted-by":"publisher","unstructured":"Botoeva E, Konev B, Lutz C, Ryzhikov V, Wolter F, Zakharyaschev M (2016) Inseparability and conservative extensions of description logic ontologies: a survey. In: Proceedings of the 12th reasoning web international summer school (RW 2016), lecture notes in computer science, vol 9885. Springer, Berlin, pp 27\u201389. https:\/\/doi.org\/10.1007\/978-3-319-49493-7_2","DOI":"10.1007\/978-3-319-49493-7_2"},{"issue":"4","key":"686_CR78","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.websem.2004.07.001","volume":"1","author":"P Bouquet","year":"2004","unstructured":"Bouquet P, Giunchiglia F, van Harmelen F, Serafini L, Stuckenschmidt H (2004) Contextualizing ontologies. J Web Semant 1(4):325\u2013343. https:\/\/doi.org\/10.1016\/j.websem.2004.07.001","journal-title":"J Web Semant"},{"key":"686_CR79","unstructured":"Bourhis P, Lutz C (2016) Containment in monadic disjunctive datalog, MMSNP, and expressive description logics. In: Proceedings of the 15th international conference on principles of knowledge representation and reasoning (KR 2016). AAAI Press, pp 207\u2013216. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12847"},{"issue":"4","key":"686_CR80","doi-asserted-by":"publisher","first-page":"27:1","DOI":"10.1145\/2976736","volume":"41","author":"P Bourhis","year":"2016","unstructured":"Bourhis P, Manna M, Morak M, Pieris A (2016) Guarded-based disjunctive tuple-generating dependencies. ACM Trans Database Syst 41(4):27:1\u201327:45. https:\/\/doi.org\/10.1145\/2976736","journal-title":"ACM Trans Database Syst"},{"key":"686_CR81","doi-asserted-by":"publisher","unstructured":"Bourhis P, Morak M, Pieris A (2017) Making cross products and guarded ontology languages compatible. In: Proceedings of the 26th international joint conference on artificial intelligence (IJCAI 2017). pp 880\u2013886. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2017\/122","DOI":"10.24963\/ijcai.2017\/122"},{"key":"686_CR82","doi-asserted-by":"publisher","unstructured":"Bozzato L, Eiter T, Serafini L (2019) Reasoning on $${\\mathit{DL-Lite}}_{R}$$ with defeasibility in ASP. In: Proceedings of the 3rd international joint conference on rules and reasoning (RuleML+RR 2019), lecture notes in computer science, vol 11784. Springer. https:\/\/doi.org\/10.1007\/978-3-030-31095-0_2","DOI":"10.1007\/978-3-030-31095-0_2"},{"issue":"2","key":"686_CR83","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"RJ Brachman","year":"1985","unstructured":"Brachman RJ, Schmolze JG (1985) An overview of the KL-ONE knowledge representation system. Cognit Sci 9(2):171\u2013216. https:\/\/doi.org\/10.1207\/s15516709cog0902_1","journal-title":"Cognit Sci"},{"key":"686_CR84","doi-asserted-by":"crossref","unstructured":"Brandt S, Kalayci EG, Kontchakov R, Ryzhikov V, Xiao G, Zakharyaschev M (2017) Ontology-based data access with a Horn fragment of metric temporal logic. In: Proceedings of the 31st AAAI conference on artificial intelligence (AAAI 2017). AAAI Press, pp 1070\u20131076. http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14881","DOI":"10.1609\/aaai.v31i1.10696"},{"key":"686_CR85","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1613\/jair.1.11229","volume":"62","author":"S Brandt","year":"2018","unstructured":"Brandt S, Kalayci EG, Ryzhikov V, Xiao G, Zakharyaschev M (2018) Querying log data with metric temporal logic. J Artif Intell Res 62:829\u2013877. https:\/\/doi.org\/10.1613\/jair.1.11229","journal-title":"J Artif Intell Res"},{"key":"686_CR86","doi-asserted-by":"crossref","unstructured":"van Bremen T, Dries A, Jung JC (2019) Ontology-mediated queries over probabilistic data via probabilistic logic programming. In: Proceedings of the 28th ACM international conference on information and knowledge management (CIKM 2019). ACM, pp 2437\u20132440","DOI":"10.1145\/3357384.3358168"},{"key":"686_CR87","doi-asserted-by":"publisher","unstructured":"Brenner M, Glimm B (2018) Embracing change by abstraction materialization maintenance for large ABoxes. In: Proceedings of the 27th international joint conference on artificial intelligence (IJCAI 2018). pp 1767\u20131773. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2018\/244","DOI":"10.24963\/ijcai.2018\/244"},{"issue":"3","key":"686_CR88","doi-asserted-by":"publisher","first-page":"22:1","DOI":"10.1145\/3105909","volume":"18","author":"D Bresolin","year":"2017","unstructured":"Bresolin D, Kurucz A, Mu\u00f1oz-Velasco E, Ryzhikov V, Sciavicco G, Zakharyaschev M (2017) Horn fragments of the Halpern\u2013Shoham interval temporal logic. ACM Trans Comput Log 18(3):22:1\u201322:39. https:\/\/doi.org\/10.1145\/3105909","journal-title":"ACM Trans Comput Log"},{"key":"686_CR89","doi-asserted-by":"crossref","unstructured":"Bresolin D, Monica DD, Goranko V, Montanari A, Sciavicco G (2008) Decidable and undecidable fragments of Halpern and Shoham\u2019s interval temporal logic: towards a complete classification. In: Proceedings of the 15th international conference on logic for programming, artificial intelligence, and reasoning (LPAR 2008), lecture notes in computer science, vol 5330. Springer, Berlin, pp 590\u2013604","DOI":"10.1007\/978-3-540-89439-1_41"},{"key":"686_CR90","unstructured":"Britz K, Casini G, Meyer T, Moodley K, Sattler U, Varzinczak I (2019) Theoretical foundations of defeasible description logics. CoRR. arXiv:1904.07559"},{"key":"686_CR91","doi-asserted-by":"publisher","unstructured":"Britz K, Meyer T, Varzinczak IJ (2011) Semantic foundation for preferential description logics. In: Proceedings of the 24th Australasian joint conference on advances in artificial intelligence (AI 2011), lecture notes in computer science, vol 7106. Springer, Berlin, pp 491\u2013500. https:\/\/doi.org\/10.1007\/978-3-642-25832-9_50","DOI":"10.1007\/978-3-642-25832-9_50"},{"key":"686_CR92","doi-asserted-by":"publisher","unstructured":"Calbimonte J, Corcho \u00d3, Gray AJG (2010) Enabling ontology-based access to streaming data sources. In: Proceedings of the 9th international semantic web conference (ISWC 2010), lecture notes in computer science, vol 6496. Springer, Berlin, pp 96\u2013111. https:\/\/doi.org\/10.1007\/978-3-642-17746-0_7","DOI":"10.1007\/978-3-642-17746-0_7"},{"key":"686_CR93","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"Cal\u00ec A, Gottlob G, Kifer M (2013) Taming the infinite chase: query answering under expressive relational constraints. J Artif Intell Res 48:115\u2013174. https:\/\/doi.org\/10.1613\/jair.3873","journal-title":"J Artif Intell Res"},{"key":"686_CR94","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec A, Gottlob G, Lukasiewicz T (2012) A general datalog-based framework for tractable query answering over ontologies. J Web Semant 14:57\u201383. https:\/\/doi.org\/10.1016\/j.websem.2012.03.001","journal-title":"J Web Semant"},{"key":"686_CR95","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.artint.2012.08.002","volume":"193","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec A, Gottlob G, Pieris A (2012) Towards more expressive ontology languages: The query answering problem. Artif Intell 193:87\u2013128. https:\/\/doi.org\/10.1016\/j.artint.2012.08.002","journal-title":"Artif Intell"},{"key":"686_CR96","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-00685-2\\_4","volume":"12","author":"A Cal\u00ec","year":"2009","unstructured":"Cal\u00ec A, Lukasiewicz T, Predoiu L, Stuckenschmidt H (2009) Tightly coupled probabilistic description logic programs for the semantic web. J Data Semanti 12:95\u2013130. https:\/\/doi.org\/10.1007\/978-3-642-00685-2_4","journal-title":"J Data Semanti"},{"issue":"1","key":"686_CR97","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":"686_CR98","unstructured":"Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Rosati R (2006) Data complexity of query answering in description logics. In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR 2006). AAAI Press, pp 260\u2013270. http:\/\/www.aaai.org\/Library\/KR\/2006\/kr06-028.php"},{"issue":"3","key":"686_CR99","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 (2007) Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J Autom Reason 39(3):385\u2013429. https:\/\/doi.org\/10.1007\/s10817-007-9078-x","journal-title":"J Autom Reason"},{"key":"686_CR100","unstructured":"Calvanese D, De Giacomo G, Lenzerini M (2001) Identification constraints and functional dependencies in description logics. In: Proceedings of the 17th international joint conference on artificial intelligence (IJCAI 2001). Morgan Kaufmann, pp 155\u2013160"},{"issue":"3","key":"686_CR101","doi-asserted-by":"publisher","first-page":"22:1","DOI":"10.1145\/1352582.1352590","volume":"9","author":"D Calvanese","year":"2008","unstructured":"Calvanese D, De Giacomo G, Lenzerini M (2008) Conjunctive query containment and answering under description logic constraints. ACM Trans Comput Log 9(3):22:1\u201322:31. https:\/\/doi.org\/10.1145\/1352582.1352590","journal-title":"ACM Trans Comput Log"},{"issue":"1","key":"686_CR102","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.jcss.2011.02.011","volume":"78","author":"D Calvanese","year":"2012","unstructured":"Calvanese D, De Giacomo G, Lenzerini M, Rosati R (2012) View-based query answering in description logics: semantics and complexity. J Comput Syst Sci 78(1):26\u201346. https:\/\/doi.org\/10.1016\/j.jcss.2011.02.011","journal-title":"J Comput Syst Sci"},{"key":"686_CR103","unstructured":"Calvanese D, De Giacomo G, Lenzerini M, Vardi MY (2000) Containment of conjunctive regular path queries with inverse. In: Proceedings of the 7th international conference on principles of knowledge representation and reasoning (KR 2000). Morgan Kaufmann, pp 176\u2013185"},{"issue":"3","key":"686_CR104","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1006\/jcss.2001.1805","volume":"64","author":"D Calvanese","year":"2002","unstructured":"Calvanese D, De Giacomo G, Lenzerini M, Vardi MY (2002) Rewriting of regular expressions and regular path queries. J Comput Syst Sci 64(3):443\u2013465. https:\/\/doi.org\/10.1006\/jcss.2001.1805","journal-title":"J Comput Syst Sci"},{"key":"686_CR105","doi-asserted-by":"publisher","unstructured":"Calvanese D, De Giacomo G, Montali M (2013) Foundations of data-aware process analysis: a database theory perspective. In: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems (PODS 2013). ACM, pp 1\u201312. https:\/\/doi.org\/10.1145\/2463664.2467796","DOI":"10.1145\/2463664.2467796"},{"key":"686_CR106","unstructured":"Calvanese D, Eiter T, Ortiz M (2009) Regular path queries in expressive description logics with nominals. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI 2009). pp 714\u2013720. http:\/\/ijcai.org\/Proceedings\/09\/Papers\/124.pdf"},{"key":"686_CR107","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.ic.2014.04.002","volume":"237","author":"D Calvanese","year":"2014","unstructured":"Calvanese D, Eiter T, Ortiz M (2014) Answering regular path queries in expressive description logics via alternating tree-automata. Inf Comput 237:12\u201355. https:\/\/doi.org\/10.1016\/j.ic.2014.04.002","journal-title":"Inf Comput"},{"key":"686_CR108","unstructured":"Calvanese D, Montali M, Patrizi F, Stawowy M (2016) Plan synthesis for knowledge and action bases. In: Proceedings of the 25th international joint conference on artificial intelligence (IJCAI 2016). IJCAI\/AAAI Press, pp 1022\u20131029. http:\/\/www.ijcai.org\/Abstract\/16\/149"},{"key":"686_CR109","doi-asserted-by":"publisher","unstructured":"Calvanese D, Ortiz M, \u0160imkus M (2011) Containment of regular path queries under description logic constraints. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 805\u2013812. https:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-141","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-141"},{"key":"686_CR110","doi-asserted-by":"publisher","unstructured":"Calvanese D, Ortiz M, \u0160imkus M (2016) Verification of evolving graph-structured data under expressive path constraints. In: Proceedings of the 19th international conference on database theory (ICDT 2016), LIPIcs, vol 48. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik. pp 15:1\u201315:19. https:\/\/doi.org\/10.4230\/LIPIcs.ICDT.2016.15","DOI":"10.4230\/LIPIcs.ICDT.2016.15"},{"key":"686_CR111","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1613\/jair.3870","volume":"48","author":"D Calvanese","year":"2013","unstructured":"Calvanese D, Ortiz M, \u0160imkus M, Stefanoni G (2013) Reasoning about explanations for negative query answers in DL-Lite. J Artif Intell Res 48:635\u2013669. https:\/\/doi.org\/10.1613\/jair.3870","journal-title":"J Artif Intell Res"},{"key":"686_CR112","unstructured":"Carral D, Dragoste I, Kr\u00f6tzsch M (2018) The combined approach to query answering in Horn-$$\\cal{ALCHOIQ}$$. In: Proceedings of the 16th international conference on principles of knowledge representation and reasoning (KR 2018). AAAI Press, pp 339\u2013348. https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/18076"},{"key":"686_CR113","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.ijar.2017.08.011","volume":"91","author":"RN Carvalho","year":"2017","unstructured":"Carvalho RN, Laskey KB, da Costa PCG (2017) PR-OWL: a language for defining probabilistic ontologies. Int J Approx Reason 91:56\u201379","journal-title":"Int J Approx Reason"},{"key":"686_CR114","doi-asserted-by":"publisher","unstructured":"Casini G, Straccia U (2010) Rational closure for defeasible description logics. In: Proceedings of the 12th European conference on logics in artificial intelligence (JELIA 2010), lecture notes in computer science, vol 6341. Springer, Berlin, pp 77\u201390. https:\/\/doi.org\/10.1007\/978-3-642-15675-5_9","DOI":"10.1007\/978-3-642-15675-5_9"},{"key":"686_CR115","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1613\/jair.4062","volume":"48","author":"G Casini","year":"2013","unstructured":"Casini G, Straccia U (2013) Defeasible inheritance-based description logics. J Artif Intell Res 48:415\u2013473. https:\/\/doi.org\/10.1613\/jair.4062","journal-title":"J Artif Intell Res"},{"issue":"6","key":"686_CR116","doi-asserted-by":"publisher","first-page":"31:1","DOI":"10.1145\/1568318.1568321","volume":"56","author":"B ten Cate","year":"2009","unstructured":"ten Cate B, Lutz C (2009) The complexity of query containment in expressive fragments of xpath 2.0. J ACM 56(6):31:1\u201331:48. https:\/\/doi.org\/10.1145\/1568318.1568321","journal-title":"J ACM"},{"key":"686_CR117","doi-asserted-by":"publisher","unstructured":"Ceylan \u0130\u0130, Lukasiewicz T, Malizia E, Vaicenavicius A (2019) Explanations for query answers under existential rules. In: Proceedings of the 28th international joint conference on artificial intelligence (IJCAI 2019). pp 1639\u20131646. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2019\/227","DOI":"10.24963\/ijcai.2019\/227"},{"key":"686_CR118","unstructured":"Ceylan \u0130\u0130, Lukasiewicz T, Malizia E, Vaicenavi\u010dius A (2020) Explanations for ontology-mediated query answering in description logics. In: Proceedings of the 24th European conference on artificial intelligence (ECAI 2020)"},{"key":"686_CR119","unstructured":"Ceylan \u0130\u0130, Mendez J, Pe\u00f1aloza R (2015) The Bayesian ontology reasoner is BORN! In: Informal proceedings of the 4th international workshop on owl reasoner evaluation (ORE 2015), CEUR workshop proceedings, vol 1387, pp 8\u201314. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1387\/paper_5.pdf"},{"key":"686_CR120","doi-asserted-by":"publisher","unstructured":"Ceylan \u0130\u0130, Pe\u00f1aloza R (2015) Probabilistic query answering in the Bayesian description logic $$\\cal{BEL}$$. In: Proceedings of the 9th international conference on scalable uncertainty management (SUM 2015), lecture notes in computer science, vol 9310. Springer, Berlin, pp 21\u201335. https:\/\/doi.org\/10.1007\/978-3-319-23540-0_2","DOI":"10.1007\/978-3-319-23540-0_2"},{"issue":"1","key":"686_CR121","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10817-016-9386-0","volume":"58","author":"\u0130\u0130 Ceylan","year":"2017","unstructured":"Ceylan \u0130\u0130, Pe\u00f1aloza R (2017) The Bayesian ontology language $$\\cal{BEL}$$. J Autom Reason 58(1):67\u201395. https:\/\/doi.org\/10.1007\/s10817-016-9386-0","journal-title":"J Autom Reason"},{"key":"686_CR122","doi-asserted-by":"publisher","unstructured":"Chandra AK, Merlin PM (1977) Optimal implementation of conjunctive queries in relational data bases. In: Proceedings of the 9th annual ACM symposium on theory of computing (STOC 1977). ACM, pp 77\u201390. https:\/\/doi.org\/10.1145\/800105.803397","DOI":"10.1145\/800105.803397"},{"key":"686_CR123","doi-asserted-by":"publisher","unstructured":"Chen J, Alghamdi G, Schmidt RA, Walther D, Gao Y (2019) Ontology extraction for large ontologies via modularity and forgetting. In: Proceedings of the 10th international conference on knowledge capture (K-CAP 2019). ACM, pp 45\u201352. https:\/\/doi.org\/10.1145\/3360901.3364424","DOI":"10.1145\/3360901.3364424"},{"issue":"2","key":"686_CR124","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/210197.210200","volume":"20","author":"J Chomicki","year":"1995","unstructured":"Chomicki J (1995) Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans Database Syst 20(2):149\u2013186","journal-title":"ACM Trans Database Syst"},{"issue":"2","key":"686_CR125","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/383891.383892","volume":"26","author":"J Chomicki","year":"2001","unstructured":"Chomicki J, Toman D, B\u00f6hlen MH (2001) Querying ATSQL databases with temporal logic. ACM Trans Database Syst 26(2):145\u2013178","journal-title":"ACM Trans Database Syst"},{"key":"686_CR126","volume-title":"Handbook of mathematical fuzzy logic, studies in logic, vol 37\u201338","year":"2011","unstructured":"Cintula P, H\u00e1jek P, Noguera C (eds) (2011) Handbook of mathematical fuzzy logic, studies in logic, vol 37\u201338. College Publications, Albania"},{"key":"686_CR127","doi-asserted-by":"publisher","unstructured":"Civili C, Rosati R (2012) A broad class of first-order rewritable tuple-generating dependencies. In: Proceedings of the 2nd international workshop on datalog in Academia and industry (Datalog 2.0), lecture notes in computer science, vol. 7494. Springer, Berlin, pp 68\u201380. https:\/\/doi.org\/10.1007\/978-3-642-32925-8_8","DOI":"10.1007\/978-3-642-32925-8_8"},{"key":"686_CR128","doi-asserted-by":"publisher","unstructured":"Consens MP, Mendelzon AO (1990) Graphlog: a visual formalism for real life recursion. In: Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems (PODS 1990), ACM Press, pp 404\u2013416. https:\/\/doi.org\/10.1145\/298514.298591","DOI":"10.1145\/298514.298591"},{"key":"686_CR129","doi-asserted-by":"crossref","unstructured":"Corcho \u00d3, Fern\u00e1ndez-L\u00f3pez M, G\u00f3mez-P\u00e9rez A (2006) Ontological engineering: principles, methods, tools and languages. In: Ontologies for software engineering and software technology. Springer, Berlin, pp 1\u201348","DOI":"10.1007\/3-540-34518-3_1"},{"key":"686_CR130","doi-asserted-by":"publisher","unstructured":"Cozman FG, Polastro RB (2008) Loopy propagation in a probabilistic description logic. In: Proceedings of the 2nd international conference on scalable uncertainty management (SUM 2008), lecture notes in computer science, vol 5291. Springer, Berlin, pp 120\u2013133. https:\/\/doi.org\/10.1007\/978-3-540-87993-0_11","DOI":"10.1007\/978-3-540-87993-0_11"},{"key":"686_CR131","doi-asserted-by":"publisher","unstructured":"Cucala DT, Cuenca Grau B, Horrocks I (2019) 15 years of consequence-based reasoning. In: Lutz et\u00a0al. [274]. pp 573\u2013587. https:\/\/doi.org\/10.1007\/978-3-030-22102-7_27","DOI":"10.1007\/978-3-030-22102-7_27"},{"key":"686_CR132","unstructured":"Cucala DT, Cuenca Grau B, Horrocks I (2019) Sequoia: a consequence based reasoner for $$\\cal{SROIQ}$$. In: Proceedings of the 32nd international workshop on description logics (DL 2019), CEUR workshop proceedings, vol 2373. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-2373\/paper-27.pdf"},{"key":"686_CR133","doi-asserted-by":"publisher","unstructured":"Cuenca Grau B, Horrocks I, Kazakov Y, Sattler U (2009) Extracting modules from ontologies: a logic-based approach. In: Stuckenschmidt et\u00a0al. [369]. pp 159\u2013186. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_8","DOI":"10.1007\/978-3-642-01907-4_8"},{"key":"686_CR134","doi-asserted-by":"publisher","unstructured":"Cuenca Grau B, Parsia B, Sirin E (2009) Ontology integration using $${\\cal{E}}$$-connections. In: Stuckenschmidt et\u00a0al. [369]. pp 293\u2013320. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_14","DOI":"10.1007\/978-3-642-01907-4_14"},{"key":"686_CR135","unstructured":"Cuenca Grau B, Parsia B, Sirin E, Kalyanpur A (2006) Modularity and web ontologies. In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR 2006). AAAI Press, pp 198\u2013209. http:\/\/www.aaai.org\/Library\/KR\/2006\/kr06-022.php"},{"key":"686_CR136","doi-asserted-by":"publisher","unstructured":"d\u2019Amato C, Fanizzi N, Lukasiewicz T (2008) Tractable reasoning with Bayesian description logics. In: Proceedings of the 2nd international conference on scalable uncertainty management (SUM 2008), lecture notes in computer science, vol 5291. Springer, Berlin, pp 146\u2013159. https:\/\/doi.org\/10.1007\/978-3-540-87993-0_13","DOI":"10.1007\/978-3-540-87993-0_13"},{"issue":"5","key":"686_CR137","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1093\/logcom\/exn051","volume":"19","author":"G De Giacomo","year":"2009","unstructured":"De Giacomo G, Lenzerini M, Poggi A, Rosati R (2009) On instance-level update and erasure in description logic ontologies. J Log Comput 19(5):745\u2013770. https:\/\/doi.org\/10.1093\/logcom\/exn051","journal-title":"J Log Comput"},{"key":"686_CR138","doi-asserted-by":"publisher","unstructured":"Del-Pinto W, Schmidt RA (2019) ABox abduction via forgetting in $$\\cal{ALC}$$. In: The 33rd AAAI conference on artificial intelligence (AAAI 2019). AAAI Press, pp 2768\u20132775. https:\/\/doi.org\/10.1609\/aaai.v33i01.33012768","DOI":"10.1609\/aaai.v33i01.33012768"},{"key":"686_CR139","doi-asserted-by":"publisher","unstructured":"Del Vescovo C, Klinov P, Parsia B, Sattler U, Schneider T, Tsarkov D (2013) Empirical study of logic-based modules: Cheap is cheerful. In: Proceedings of the 12th international semantic web conference (ISWC 2013), lecture notes in computer science, vol 8218. Springer, Berlin, pp 84\u2013100. https:\/\/doi.org\/10.1007\/978-3-642-41335-3_6","DOI":"10.1007\/978-3-642-41335-3_6"},{"key":"686_CR140","doi-asserted-by":"publisher","unstructured":"Del Vescovo C, Parsia B, Sattler U, Schneider T (2011) The modular structure of an ontology: atomic decomposition. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 2232\u20132237. https:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-372","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-372"},{"key":"686_CR141","unstructured":"Ding Z, Peng Y (2004) A probabilistic extension to ontology language OWL. In: 37th Hawaii international conference on system sciences (HICSS-37), CD-ROM\/Abstracts proceedings. IEEE Computer Society"},{"key":"686_CR142","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92913-0","volume-title":"Handbook of semantic web technologies","year":"2011","unstructured":"Domingue J, Fensel D, Hendler JA (eds) (2011) Handbook of semantic web technologies. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-540-92913-0"},{"issue":"2","key":"686_CR143","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2012040101","volume":"8","author":"J Du","year":"2012","unstructured":"Du J, Qi G, Shen Y, Pan JZ (2012) Towards practical ABox abduction in large description logic ontologies. Int J Semant Web Inf Syst 8(2):1\u201333. https:\/\/doi.org\/10.4018\/jswis.2012040101","journal-title":"Int J Semant Web Inf Syst"},{"key":"686_CR144","doi-asserted-by":"crossref","unstructured":"Du J, Wang K, Shen Y (2014) A tractable approach to ABox abduction over description logic ontologies. In: Proceedings of the 28th AAAI conference on artificial intelligence (AAAI 2014). AAAI Press, pp 1034\u20131040. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8191","DOI":"10.1609\/aaai.v28i1.8852"},{"issue":"1","key":"686_CR145","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.fss.2003.10.011","volume":"144","author":"D Dubois","year":"2004","unstructured":"Dubois D, Prade H (2004) Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst 144(1):3\u201323","journal-title":"Fuzzy Sets Syst"},{"key":"686_CR146","unstructured":"Ecke A, Pensel M, Turhan A (2015) Elastiq: answering similarity-threshold instance queries in $$\\cal{EL}$$. In: Proceedings of the 28th international workshop on description logics (DL 2015), CEUR workshop proceedings, vol 1350. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1350\/paper-49.pdf"},{"issue":"4, Part 1","key":"686_CR147","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1016\/j.jal.2015.01.002","volume":"13","author":"A Ecke","year":"2015","unstructured":"Ecke A, Pe\u00f1aloza R, Turhan AY (2015) Similarity-based relaxed instance queries. J Appl Log 13(4, Part 1):480\u2013508","journal-title":"J Appl Log"},{"key":"686_CR148","doi-asserted-by":"publisher","unstructured":"Eiter T, Gottlob G, Ortiz M, \u0160imkus M (2008) Query answering in the description logic Horn-$$\\cal{SHIQ}$$. In: Proceedings of the 11th European conference on logics in artificial intelligence (JELIA 2008), lecture notes in computer science, vol 5293. Springer, Berlin, pp 166\u2013179. https:\/\/doi.org\/10.1007\/978-3-540-87803-2_15","DOI":"10.1007\/978-3-540-87803-2_15"},{"issue":"12\u201313","key":"686_CR149","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter T, Ianni G, Lukasiewicz T, Schindlauer R, Tompits H (2008) Combining answer set programming with description logics for the semantic web. Artif Intell 172(12\u201313):1495\u20131539. https:\/\/doi.org\/10.1016\/j.artint.2008.04.002","journal-title":"Artif Intell"},{"key":"686_CR150","doi-asserted-by":"publisher","unstructured":"Eiter T, Ianni G, Schindlauer R, Tompits H, Wang K (2006) Forgetting in managing rules and ontologies. In: 2006 IEEE\/WIC\/ACM International conference on web intelligence (WI). IEEE computer society, pp 411\u2013419. https:\/\/doi.org\/10.1109\/WI.2006.83","DOI":"10.1109\/WI.2006.83"},{"issue":"1","key":"686_CR151","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s13218-018-0564-6","volume":"33","author":"T Eiter","year":"2019","unstructured":"Eiter T, Kern-Isberner G (2019) A brief survey on forgetting from a knowledge representation and reasoning perspective. KI 33(1):9\u201333. https:\/\/doi.org\/10.1007\/s13218-018-0564-6","journal-title":"KI"},{"key":"686_CR152","unstructured":"Eiter T, Lutz C, Ortiz M, \u0160imkus M (2009) Query answering in description logics with transitive roles. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI 2009), pp 759\u2013764. http:\/\/ijcai.org\/Proceedings\/09\/Papers\/131.pdf"},{"issue":"1","key":"686_CR153","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.jcss.2011.02.012","volume":"78","author":"T Eiter","year":"2012","unstructured":"Eiter T, Ortiz M, \u0160imkus M (2012) Conjunctive query answering in the description logic SH using knots. J Comput Syst Sci 78(1):47\u201385. https:\/\/doi.org\/10.1016\/j.jcss.2011.02.012","journal-title":"J Comput Syst Sci"},{"key":"686_CR154","unstructured":"Eiter T, Ortiz M, \u0160imkus M, Tran T, Xiao G (2012) Query rewriting for Horn-$$\\cal{SHIQ}$$ plus rules. In: Proceedings of the 26th AAAI conference on artificial intelligence (AAAI 2012). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI12\/paper\/view\/4931"},{"key":"686_CR155","doi-asserted-by":"publisher","unstructured":"Eiter T, \u0160imkus M (2015) Linking open-world knowledge bases using nonmonotonic rules. In: Proceedings of the 13th international conference on logic programming and nonmonotonic reasoning (LPNMR 2015), lecture notes in computer science, vol 9345. Springer, Berlin, pp 294\u2013308. https:\/\/doi.org\/10.1007\/978-3-319-23264-5_25","DOI":"10.1007\/978-3-319-23264-5_25"},{"key":"686_CR156","unstructured":"Elsenbroich C, Kutz O, Sattler U (2006) A case for abductive reasoning over ontologies. In: Proceedings of the OWLED*06 Workshop on OWL: experiences and directions, CEUR workshop proceedings, vol 216. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-216\/submission_25.pdf"},{"key":"686_CR157","doi-asserted-by":"crossref","unstructured":"Emerson EA (1990) Temporal and modal logic. In: Handbook of theoretical computer science, volume b: formal models and semantics. Elsevier and MIT Press, pp 995\u20131072","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"3","key":"686_CR158","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"EA Emerson","year":"1982","unstructured":"Emerson EA, Clarke EM (1982) Using branching time temporal logic to synthesize synchronization skeletons. Sci Comput Program 2(3):241\u2013266","journal-title":"Sci Comput Program"},{"issue":"1","key":"686_CR159","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"EA Emerson","year":"1986","unstructured":"Emerson EA, Halpern JY (1986) \u201cSometimes\u201d and \u201cNot Never\u201d revisited: on branching versus linear time temporal logic. J ACM 33(1):151\u2013178","journal-title":"J ACM"},{"key":"686_CR160","unstructured":"Feier C, Carral D, Stefanoni G, Cuenca Grau B, Horrocks I (2015) The combined approach to query answering beyond the OWL 2 profiles. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI 2015). AAAI Press, pp 2971\u20132977. http:\/\/ijcai.org\/Abstract\/15\/420"},{"key":"686_CR161","doi-asserted-by":"crossref","unstructured":"Figueira D, Figueira S, Pin\u00a0Baque E (2020) Finite controllability for ontology-mediated query answering of CRPQ. https:\/\/hal.archives-ouvertes.fr\/hal-02508782. Working paper or preprint","DOI":"10.24963\/kr.2020\/39"},{"key":"686_CR162","unstructured":"Finger M, Wassermann R, Cozman FG (2011) Satisfiability in $$\\cal{EL}$$ with sets of probabilistic ABoxes. In: Proceedings of the 24th international workshop on description logics (DL), CEUR workshop proceedings, vol 745. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-745\/paper_14.pdf"},{"key":"686_CR163","doi-asserted-by":"publisher","unstructured":"Florescu D, Levy AY, Suciu D (1998) Query containment for conjunctive queries with regular expressions. In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems (PODS 1998). ACM Press, pp 139\u2013148. https:\/\/doi.org\/10.1145\/275487.275503","DOI":"10.1145\/275487.275503"},{"key":"686_CR164","unstructured":"Franconi E, Guagliardo P, Trevisan M, Tessaris S (2011) Quelo: an ontology-driven query interface. In: Proceedings of the 24th international workshop on description logics (DL 2011), CEUR workshop proceedings, vol 745. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-745\/paper_58.pdf"},{"key":"686_CR165","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2011.10.007","volume":"278","author":"E Franconi","year":"2011","unstructured":"Franconi E, Ib\u00e1\u00f1ez-Garc\u00eda YA, Seylan I (2011) Query answering with DBoxes is hard. Electr Notes Theor Comput Sci 278:71\u201384. https:\/\/doi.org\/10.1016\/j.entcs.2011.10.007","journal-title":"Electr Notes Theor Comput Sci"},{"key":"686_CR166","doi-asserted-by":"publisher","unstructured":"Franconi E, Toman D (2011) Fixpoints in temporal description logics. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 875\u2013880. https:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-152","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-152"},{"key":"686_CR167","volume-title":"Many-dimensional modal logics: theory and applications, studies in Logic","author":"D Gabbay","year":"2003","unstructured":"Gabbay D, Kurucz A, Wolter F, Zakharyaschev M (2003) Many-dimensional modal logics: theory and applications, studies in Logic, vol 148. Elsevier Science Publishers (North-Holland), Amsterdam"},{"key":"686_CR168","doi-asserted-by":"publisher","unstructured":"Gatens W, Konev B, Wolter F (2014) Lower and upper approximations for depleting modules of description logic ontologies. In: Proceedings of the 21st European conference on artificial intelligence (ECAI 2014), frontiers in artificial intelligence and applications, vol 263. IOS Press, pp 345\u2013350. https:\/\/doi.org\/10.3233\/978-1-61499-419-0-345","DOI":"10.3233\/978-1-61499-419-0-345"},{"key":"686_CR169","unstructured":"Genesereth MR (1991) Knowledge interchange format. In: Proceedings of the 2nd international conference on principles of knowledge representation and reasoning (KR 1991). Morgan Kaufmann, pp 599\u2013600"},{"key":"686_CR170","unstructured":"Ghilardi S, Lutz C, Wolter F (2006) Did I damage my ontology? A case for conservative extensions in description logics. In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR 2006). AAAI Press, pp 187\u2013197. http:\/\/www.aaai.org\/Library\/KR\/2006\/kr06-021.php"},{"key":"686_CR171","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2012.10.004","volume":"195","author":"L Giordano","year":"2013","unstructured":"Giordano L, Gliozzi V, Olivetti N, Pozzato GL (2013) A non-monotonic description logic for reasoning about typicality. Artif Intell 195:165\u2013202. https:\/\/doi.org\/10.1016\/j.artint.2012.10.004","journal-title":"Artif Intell"},{"key":"686_CR172","doi-asserted-by":"publisher","unstructured":"Giugno R, Lukasiewicz T (2002) P-$$\\cal{SHOQ}({\\cal{D}})$$: A probabilistic extension of $$\\cal{SHOQ}({\\cal{D}})$$ for probabilistic ontologies in the semantic web. In: Proceedings of the European conference on logics in artificial intelligence (JELIA 2002), lecture notes in computer science, vol 2424. Springer, Berlin, pp 86\u201397. https:\/\/doi.org\/10.1007\/3-540-45757-7_8","DOI":"10.1007\/3-540-45757-7_8"},{"issue":"3","key":"686_CR173","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) Hermit: an OWL 2 reasoner. J. Autom. Reason. 53(3):245\u2013269. https:\/\/doi.org\/10.1007\/s10817-014-9305-1","journal-title":"J. Autom. Reason."},{"key":"686_CR174","doi-asserted-by":"publisher","unstructured":"Glimm B, Kazakov Y, Liebig T, Tran T, Vialard V (2014) Abstraction refinement for ontology materialization. In: Proceedings of the 13th international semantic web conference (ISWC 2014), lecture notes in computer science, vol 8797. Springer, Berlin, pp 180\u2013195. https:\/\/doi.org\/10.1007\/978-3-319-11915-1_12","DOI":"10.1007\/978-3-319-11915-1_12"},{"key":"686_CR175","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1613\/jair.2372","volume":"31","author":"B Glimm","year":"2008","unstructured":"Glimm B, Lutz C, Horrocks I, Sattler U (2008) Conjunctive query answering for the description logic $$\\cal{SHIQ}$$. J Artif Intell Res 31:157\u2013204. https:\/\/doi.org\/10.1613\/jair.2372","journal-title":"J Artif Intell Res"},{"key":"686_CR176","first-page":"286","volume":"69","author":"K G\u00f6del","year":"1932","unstructured":"G\u00f6del K (1932) Zum intuitionistischen Aussagenkalk\u00fcl. Anzeiger der Akademie der Wissenschaften in Wien 69:286\u2013295 Reprinted 1986","journal-title":"Anzeiger der Akademie der Wissenschaften in Wien"},{"key":"686_CR177","doi-asserted-by":"publisher","unstructured":"Gogacz T, Guti\u00e9rrez-Basulto V, Ib\u00e1\u00f1ez-Garc\u00eda Y, Jung JC, Murlak F (2019) On finite and unrestricted query entailment beyond $$\\cal{SQ}$$ with number restrictions on transitive roles. In: Proceedings of the 28th international joint conference on artificial intelligence (IJCAI 2019). pp 1719\u20131725. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2019\/238","DOI":"10.24963\/ijcai.2019\/238"},{"key":"686_CR178","unstructured":"Gogacz T, Guti\u00e9rrez-Basulto V, Ib\u00e1\u00f1ez-Garc\u00eda YA, Murlak F, Ortiz M, \u0160imkus M (2020) Ontology focusing: knowledge-enriched databases on demand. In: Proceedings of the 24th European conference on artificial intelligence (ECAI 2020)"},{"key":"686_CR179","unstructured":"Gogacz T, Ib\u00e1\u00f1ez-Garc\u00eda YA, Murlak F (2018) Finite query answering in expressive description logics with transitive roles. In: Proceedings of the 16th international conference on principles of knowledge representation and reasoning (KR 2018). AAAI Press, pp 369\u2013378. https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/18062"},{"issue":"1","key":"686_CR180","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.websem.2003.07.007","volume":"1","author":"J Golbeck","year":"2003","unstructured":"Golbeck J, Fragoso G, Hartel FW, Hendler JA, Oberthaler J, Parsia B (2003) The national cancer institute\u2019s th\u00e9saurus and ontology. J Web Semant 1(1):75\u201380. https:\/\/doi.org\/10.1016\/j.websem.2003.07.007","journal-title":"J Web Semant"},{"key":"686_CR181","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.artint.2014.04.004","volume":"213","author":"G Gottlob","year":"2014","unstructured":"Gottlob G, Kikot S, Kontchakov R, Podolskii VV, Schwentick T, Zakharyaschev M (2014) The price of query rewriting in ontology-based data access. Artif Intell 213:42\u201359. https:\/\/doi.org\/10.1016\/j.artint.2014.04.004","journal-title":"Artif Intell"},{"key":"686_CR182","doi-asserted-by":"publisher","unstructured":"Gottlob G, Lukasiewicz T, Simari GI (2011) Conjunctive query answering in probabilistic Datalog+\/- ontologies. In: Proceedings of the 5th international conference on web reasoning and rule systems (RR 2011), lecture notes in computer science, vol 6902. Springer, Berlin, pp 77\u201392. https:\/\/doi.org\/10.1007\/978-3-642-23580-1_7","DOI":"10.1007\/978-3-642-23580-1_7"},{"key":"686_CR183","unstructured":"Gottlob G, Manna M, Pieris A (2014) Polynomial combined rewritings for existential rules. In: Proceedings of the 14th international conference on principles of knowledge representation and reasoning (KR 2014). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7973"},{"key":"686_CR184","doi-asserted-by":"publisher","unstructured":"Gottlob G, Orsi G, Pieris A, \u0160imkus M (2012) Datalog and its extensions for semantic web databases. In: Proceedings of the 8th reasoning web international summer school (RW 2012), lecture notes in computer science, vol 7487. Springer, Berlin, pp 54\u201377. https:\/\/doi.org\/10.1007\/978-3-642-33158-9_2","DOI":"10.1007\/978-3-642-33158-9_2"},{"key":"686_CR185","doi-asserted-by":"publisher","unstructured":"Gottlob G, Rudolph S, \u0160imkus M (2014) Expressiveness of guarded existential rule languages. In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems (PODS 2014). ACM, pp 27\u201338. https:\/\/doi.org\/10.1145\/2594538.2594556","DOI":"10.1145\/2594538.2594556"},{"key":"686_CR186","unstructured":"Gottlob G, Schwentick T (2012) Rewriting ontological queries into small nonrecursive datalog programs. In: Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR 2012). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR12\/paper\/view\/4510"},{"key":"686_CR187","doi-asserted-by":"publisher","unstructured":"Governatori G (2004) Defeasible description logics. In: Proceedings of the 3rd international workshop on rules and rule markup languages for the semantic web (RuleML 2004), lecture notes in computer science, vol 3323. Springer, Berlin, pp 98\u2013112. https:\/\/doi.org\/10.1007\/978-3-540-30504-0_8","DOI":"10.1007\/978-3-540-30504-0_8"},{"key":"686_CR188","doi-asserted-by":"publisher","unstructured":"Gr\u00e4del E, Otto M, Rosen E (1997) Two-variable logic with counting is decidable. In: Proceedings of the 12th annual IEEE symposium on logic in computer science (LICS 1997). IEEE Computer Society, pp 306\u2013317. https:\/\/doi.org\/10.1109\/LICS.1997.614957","DOI":"10.1109\/LICS.1997.614957"},{"key":"686_CR189","doi-asserted-by":"publisher","unstructured":"Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th international world wide web conference (WWW 2003). ACM, pp 48\u201357. https:\/\/doi.org\/10.1145\/775152.775160","DOI":"10.1145\/775152.775160"},{"issue":"5\u20136","key":"686_CR190","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"TR Gruber","year":"1995","unstructured":"Gruber TR (1995) Toward principles for the design of ontologies used for knowledge sharing? Int J Hum Comput Stud 43(5\u20136):907\u2013928. https:\/\/doi.org\/10.1006\/ijhc.1995.1081","journal-title":"Int J Hum Comput Stud"},{"key":"686_CR191","unstructured":"Guti\u00e9rrez-Basulto V, Ib\u00e1\u00f1ez-Garc\u00eda, YA, Jung JC (2018) Answering regular path queries over $$\\cal{SQ}$$ ontologies. In: Proceedings of the 32nd AAAI conference on artificial intelligence (AAAI 2018). AAAI Press, pp 1845\u20131852. https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/16242"},{"key":"686_CR192","unstructured":"Guti\u00e9rrez-Basulto V, Jung JC, Kontchakov R (2016) Temporalized $$\\cal{EL}$$ ontologies for accessing temporal data: complexity of atomic queries. In: Proceedings of the 25th international joint conference on artificial intelligence (IJCAI 2016). IJCAI\/AAAI Press, pp 1102\u20131108. http:\/\/www.ijcai.org\/Abstract\/16\/160"},{"key":"686_CR193","doi-asserted-by":"publisher","unstructured":"Guti\u00e9rrez-Basulto V, Jung JC, Lutz C (2012) Complexity of branching temporal description logics. In: Proceedings of the 20th European conference on artificial intelligence (ECAI 2012), frontiers in artificial intelligence and applications, vol 242. IOS Press, pp 390\u2013395. https:\/\/doi.org\/10.3233\/978-1-61499-098-7-390","DOI":"10.3233\/978-1-61499-098-7-390"},{"key":"686_CR194","doi-asserted-by":"publisher","unstructured":"Guti\u00e9rrez-Basulto V, Jung JC, Ozaki A (2016) On metric temporal description logics. In: Proceedings of the 22nd European conference on artificial intelligence (ECAI 2016), frontiers in artificial intelligence and applications, vol 285. IOS Press, pp 837\u2013845. https:\/\/doi.org\/10.3233\/978-1-61499-672-9-837","DOI":"10.3233\/978-1-61499-672-9-837"},{"key":"686_CR195","unstructured":"Guti\u00e9rrez-Basulto V, Jung JC, Schneider T (2014) Lightweight description logics and branching time: a troublesome marriage. In: Proceedings of the 14th international conference on principles of knowledge representation and reasoning (KR 2014). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7802"},{"key":"686_CR196","unstructured":"Guti\u00e9rrez-Basulto V, Jung JC, Schneider T (2015) Lightweight temporal description logics with rigid roles and restricted TBoxes. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI 2015). AAAI Press, pp 3015\u20133021. http:\/\/ijcai.org\/Abstract\/15\/426"},{"key":"686_CR197","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic, trends in logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic, trends in logic, vol 4. Kluwer, Amsterdam"},{"key":"686_CR198","doi-asserted-by":"publisher","unstructured":"Halland K, Britz K (2012) ABox abduction in $$\\cal{ALC}$$ using a DL tableau. In: 2012 South African Institute of computer scientists and information technologists conference, SAICSIT. ACM, pp 51\u201358. https:\/\/doi.org\/10.1145\/2389836.2389843","DOI":"10.1145\/2389836.2389843"},{"issue":"3","key":"686_CR199","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern JY (1990) An analysis of first-order logics of probability. Artif Intell 46(3):311\u2013350","journal-title":"Artif Intell"},{"issue":"4","key":"686_CR200","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"JY Halpern","year":"1991","unstructured":"Halpern JY, Shoham Y (1991) A propositional modal logic of time intervals. J ACM 38(4):935\u2013962","journal-title":"J ACM"},{"key":"686_CR201","doi-asserted-by":"publisher","unstructured":"Hariri BB, Calvanese D, De Giacomo G, Deutsch A, Montali M (2013) Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems (PODS 2013). ACM, pp 163\u2013174. https:\/\/doi.org\/10.1145\/2463664.2465221","DOI":"10.1145\/2463664.2465221"},{"key":"686_CR202","volume-title":"Handbook of knowledge representation, foundations of artificial intelligence","year":"2008","unstructured":"van Harmelen F, Lifschitz V, Porter BW (eds) (2008) Handbook of knowledge representation, foundations of artificial intelligence, vol 3. Elsevier, New York"},{"key":"686_CR203","doi-asserted-by":"crossref","unstructured":"Heinsohn J (1994) Probabilistic description logics. In: Proceedings of the 10th annual conference on uncertainty in artificial intelligence (UAI 1994). Morgan Kaufmann, pp 311\u2013318","DOI":"10.1016\/B978-1-55860-332-5.50044-4"},{"key":"686_CR204","doi-asserted-by":"publisher","unstructured":"Hodkinson IM, Wolter F, Zakharyaschev M (2002) Decidable and undecidable fragments of first-order branching temporal logics. In: Proceedings of the 17th IEEE symposium on logic in computer science (LICS 2002). IEEE Comput Soc, pp 393\u2013402. https:\/\/doi.org\/10.1109\/LICS.2002.1029847","DOI":"10.1109\/LICS.2002.1029847"},{"issue":"2","key":"686_CR205","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0888-613X(94)00015-U","volume":"12","author":"B Hollunder","year":"1995","unstructured":"Hollunder B (1995) An alternative proof method for possibilistic logic and its application to terminological logics. Int J Approx Reason 12(2):85\u2013109","journal-title":"Int J Approx Reason"},{"key":"686_CR206","doi-asserted-by":"publisher","unstructured":"Horridge M, Parsia B, Sattler U (2008) Laconic and precise justifications in OWL. In: Proceedings of the 7th international semantic web conference (ISWC 2008), lecture notes in computer science, vol 5318. Springer, Berlin, pp 323\u2013338. https:\/\/doi.org\/10.1007\/978-3-540-88564-1_21","DOI":"10.1007\/978-3-540-88564-1_21"},{"key":"686_CR207","unstructured":"Horrocks I (1998) Using an expressive description logic: fact or fiction? In: Proceedings of the 6th international conference on principles of knowledge representation and reasoning (KR\u201998). Morgan Kaufmann, pp 636\u2013649"},{"key":"686_CR208","unstructured":"Horrocks I, Kutz O, Sattler U (2006) The even more irresistible $$\\cal{SROIQ}$$. In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR 2006). AAAI Press, pp 57\u201367. http:\/\/www.aaai.org\/Library\/KR\/2006\/kr06-009.php"},{"key":"686_CR209","doi-asserted-by":"publisher","unstructured":"Horrocks I, Patel-Schneider PF (2004) A proposal for an OWL rules language. In: Proceedings of the 13th international conference on World Wide Web (WWW 2004). ACM, pp 723\u2013731. https:\/\/doi.org\/10.1145\/988672.988771","DOI":"10.1145\/988672.988771"},{"issue":"1","key":"686_CR210","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3","author":"I Horrocks","year":"2005","unstructured":"Horrocks I, Patel-Schneider PF, Bechhofer S, Tsarkov D (2005) OWL rules: a proposal and prototype implementation. J Web Semant 3(1):23\u201340. https:\/\/doi.org\/10.1016\/j.websem.2005.05.003","journal-title":"J Web Semant"},{"issue":"1","key":"686_CR211","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider PF, van Harmelen F (2003) From $$\\cal{SHIQ}$$ and RDF to OWL: the making of a web ontology language. J Web Semant 1(1):7\u201326. https:\/\/doi.org\/10.1016\/j.websem.2003.07.001","journal-title":"J Web Semant"},{"key":"686_CR212","doi-asserted-by":"publisher","unstructured":"Horrocks I, Sattler U, Tessaris S, Tobies S (2000) How to decide query containment under constraints using a description logic. In: Proceedings of the 7th international conference on logic for programming and automated reasoning (LPAR 2000), lecture notes in computer science, vol 1955. Springer, Berlin, pp 326\u2013343. https:\/\/doi.org\/10.1007\/3-540-44404-1_21","DOI":"10.1007\/3-540-44404-1_21"},{"key":"686_CR213","unstructured":"Hustadt U, Motik B, Sattler U (2005) Data complexity of reasoning in very expressive description logics. In: Proceedings of the 19th international joint conference on artificial intelligence (IJCAI 2005). Professional Book Center, pp 466\u2013471. http:\/\/ijcai.org\/Proceedings\/05\/Papers\/0326.pdf"},{"issue":"3","key":"686_CR214","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U Hustadt","year":"2007","unstructured":"Hustadt U, Motik B, Sattler U (2007) Reasoning in description logics by a reduction to disjunctive datalog. J Autom Reason 39(3):351\u2013384. https:\/\/doi.org\/10.1007\/s10817-007-9080-3","journal-title":"J Autom Reason"},{"key":"686_CR215","doi-asserted-by":"publisher","unstructured":"Hustadt U, Ozaki A, Dixon C (2017) Theorem proving for metric temporal logic over the naturals. In: Proceedings of the 26th international conference on automated deduction (CADE-26), lecture notes in computer science, vol 10395. Springer, Berlin, pp 326\u2013343. https:\/\/doi.org\/10.1007\/978-3-319-63046-5_20","DOI":"10.1007\/978-3-319-63046-5_20"},{"issue":"251\u2013276","key":"686_CR216","first-page":"3","volume":"1","author":"U Hustadt","year":"2004","unstructured":"Hustadt U, Schmidt RA, Georgieva L (2004) A survey of decidable first-order fragments and description logics. J Relat Methods Comput Sci 1(251\u2013276):3","journal-title":"J Relat Methods Comput Sci"},{"key":"686_CR217","unstructured":"Ib\u00e1\u00f1ez-Garc\u00eda YA, Lutz C, Schneider T (2014) Finite model reasoning in Horn description logics. In: Proceedings of the 14th international conference on principles of knowledge representation and reasoning (KR 2014). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7927"},{"key":"686_CR218","doi-asserted-by":"crossref","unstructured":"Jaeger M (1994) Probabilistic reasoning in terminological logics. In: Proceedings of the 4th international conference on principles of knowledge representation and reasoning (KR 1994). Morgan Kaufmann, pp 305\u2013316","DOI":"10.1016\/B978-1-4832-1452-8.50124-X"},{"issue":"1","key":"686_CR219","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"DS Johnson","year":"1984","unstructured":"Johnson DS, Klug AC (1984) Testing containment of conjunctive queries under functional and inclusion dependencies. J Comput Syst Sci 28(1):167\u2013189. https:\/\/doi.org\/10.1016\/0022-0000(84)90081-3","journal-title":"J Comput Syst Sci"},{"key":"686_CR220","doi-asserted-by":"publisher","unstructured":"Jung JC, Lutz C (2012) Ontology-based access to probabilistic data with OWL QL. In: Proceedings of the 11th international semantic web conference (ISWC 2012), lecture notes in computer science, vol 7649. Springer, Berlin, pp 182\u2013197. https:\/\/doi.org\/10.1007\/978-3-642-35176-1_12","DOI":"10.1007\/978-3-642-35176-1_12"},{"key":"686_CR221","doi-asserted-by":"publisher","unstructured":"Jung JC, Lutz C, Martel M, Schneider T (2018) Querying the unary negation fragment with regular path expressions. In: Proceedings of the 21st international conference on database theory (ICDT 2018), LIPIcs, vol 98. Schloss Dagstuhl, pp 15:1\u201315:18. https:\/\/doi.org\/10.4230\/LIPIcs.ICDT.2018.15","DOI":"10.4230\/LIPIcs.ICDT.2018.15"},{"key":"686_CR222","doi-asserted-by":"publisher","unstructured":"Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of OWL DL entailments. In: The semantic web, 6th international semantic web conference, 2nd Asian semantic web conference, ISWC + ASWC, lecture notes in computer science, vol 4825. Springer, Berlin, pp 267\u2013280. https:\/\/doi.org\/10.1007\/978-3-540-76298-0_20","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"686_CR223","unstructured":"Kazakov Y (2006) Saturation-based decision procedures for extensions of the guarded fragment. Ph.D. thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany"},{"key":"686_CR224","unstructured":"Kazakov Y (2009) Consequence-driven reasoning for Horn $$\\cal{SHIQ}$$ ontologies. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI 2009). pp 2040\u20132045. http:\/\/ijcai.org\/Proceedings\/09\/Papers\/336.pdf"},{"issue":"1","key":"686_CR225","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov Y, Kr\u00f6tzsch M, Simancik F (2014) The incredible ELK: from polynomial procedures to efficient reasoning with $$\\cal{EL}$$ ontologies. J Autom Reason 53(1):1\u201361. https:\/\/doi.org\/10.1007\/s10817-013-9296-3","journal-title":"J Autom Reason"},{"issue":"1","key":"686_CR226","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10817-010-9168-z","volume":"46","author":"S Klarman","year":"2011","unstructured":"Klarman S, Endriss U, Schlobach S (2011) ABox abduction in the description logic $$\\cal{ALC}$$. J Autom Reason 46(1):43\u201380. https:\/\/doi.org\/10.1007\/s10817-010-9168-z","journal-title":"J Autom Reason"},{"issue":"3","key":"686_CR227","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1093\/logcom\/ext011","volume":"26","author":"S Klarman","year":"2016","unstructured":"Klarman S, Guti\u00e9rrez-Basulto V (2016) Description logics of context. J Log Comput 26(3):817\u2013854. https:\/\/doi.org\/10.1093\/logcom\/ext011","journal-title":"J Log Comput"},{"key":"686_CR228","volume-title":"Introduction to metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene SC (1952) Introduction to metamathematics. Van Nostrand, New York"},{"key":"686_CR229","doi-asserted-by":"publisher","unstructured":"Klinov P (2008) Pronto: a non-monotonic probabilistic description logic reasoner. In: Proceedings of the 5th European semantic web conference (ESWC 2008), lecture notes in computer science, vol 5021. Springer, Berlin, pp 822\u2013826. https:\/\/doi.org\/10.1007\/978-3-540-68234-9_66","DOI":"10.1007\/978-3-540-68234-9_66"},{"key":"686_CR230","doi-asserted-by":"publisher","unstructured":"Klinov P, Parsia B (2013) Pronto: a practical probabilistic description logic reasoner. In: Uncertainty reasoning for the semantic web II, international workshops URSW, revised selected papers, lecture notes in computer science, vol 7123. Springer, Berlin, pp 59\u201379. https:\/\/doi.org\/10.1007\/978-3-642-35975-0_4","DOI":"10.1007\/978-3-642-35975-0_4"},{"issue":"9\u201310","key":"686_CR231","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M Knorr","year":"2011","unstructured":"Knorr M, Alferes JJ, Hitzler P (2011) Local closed world reasoning with description logics under the well-founded semantics. Artif Intell 175(9\u201310):1528\u20131554. https:\/\/doi.org\/10.1016\/j.artint.2011.01.007","journal-title":"Artif Intell"},{"key":"686_CR232","doi-asserted-by":"publisher","unstructured":"Knorr M, Hitzler P, Maier F (2012) Reconciling OWL and non-monotonic rules for the semantic web. In: Proceedings of the 20th European conference on artificial intelligence (ECAI 2012), frontiers in artificial intelligence and applications, vol 242. IOS Press, pp 474\u2013479. https:\/\/doi.org\/10.3233\/978-1-61499-098-7-474","DOI":"10.3233\/978-1-61499-098-7-474"},{"key":"686_CR233","unstructured":"Koller D, Levy AY, Pfeffer A (1997) P-CLASSIC: a tractable probablistic description logic. In: Proceedings of the 14th national conference on artificial intelligence (AAAI 1997), pp 390\u2013397"},{"key":"686_CR234","unstructured":"Konev B, Lutz C, Ponomaryov DK, Wolter F (2010) Decomposing description logic ontologies. In: Proceedings of the 12th international conference on principles of knowledge representation and reasoning (KR 2010). AAAI Press. http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1356"},{"key":"686_CR235","doi-asserted-by":"publisher","unstructured":"Konev B, Lutz C, Walther D, Wolter F (2008) Semantic modularity and module extraction in description logics. In: Proceedings of the 18th European conference on artificial intelligence (ECAI 2008), frontiers in artificial intelligence and applications, vol 178. IOS Press, pp 55\u201359. https:\/\/doi.org\/10.3233\/978-1-58603-891-5-55","DOI":"10.3233\/978-1-58603-891-5-55"},{"key":"686_CR236","doi-asserted-by":"publisher","unstructured":"Konev B, Lutz C, Walther D, Wolter F (2009) Formal properties of modularisation. In: Stuckenschmidt et\u00a0al. [369]. pp 25\u201366. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_3","DOI":"10.1007\/978-3-642-01907-4_3"},{"key":"686_CR237","unstructured":"Konev B, Walther D, Wolter F (2009) Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI 2009). pp 830\u2013835. http:\/\/ijcai.org\/Proceedings\/09\/Papers\/142.pdf"},{"key":"686_CR238","unstructured":"Kontchakov R, Lutz C, Toman D, Wolter F, Zakharyaschev M (2010) The combined approach to query answering in DL-Lite. In: Proceedings of the 12th international conference on principles of knowledge representation and reasoning (KR 2010). AAAI Press. http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1282"},{"key":"686_CR239","doi-asserted-by":"publisher","unstructured":"Kontchakov R, Lutz C, Toman D, Wolter F, Zakharyaschev M (2011) The combined approach to ontology-based data access. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 2656\u20132661. https:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-442","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-442"},{"key":"686_CR240","unstructured":"Kontchakov R, Pandolfo L, Pulina L, Ryzhikov V, Zakharyaschev M (2016) Temporal and spatial OBDA with many-dimensional Halpern\u2013Shoham logic. In: Proceedings of the 25th international joint conference on artificial intelligence (IJCAI 2016). IJCAI\/AAAI Press, pp 1160\u20131166. http:\/\/www.ijcai.org\/Abstract\/16\/168"},{"key":"686_CR241","unstructured":"Kontchakov R, Pulina L, Sattler U, Schneider T, Selmer P, Wolter F, Zakharyaschev M (2009) Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI 2009). pp 836\u2013841. http:\/\/ijcai.org\/Proceedings\/09\/Papers\/143.pdf"},{"issue":"15","key":"686_CR242","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1016\/j.artint.2010.06.003","volume":"174","author":"R Kontchakov","year":"2010","unstructured":"Kontchakov R, Wolter F, Zakharyaschev M (2010) Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif Intell 174(15):1093\u20131141. https:\/\/doi.org\/10.1016\/j.artint.2010.06.003","journal-title":"Artif Intell"},{"key":"686_CR243","doi-asserted-by":"publisher","unstructured":"Koopmann P, Schmidt RA (2014) Count and forget: uniform interpolation of $$\\cal{SHQ}$$-ontologies. In: Proceedings of the 7th international joint conference on automated reasoning (IJCAR 2014), lecture notes in computer science, vol 8562. Springer, Berlin, pp 434\u2013448. https:\/\/doi.org\/10.1007\/978-3-319-08587-6_34","DOI":"10.1007\/978-3-319-08587-6_34"},{"key":"686_CR244","unstructured":"Koopmann P, Schmidt RA (2015) Uniform interpolation and forgetting for $$\\cal{ALC}$$ ontologies with ABoxes. In: Proceedings of the 29th AAAI conference on artificial intelligence (AAAI 2015). AAAI Press, pp 175\u2013181. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9981"},{"key":"686_CR245","doi-asserted-by":"crossref","unstructured":"Kostylev EV, Reutter JL, Vrgoc D (2015) Xpath for DL ontologies. In: Proceedings of the 29th AAAI conference on artificial intelligence (AAAI 2015). AAAI Press, pp 1525\u20131531. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9459","DOI":"10.1609\/aaai.v29i1.9396"},{"key":"686_CR246","unstructured":"Kovtunova A (2017) Ontology-mediated query answering with lightweight temporal description logics. Ph.D. thesis, KRDB research centre, Faculty of Computer Science, Free University of Bozen-Bolzano"},{"issue":"4","key":"686_CR247","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans R (1990) Specifying real-time properties with metric temporal logic. Real Time Syst 2(4):255\u2013299. https:\/\/doi.org\/10.1007\/BF01995674","journal-title":"Real Time Syst"},{"key":"686_CR248","doi-asserted-by":"publisher","unstructured":"Krisnadhi A, Lutz C (2007) Data complexity in the $$\\cal{EL}$$ family of description logics. In: Proceedings of the 14th international conference on logic for programming, artificial intelligence, and reasoning (LPAR 2007), lecture notes in computer science, vol 4790. Springer, Berlin, pp 333\u2013347. https:\/\/doi.org\/10.1007\/978-3-540-75560-9_25","DOI":"10.1007\/978-3-540-75560-9_25"},{"key":"686_CR249","doi-asserted-by":"publisher","unstructured":"Krisnadhi AA, Sengupta K, Hitzler P (2011) Local closed world semantics: Grounded circumscription for description logics. In: Proceedings of the 5th international conference on web reasoning and rule systems (RR 2011), lecture notes in computer science, vol 6902. Springer, Berlin, pp 263\u2013268. https:\/\/doi.org\/10.1007\/978-3-642-23580-1_22","DOI":"10.1007\/978-3-642-23580-1_22"},{"key":"686_CR250","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch M, Marx M, Ozaki A, Thost V (2018) Attributed description logics: reasoning on knowledge graphs. In: Proceedings of the 27th international joint conference on artificial intelligence (IJCAI 2018). pp 5309\u20135313. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2018\/743","DOI":"10.24963\/ijcai.2018\/743"},{"key":"686_CR251","unstructured":"Kr\u00f6tzsch M, Rudolph S, Hitzler P (2007) Complexity boundaries for Horn description logics. In: Proceedings of the 22nd AAAI conference on artificial intelligence (AAAI 2007). AAAI Press, pp 452\u2013457. http:\/\/www.aaai.org\/Library\/AAAI\/2007\/aaai07-071.php"},{"key":"686_CR252","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch M, Rudolph S, Hitzler P (2007) Conjunctive queries for a tractable fragment of OWL 1.1. In: The semantic web, 6th international semantic web conference, 2nd Asian semantic web conference, ISWC + ASWC, lecture notes in computer science, vol 4825. Springer, Berlin, pp 310\u2013323. https:\/\/doi.org\/10.1007\/978-3-540-76298-0_23","DOI":"10.1007\/978-3-540-76298-0_23"},{"key":"686_CR253","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch M, Rudolph S, Hitzler P (2008) Description logic rules. In: Proceedings of the 18th European conference on artificial intelligence (ECAI 2008), frontiers in artificial intelligence and applications, vol 178. IOS Press, pp 80\u201384. https:\/\/doi.org\/10.3233\/978-1-58603-891-5-80","DOI":"10.3233\/978-1-58603-891-5-80"},{"key":"686_CR254","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch M, Rudolph S, Hitzler P (2008) ELP: tractable rules for OWL 2. In: Proceedings of the 7th international semantic web conference (ISWC 2008), lecture notes in computer science, vol 5318. Springer, Berlin, pp 649\u2013664. https:\/\/doi.org\/10.1007\/978-3-540-88564-1_41","DOI":"10.1007\/978-3-540-88564-1_41"},{"key":"686_CR255","unstructured":"Laskey KB, da Costa PCG (2005) Of starships and Klingons: Bayesian logic for the 23rd century. In: Proceedings of the 21st conference in uncertainty in artificial intelligence (UAI 2005). AUAI Press, pp 346\u2013353"},{"issue":"2","key":"686_CR256","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/SW-140134","volume":"6","author":"J Lehmann","year":"2015","unstructured":"Lehmann J, Isele R, Jakob M, Jentzsch A, Kontokostas D, Mendes PN, Hellmann S, Morsey M, van Kleef P, Auer S, Bizer C (2015) DBpedia: a large-scale, multilingual knowledge base extracted from Wikipedia. Semant Web 6(2):167\u2013195","journal-title":"Semant Web"},{"key":"686_CR257","doi-asserted-by":"publisher","unstructured":"Lembo D, Rosati R, Santarelli V, Savo DF, Thorstensen E (2017) Mapping repair in ontology-based data access evolving systems. In: Proceedings of the 26th international joint conference on artificial intelligence (IJCAI 2017). pp 1160\u20131166. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2017\/161","DOI":"10.24963\/ijcai.2017\/161"},{"issue":"1\u20132","key":"686_CR258","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"AY Levy","year":"1998","unstructured":"Levy AY, Rousset M (1998) Combining Horn rules and description logics in CARIN. Artif Intell 104(1\u20132):165\u2013209. https:\/\/doi.org\/10.1016\/S0004-3702(98)00048-4","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"686_CR259","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0004-3702(96)00013-6","volume":"88","author":"C Liau","year":"1996","unstructured":"Liau C, Lin BI (1996) Possibilistic reasoning: a mini-survey and uniform semantics. Artif Intell 88(1\u20132):163\u2013193","journal-title":"Artif Intell"},{"issue":"18","key":"686_CR260","doi-asserted-by":"publisher","first-page":"2170","DOI":"10.1016\/j.artint.2011.08.003","volume":"175","author":"H Liu","year":"2011","unstructured":"Liu H, Lutz C, Milicic M, Wolter F (2011) Foundations of instance level updates in expressive description logics. Artif Intell 175(18):2170\u20132197. https:\/\/doi.org\/10.1016\/j.artint.2011.08.003","journal-title":"Artif Intell"},{"key":"686_CR261","unstructured":"Lubyte L, Tessaris S (2008) Supporting the design of ontologies for data access. In: Proceedings of the 21st international workshop on description logics (DL2008), CEUR workshop proceedings, vol 353. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-353\/LubyteTessaris.pdf"},{"key":"686_CR262","first-page":"170","volume":"5","author":"J \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz J (1920) O logice tr\u00f3jwarto\u015bciowej. Ruch filozoficzny 5:170\u2013171","journal-title":"Ruch filozoficzny"},{"issue":"1\u20133","key":"686_CR263","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T Lukasiewicz","year":"2002","unstructured":"Lukasiewicz T (2002) Probabilistic default reasoning with conditional constraints. Ann Math Artif Intell 34(1\u20133):35\u201388. https:\/\/doi.org\/10.1023\/A:1014445017537","journal-title":"Ann Math Artif Intell"},{"key":"686_CR264","doi-asserted-by":"publisher","unstructured":"Lukasiewicz T (2007) A novel combination of answer set programming with description logics for the semantic web. In: Proceedings of the 4th European semantic web conference (ESWC 2007), lecture notes in computer science, vol 4519. Springer, Berlin, pp 384\u2013398. https:\/\/doi.org\/10.1007\/978-3-540-72667-8_28","DOI":"10.1007\/978-3-540-72667-8_28"},{"issue":"6\u20137","key":"686_CR265","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz T (2008) Expressive probabilistic description logics. Artif Intell 172(6\u20137):852\u2013883. https:\/\/doi.org\/10.1016\/j.artint.2007.10.017","journal-title":"Artif Intell"},{"key":"686_CR266","doi-asserted-by":"publisher","unstructured":"Lukasiewicz T, Martinez MV, Predoiu L, Simari GI (2015) Existential rules and Bayesian networks for probabilistic ontological data exchange. In: Proceedings of the 9th international ruleml symposium (RuleML 2015), lecture notes in computer science, vol 9202. Springer, Berlin, pp 294\u2013310. https:\/\/doi.org\/10.1007\/978-3-319-21542-6_19","DOI":"10.1007\/978-3-319-21542-6_19"},{"key":"686_CR267","doi-asserted-by":"crossref","unstructured":"Lukasiewicz T, Martinez MV, Predoiu L, Simari GI (2016) Basic probabilistic ontological data exchange with existential rules. In: Proceedings of the 30th AAAI conference on artificial intelligence (AAAI 2016). AAAI Press, pp 1023\u20131029. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI16\/paper\/view\/12243","DOI":"10.1609\/aaai.v30i1.10103"},{"issue":"3\u20134","key":"686_CR268","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10472-012-9280-3","volume":"63","author":"T Lukasiewicz","year":"2011","unstructured":"Lukasiewicz T, Predoiu L, Stuckenschmidt H (2011) Tightly integrated probabilistic description logic programs for representing ontology mappings. Ann Math Artif Intell 63(3\u20134):385\u2013425. https:\/\/doi.org\/10.1007\/s10472-012-9280-3","journal-title":"Ann Math Artif Intell"},{"key":"686_CR269","doi-asserted-by":"crossref","unstructured":"Lukumbuzya S, Ortiz M, \u0160imkus M (2020) Resilient logic programs: answer set programs challenged by ontologies. In: The 34th AAAI conference on artificial intelligence (AAAI 2020). AAAI Press, pp 2917\u20132924. https:\/\/aaai.org\/ojs\/index.php\/AAAI\/article\/view\/5683","DOI":"10.1609\/aaai.v34i03.5683"},{"key":"686_CR270","unstructured":"Luna JEO, Revoredo K, Cozman FG (2011) Learning probabilistic description logics: a framework and algorithms. In: Proceedings of the 10th Mexican international conference on artificial intelligence (MICAI 2011), lecture notes in computer science, vol 7094. Springer, Berlin, pp 28\u201339"},{"key":"686_CR271","unstructured":"Lutz C (2001) Interval-based temporal reasoning with general TBoxes. In: Proceedings of the 17th international joint conference on artificial intelligence (IJCAI 2001). Morgan Kaufmann, pp 89\u201396"},{"key":"686_CR272","doi-asserted-by":"publisher","unstructured":"Lutz C (2008) The complexity of conjunctive query answering in expressive description logics. In: Armando A, Baumgartner P, Dowek G (eds) Proceedings of the 4th international joint conference on automated reasoning (IJCAR 2008), lecture notes in computer science, vol 5195. Springer, Berlin, pp 179\u2013193. https:\/\/doi.org\/10.1007\/978-3-540-71070-7_16","DOI":"10.1007\/978-3-540-71070-7_16"},{"issue":"1\u20132","key":"686_CR273","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.ic.2004.11.002","volume":"199","author":"C Lutz","year":"2005","unstructured":"Lutz C, Sattler U, Tendera L (2005) The complexity of finite model reasoning in description logics. Inf Comput 199(1\u20132):132\u2013171. https:\/\/doi.org\/10.1016\/j.ic.2004.11.002","journal-title":"Inf Comput"},{"key":"686_CR274","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22102-7","volume-title":"Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of His 60th Birthday, lecture notes in computer science","year":"2019","unstructured":"Lutz C, Sattler U, Tinelli C, Turhan A, Wolter F (eds) (2019) Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of His 60th Birthday, lecture notes in computer science, vol 11560. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-030-22102-7"},{"key":"686_CR275","unstructured":"Lutz C, Schr\u00f6der L (2010) Probabilistic description logics for subjective uncertainty. In: Proceedings of the 12th international conference on principles of knowledge representation and reasoning (KR 2010). AAAI Press. http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1243"},{"key":"686_CR276","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: Proceedings of the 12th international semantic web conference (ISWC 2013), lecture notes in computer science, vol 8218. Springer, Berlin, pp 314\u2013330. https:\/\/doi.org\/10.1007\/978-3-642-41335-3_20","DOI":"10.1007\/978-3-642-41335-3_20"},{"key":"686_CR277","unstructured":"Lutz C, Seylan I, Wolter F (2012) An automata-theoretic approach to uniform interpolation and approximation in the description logic $$\\cal{EL}$$. In: Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR 2012). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR12\/paper\/view\/4511"},{"key":"686_CR278","unstructured":"Lutz C, Seylan I, Wolter F (2013) Ontology-based data access with closed predicates is inherently intractable(sometimes). In: Proceedings of the 23rd international joint conference on artificial intelligence (IJCAI 2013). IJCAI\/AAAI, pp 1024\u20131030. http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6870"},{"key":"686_CR279","unstructured":"Lutz C, Seylan I, Wolter F (2015) Ontology-mediated queries with closed predicates. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI 2015). AAAI Press, pp 3120\u20133126. http:\/\/ijcai.org\/Abstract\/15\/440"},{"key":"686_CR280","unstructured":"Lutz C, Toman D, Wolter F (2009) Conjunctive query answering in the description logic $$\\cal{EL}$$ using a relational database system. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI 2009). pp 2070\u20132075. http:\/\/ijcai.org\/Proceedings\/09\/Papers\/341.pdf"},{"key":"686_CR281","unstructured":"Lutz C, Walther D, Wolter F (2007) Conservative extensions in expressive description logics. In: Proceedings of the 20th international joint conference on artificial intelligence (IJCAI 2007). pp 453\u2013458. http:\/\/ijcai.org\/Proceedings\/07\/Papers\/071.pdf"},{"issue":"1","key":"686_CR282","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.ic.2006.08.006","volume":"205","author":"C Lutz","year":"2007","unstructured":"Lutz C, Walther D, Wolter F (2007) Quantitative temporal logics over the reals: Pspace and below. Inf Comput 205(1):99\u2013123. https:\/\/doi.org\/10.1016\/j.ic.2006.08.006","journal-title":"Inf Comput"},{"issue":"2","key":"686_CR283","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jsc.2008.10.007","volume":"45","author":"C Lutz","year":"2010","unstructured":"Lutz C, Wolter F (2010) Deciding inseparability and conservative extensions in the description logic $$\\cal{EL}$$. J Symb Comput 45(2):194\u2013228. https:\/\/doi.org\/10.1016\/j.jsc.2008.10.007","journal-title":"J Symb Comput"},{"key":"686_CR284","doi-asserted-by":"publisher","unstructured":"Lutz C, Wolter F (2011) Foundations for uniform interpolation and forgetting in expressive description logics. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 989\u2013995. https:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-170","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-170"},{"key":"686_CR285","doi-asserted-by":"publisher","unstructured":"Lutz C, Wolter F, Zakharyaschev M (2008) Temporal description logics: a survey. In: Proceedings of the 15th international symposium on temporal representation and reasoning (TIME 2008). IEEE Computer Society, pp 3\u201314. https:\/\/doi.org\/10.1109\/TIME.2008.14","DOI":"10.1109\/TIME.2008.14"},{"key":"686_CR286","doi-asserted-by":"publisher","unstructured":"MacGregor RM (1991) The evolving technology of classification-based knowledge representation systems. In: Principles of semantic networks: explorations in the representation of knowledge, The Morgan Kaufmann Series in representation and reasoning. Morgan Kaufmann, pp 385\u2013400. https:\/\/doi.org\/10.1016\/B978-1-4832-0771-1.50021-7","DOI":"10.1016\/B978-1-4832-0771-1.50021-7"},{"key":"686_CR287","unstructured":"Matentzoglu N, Bail S, Parsia B (2013) A corpus of OWL DL ontologies. In: Informal proceedings of the 26th international workshop on description logics (DL 2013), CEUR workshop proceedings, vol 1014, pp 829\u2013841. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1014\/paper_59.pdf"},{"issue":"3","key":"686_CR288","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/122296.122310","volume":"2","author":"E Mays","year":"1991","unstructured":"Mays E, Dionne R, Weida RA (1991) K-rep system overview. SIGART Bull 2(3):93\u201397. https:\/\/doi.org\/10.1145\/122296.122310","journal-title":"SIGART Bull"},{"key":"686_CR289","doi-asserted-by":"publisher","unstructured":"McIntyre S, Toman D, Weddell GE (2019) Fundl: a family of feature-based description logics, with applications in querying structured data sources. In: Lutz et\u00a0al. [274]. pp 404\u2013430. https:\/\/doi.org\/10.1007\/978-3-030-22102-7_19","DOI":"10.1007\/978-3-030-22102-7_19"},{"key":"686_CR290","unstructured":"Minsky M (1975) A framework for representing knowledge. In: The psychology of computer vision. McGraw Hill, pp 211\u2013277"},{"key":"686_CR291","doi-asserted-by":"publisher","unstructured":"Motik B (2009) Resolution-based reasoning for ontologies. In: Staab and Studer [363]. pp 529\u2013550. https:\/\/doi.org\/10.1007\/978-3-540-92673-3_24","DOI":"10.1007\/978-3-540-92673-3_24"},{"key":"686_CR292","doi-asserted-by":"publisher","unstructured":"Motik B, Horrocks I (2008) OWL datatypes: sesign and implementation. In: Proceedings of the 7th international semantic web conference (ISWC 2008), lecture notes in computer science, vol 5318. Springer, Berlin, pp 307\u2013322. https:\/\/doi.org\/10.1007\/978-3-540-88564-1_20","DOI":"10.1007\/978-3-540-88564-1_20"},{"issue":"5","key":"686_CR293","doi-asserted-by":"publisher","first-page":"30:1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik B, Rosati R (2010) Reconciling description logics and rules. J ACM 57(5):30:1\u201330:62. https:\/\/doi.org\/10.1145\/1754399.1754403","journal-title":"J ACM"},{"issue":"1","key":"686_CR294","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik B, Sattler U, Studer R (2005) Query answering for OWL-DL with rules. J Web Semant 3(1):41\u201360. https:\/\/doi.org\/10.1016\/j.websem.2005.05.001","journal-title":"J Web Semant"},{"key":"686_CR295","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":"686_CR296","doi-asserted-by":"crossref","unstructured":"Mugnier M (2020) Data access with Horn ontologies: where existential rules and description logics meet. KI 34(4)","DOI":"10.1007\/s13218-020-00678-3"},{"key":"686_CR297","doi-asserted-by":"publisher","unstructured":"Mugnier M, Thomazo M (2014) An introduction to ontology-based query answering with existential rules. In: Proceedings of the 10th reasoning web international summer school (RW 2014), lecture notes in computer science, vol 8714. Springer, Berlin, pp 245\u2013278. https:\/\/doi.org\/10.1007\/978-3-319-10587-1_6","DOI":"10.1007\/978-3-319-10587-1_6"},{"key":"686_CR298","volume-title":"Reasoning and revision in hybrid representation systems, lecture notes in computer science","author":"B Nebel","year":"1990","unstructured":"Nebel B (1990) Reasoning and revision in hybrid representation systems, lecture notes in computer science, vol 422. Springer, Berlin"},{"key":"686_CR299","unstructured":"Ngo N, Ortiz M, \u0160imkus M (2016) Closed predicates in description logics: Results on combined complexity. In: Proceedings of the 15th international conference on principles of knowledge representation and reasoning (KR 2016). AAAI Press, pp 237\u2013246. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12906"},{"key":"686_CR300","unstructured":"Niepert M, Noessner J, Stuckenschmidt H (2011) Log-linear description logics. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 2153\u20132158"},{"key":"686_CR301","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.artint.2014.06.005","volume":"215","author":"N Nikitina","year":"2014","unstructured":"Nikitina N, Rudolph S (2014) (non-)succinctness of uniform interpolants of general terminologies in the description logic $$\\cal{EL}$$. Artif Intell 215:120\u2013140. https:\/\/doi.org\/10.1016\/j.artint.2014.06.005","journal-title":"Artif Intell"},{"key":"686_CR302","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.artint.2019.02.003","volume":"274","author":"C Nikolaou","year":"2019","unstructured":"Nikolaou C, Kostylev EV, Konstantinidis G, Kaminski M, Cuenca Grau B, Horrocks I (2019) Foundations of ontology-based data access under bag semantics. Artif Intell 274:91\u2013132. https:\/\/doi.org\/10.1016\/j.artint.2019.02.003","journal-title":"Artif Intell"},{"key":"686_CR303","doi-asserted-by":"publisher","unstructured":"Noessner J, Niepert M (2011) ELOG: a probabilistic reasoner for OWL EL. In: Proceedings of the 5th international conference on web reasoning and rule systems (RR 2011), lecture notes in computer science, vol 6902. Springer, Berlin, pp 281\u2013286. https:\/\/doi.org\/10.1007\/978-3-642-23580-1","DOI":"10.1007\/978-3-642-23580-1"},{"key":"686_CR304","doi-asserted-by":"publisher","unstructured":"Nortje R, Britz K, Meyer T (2013) Reachability modules for the description logic $$\\cal{SRIQ}$$. In: Proceedings of the 19th international conference on logic for programming, artificial intelligence, and reasoning (LPAR-19), lecture notes in computer science, vol 8312. Springer, Berlin, pp 636\u2013652. https:\/\/doi.org\/10.1007\/978-3-642-45221-5_42","DOI":"10.1007\/978-3-642-45221-5_42"},{"key":"686_CR305","doi-asserted-by":"publisher","unstructured":"Noy NF, Musen MA (2009) Traversing ontologies to extract views. In: Stuckenschmidt et\u00a0al. [369]. pp 245\u2013260. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_11","DOI":"10.1007\/978-3-642-01907-4_11"},{"key":"686_CR306","doi-asserted-by":"crossref","unstructured":"Nuradiansyah A (2020) Reasoning in description logic ontologies for privacy management. KI 34(3)","DOI":"10.1007\/s13218-020-00681-8"},{"issue":"1","key":"686_CR307","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M Ortiz","year":"2008","unstructured":"Ortiz M, Calvanese D, Eiter T (2008) Data complexity of query answering in expressive description logics via tableaux. J Autom Reason 41(1):61\u201398. https:\/\/doi.org\/10.1007\/s10817-008-9102-9","journal-title":"J Autom Reason"},{"key":"686_CR308","unstructured":"Ortiz M, Rudolph S, \u0160imkus M (2010) Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2. In: Proceedings of the 12th international conference on the principles of knowledge representation and reasoning (KR 2010). AAAI Press. http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1296"},{"key":"686_CR309","doi-asserted-by":"publisher","unstructured":"Ortiz M, Rudolph S, \u0160imkus M (2011) Query answering in the Horn fragments of the description logics $$\\cal{SHOIQ}$$ and $$\\cal{SROIQ}$$. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI 2011). IJCAI\/AAAI, pp 1039\u20131044. https:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-178","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-178"},{"key":"686_CR310","doi-asserted-by":"publisher","unstructured":"Ortiz M, \u0160imkus M (2012) Reasoning and query answering in description logics. In: Proceedings of the 8th reasoning web international summer school (RW 2012), lecture notes in computer science, vol 7487. Springer, Berlin, pp 1\u201353. https:\/\/doi.org\/10.1007\/978-3-642-33158-9_1","DOI":"10.1007\/978-3-642-33158-9_1"},{"key":"686_CR311","doi-asserted-by":"publisher","unstructured":"Ortiz M, \u0160imkus M (2014) Revisiting the hardness of query answering in expressive description logics. In: Proceedings of the 8th international conference on web reasoning and rule systems (RR 2014), lecture notes in computer science, vol 8741. Springer, Berlin, pp 216\u2013223. https:\/\/doi.org\/10.1007\/978-3-319-11113-1_18","DOI":"10.1007\/978-3-319-11113-1_18"},{"key":"686_CR312","unstructured":"Ortiz M, \u0160imkus M, Eiter T (2008) Worst-case optimal conjunctive query answering for an expressive description logic without inverses. In: Proceedings of the 23rd AAAI conference on artificial intelligence (AAAI 2008). AAAI Press, pp 504\u2013510. http:\/\/www.aaai.org\/Library\/AAAI\/2008\/aaai08-080.php"},{"key":"686_CR313","doi-asserted-by":"crossref","unstructured":"Ozaki A (2020) Learning description logic ontologies five approaches. Where do they stand? KI 34(3)","DOI":"10.1007\/s13218-020-00656-9"},{"key":"686_CR314","doi-asserted-by":"publisher","unstructured":"Ozaki A, Kr\u00f6tzsch M, Rudolph S (2019) Temporally attributed description logics. In: Lutz et\u00a0al. [274]. pp 441\u2013474. https:\/\/doi.org\/10.1007\/978-3-030-22102-7_21","DOI":"10.1007\/978-3-030-22102-7_21"},{"key":"686_CR315","unstructured":"\u00d6z\u00e7ep \u00d6L, Horrocks I, M\u00f6ller R, Hubauer T, Neuenstadt C, Roshchin M, Zheleznyakov D, Kharlamov E (2013) Deliverable D5.1: a semantics for temporal and stream-based query answering in an OBDA context. Tech. Rep. Deliverable FP7-318338, EU"},{"key":"686_CR316","doi-asserted-by":"publisher","unstructured":"\u00d6z\u00e7ep \u00d6L, M\u00f6ller R (2014) Ontology based data access on temporal and streaming data. In: Proceedings of the 10th reasoning web international summer school (RW 2014), lecture notes in computer science, vol 8714. Springer, Berlin, pp 279\u2013312. https:\/\/doi.org\/10.1007\/978-3-319-10587-1_7","DOI":"10.1007\/978-3-319-10587-1_7"},{"key":"686_CR317","doi-asserted-by":"publisher","unstructured":"\u00d6z\u00e7ep \u00d6L, M\u00f6ller R (2019) On bounded-memory stream data processing with description logics. In: Lutz et\u00a0al. [274]. pp 639\u2013660. https:\/\/doi.org\/10.1007\/978-3-030-22102-7_F30","DOI":"10.1007\/978-3-030-22102-7_F30"},{"key":"686_CR318","doi-asserted-by":"publisher","unstructured":"\u00d6z\u00e7ep \u00d6 L, M\u00f6ller R, Neuenstadt C (2014) A stream-temporal query language for ontology based data access. In: Proceedings of the 37th annual German conference on AI (KI 2014), lecture notes in computer science, vol 8736. Springer, Berlin, pp 183\u2013194. https:\/\/doi.org\/10.1007\/978-3-319-11206-0_18","DOI":"10.1007\/978-3-319-11206-0_18"},{"key":"686_CR319","doi-asserted-by":"publisher","unstructured":"Pacholski L, Szwast W, Tendera L (1997) Complexity of two-variable logic with counting. In: Proceedings of the 12th annual IEEE symposium on logic in computer science (LICS 1997). IEEE Computer Society, pp 318\u2013327. https:\/\/doi.org\/10.1109\/LICS.1997.614958","DOI":"10.1109\/LICS.1997.614958"},{"key":"686_CR320","doi-asserted-by":"publisher","unstructured":"Parent C, Spaccapietra S (2009) An overview of modularity. In: Stuckenschmidt et\u00a0al. [369]. pp 5\u201323. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_2","DOI":"10.1007\/978-3-642-01907-4_2"},{"key":"686_CR321","first-page":"266","volume-title":"Logic, language and computation","author":"R Parikh","year":"1999","unstructured":"Parikh R (1999) Beliefs, belief revision, and splitting languages. In: Moss LS, Ginzburg J, de Rijke M (eds) Logic, language and computation, vol 2. CSLI Publication, Cambridge University Press, Cambridge, pp 266\u2013278"},{"key":"686_CR322","unstructured":"Parsia B, Sattler U, Schneider T (2008) Easy keys for OWL. In: Proceedings of the 5th OWLED Workshop on OWL: experiences and directions, CEUR workshop proceedings, vol 432. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-432\/owled2008eu_submission_3.pdf"},{"issue":"3","key":"686_CR323","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/122296.122314","volume":"2","author":"C Peltason","year":"1991","unstructured":"Peltason C (1991) The BACK system: an overview. SIGART Bull 2(3):114\u2013119. https:\/\/doi.org\/10.1145\/122296.122314","journal-title":"SIGART Bull"},{"key":"686_CR324","doi-asserted-by":"publisher","unstructured":"Pe\u00f1aloza R (2019) Explaining axiom pinpointing. In: Lutz et\u00a0al. [274]. pp 475\u2013496. https:\/\/doi.org\/10.1007\/978-3-030-22102-7_22","DOI":"10.1007\/978-3-030-22102-7_22"},{"key":"686_CR325","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.ijar.2018.08.005","volume":"103","author":"M Pensel","year":"2018","unstructured":"Pensel M, Turhan AY (2018) Reasoning in the defeasible description logic $$\\cal{EL}_{\\bot }$$\u2013computing standard inferences under rational and relevant semantics. Int J Approx Reason (IJAR) 103:28\u201370. https:\/\/doi.org\/10.1016\/j.ijar.2018.08.005","journal-title":"Int J Approx Reason (IJAR)"},{"issue":"2","key":"686_CR326","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 (2010) Tractable query answering and rewriting under description logic constraints. J Appl Log 8(2):186\u2013209. https:\/\/doi.org\/10.1016\/j.jal.2009.09.004","journal-title":"J Appl Log"},{"key":"686_CR327","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of the 18th annual symposium on foundations of computer science (SFCS 1977). pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"686_CR328","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77688-8\\_5","volume":"10","author":"A Poggi","year":"2008","unstructured":"Poggi A, Lembo D, Calvanese D, De Giacomo G, Lenzerini M, Rosati R (2008) Linking data to ontologies. J Data Semant 10:133\u2013173. https:\/\/doi.org\/10.1007\/978-3-540-77688-8_5","journal-title":"J Data Semant"},{"issue":"3","key":"686_CR329","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10849-005-5791-1","volume":"14","author":"I Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann I (2005) Complexity of the two-variable fragment with counting quantifiers. J Log Lang Inf 14(3):369\u2013395","journal-title":"J Log Lang Inf"},{"issue":"4","key":"686_CR330","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/int.20470","volume":"26","author":"G Qi","year":"2011","unstructured":"Qi G, Ji Q, Pan JZ, Du J (2011) Extending description logics with uncertainty reasoning in possibilistic logic. Int J Intell Syst 26(4):353\u2013381. https:\/\/doi.org\/10.1002\/int.20470","journal-title":"Int J Intell Syst"},{"key":"686_CR331","unstructured":"Quantz J, Royer V (1992) A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd international conference on principles of knowledge representation and reasoning (KR 1992). Morgan Kaufmann, pp 294\u2013305"},{"key":"686_CR332","doi-asserted-by":"publisher","unstructured":"Raheb KE, Mailis T, Ryzhikov V, Papapetrou N, Ioannidis YE (2017) Balonse: temporal aspects of dance movement and its ontological representation. In: Proceedings of the 14th European semantics web conference (ESWC 2017), lecture notes in computer science, vol 10250, pp 49\u201364. https:\/\/doi.org\/10.1007\/978-3-319-58451-5","DOI":"10.1007\/978-3-319-58451-5"},{"key":"686_CR333","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamical systems","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge"},{"key":"686_CR334","unstructured":"Rodriguez-Muro M, Calvanese D (2011) Dependencies: Making ontology based data access work. In: Proceedings of the 5th Alberto Mendelzon international workshop on foundations of data management (AMW 2011), CEUR workshop proceedings, vol 749. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-749\/paper21.pdf"},{"key":"686_CR335","doi-asserted-by":"publisher","unstructured":"Rodriguez-Muro M, Kontchakov R, Zakharyaschev M (2013) Ontology-based data access: ontop of databases. In: Proceedings of the 12th international semantic web conference (ISWC 2013), lecture notes in computer science, vol 8218. Springer, Berlin, pp 558\u2013573. https:\/\/doi.org\/10.1007\/978-3-642-41335-3_35","DOI":"10.1007\/978-3-642-41335-3_35"},{"key":"686_CR336","doi-asserted-by":"publisher","unstructured":"Romero AA, Cuenca Grau B, Horrocks I (2012) More: Modular combination of OWL reasoners for ontology classification. In: Proceedings of the 11th international semantic web conference (ISWC 2012), lecture notes in computer science, vol 7649. Springer, Berlin, pp 1\u201316. https:\/\/doi.org\/10.1007\/978-3-642-35176-1_1","DOI":"10.1007\/978-3-642-35176-1_1"},{"key":"686_CR337","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1613\/jair.4898","volume":"55","author":"AA Romero","year":"2016","unstructured":"Romero AA, Kaminski M, Cuenca Grau B, Horrocks I (2016) Module extraction in expressive ontology languages via datalog reasoning. J Artif Intell Res 55:499\u2013564. https:\/\/doi.org\/10.1613\/jair.4898","journal-title":"J Artif Intell Res"},{"key":"686_CR338","doi-asserted-by":"crossref","unstructured":"Ronca A, Kaminski M, Cuenca Grau B, Motik B, Horrocks I (2018) Stream reasoning in temporal datalog. In: Proceedings of the 32nd AAAI conference on artificial intelligence (AAAI 2018). AAAI Press, pp 1941\u20131948. https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/16182","DOI":"10.1609\/aaai.v32i1.11537"},{"issue":"1","key":"686_CR339","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R Rosati","year":"2005","unstructured":"Rosati R (2005) On the decidability and complexity of integrating ontologies and rules. J Web Semant 3(1):61\u201373. https:\/\/doi.org\/10.1016\/j.websem.2005.05.002","journal-title":"J Web Semant"},{"key":"686_CR340","unstructured":"Rosati R (2006) DL+log: tight integration of description logics and disjunctive datalog. In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR 2006). AAAI Press, pp 68\u201378. http:\/\/www.aaai.org\/Library\/KR\/2006\/kr06-010.php"},{"key":"686_CR341","doi-asserted-by":"publisher","unstructured":"Rosati R (2007) The limits of querying ontologies. In: Proceedings of the 11th international conference on database theory (ICDT 2007), lecture notes in computer science, vol 4353. Springer, Berlin, pp 164\u2013178. https:\/\/doi.org\/10.1007\/11965893_12","DOI":"10.1007\/11965893_12"},{"key":"686_CR342","unstructured":"Rosati R (2007) On conjunctive query answering in $$\\cal{EL}$$. In: Proceedings of the 20th international workshop on description logics (DL2007), CEUR workshop proceedings, vol 250. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-250\/paper_83.pdf"},{"key":"686_CR343","doi-asserted-by":"publisher","unstructured":"Rosati R (2008) Finite model reasoning in DL-Lite. In: Proceedings of the 5th European semantic web conference (ESWC 2008), lecture notes in computer science, vol 5021. Springer, Berlin, pp 215\u2013229. https:\/\/doi.org\/10.1007\/978-3-540-68234-9_18","DOI":"10.1007\/978-3-540-68234-9_18"},{"key":"686_CR344","unstructured":"Rosati R, Almatelli A (2010) Improving query answering over DL-Lite ontologies. In: Proceedings of the 12th international conference on the principles of knowledge representation and reasoning (KR 2010). AAAI Press. http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1400"},{"key":"686_CR345","unstructured":"Rubin DL, Moreira DA, Kanjamala P, Musen MA (2008) BioPortal: a web portal to biomedical ontologies. In: Symbiotic relationships between semantic web and knowledge engineering, papers from the 2008 AAAI spring symposium. AAAI, pp 74\u201377. http:\/\/www.aaai.org\/Library\/Symposia\/Spring\/2008\/ss08-07-011.php"},{"key":"686_CR346","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1613\/jair.3029","volume":"39","author":"S Rudolph","year":"2010","unstructured":"Rudolph S, Glimm B (2010) Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!. J Artif Intell Res 39:429\u2013481. https:\/\/doi.org\/10.1613\/jair.3029","journal-title":"J Artif Intell Res"},{"key":"686_CR347","unstructured":"Rudolph S, \u0160imkus M (2018) The triguarded fragment of first-order logic. In: Proceedings of the 22nd international conference on logic for programming, artificial intelligence and reasoning (LPAR-22), EPiC series in computing, vol 57. EasyChair, pp 604\u2013619. http:\/\/www.easychair.org\/publications\/paper\/wlJ3"},{"key":"686_CR348","unstructured":"Sattler U, Schneider T, Zakharyaschev M (2009) Which kind of module should I extract? In: Proceedings of the 22nd international workshop on description logics (DL 2009), CEUR workshop proceedings, vol 477. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-477\/paper_33.pdf"},{"key":"686_CR349","unstructured":"Schild K (1991) A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th international joint conference on artificial intelligence (IJCAI\u00a01991). Morgan Kaufmann, pp 466\u2013471"},{"key":"686_CR350","doi-asserted-by":"crossref","unstructured":"Schild K (1993) Combining terminological logics with tense logic. In: Proceedings of the 6th Portuguese conference on artificial intelligence (EPIA 1993), lecture notes in computer science, vol 727. Springer, Berlin, pp 105\u2013120","DOI":"10.1007\/3-540-57287-2_41"},{"key":"686_CR351","unstructured":"Schlobach S, Cornet R (2003) Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th international joint conference on artificial intelligence (IJCAI 2003). Morgan Kaufmann, pp 355\u2013362. http:\/\/ijcai.org\/Proceedings\/03\/Papers\/053.pdf"},{"key":"686_CR352","unstructured":"Schmiedel A (1990) Temporal terminological logic. In: Proceedings of the 8th national conference on artificial intelligence (AAAI 1990). AAAI Press\/The MIT Press, pp 640\u2013645"},{"key":"686_CR353","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(3:25)2013","author":"L Segoufin","year":"2013","unstructured":"Segoufin L, ten Cate B (2013) Unary negation. Log Methods Comput Sci. https:\/\/doi.org\/10.2168\/LMCS-9(3:25)2013","journal-title":"Log Methods Comput Sci"},{"key":"686_CR354","doi-asserted-by":"publisher","unstructured":"Seidenberg J (2009) Web ontology segmentation: extraction, transformation, evaluation. In: Stuckenschmidt et\u00a0al. [369]. pp 211\u2013243. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_10","DOI":"10.1007\/978-3-642-01907-4_10"},{"key":"686_CR355","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.websem.2011.12.003","volume":"12","author":"L Serafini","year":"2012","unstructured":"Serafini L, Homola M (2012) Contextualized knowledge repositories for the semantic web. J Web Semant 12:64\u201387. https:\/\/doi.org\/10.1016\/j.websem.2011.12.003","journal-title":"J Web Semant"},{"key":"686_CR356","doi-asserted-by":"publisher","unstructured":"Serafini L, Tamilin A (2009) Composing modular ontologies with distributed description logics. In: Stuckenschmidt et\u00a0al. [369]. pp 321\u2013347. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_15","DOI":"10.1007\/978-3-642-01907-4_15"},{"key":"686_CR357","unstructured":"Seylan I, Franconi E, de\u00a0Bruijn J (2009) Effective query rewriting with ontologies over DBoxes. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI 2009). pp 923\u2013925. http:\/\/ijcai.org\/Proceedings\/09\/Papers\/157.pdf"},{"issue":"2","key":"686_CR358","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, Cuenca Grau B, 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"},{"issue":"3","key":"686_CR359","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0950-7051(92)90028-E","volume":"5","author":"JF Sowa","year":"1992","unstructured":"Sowa JF (1992) Conceptual graphs. Knowl Based Syst 5(3):171\u2013172","journal-title":"Knowl Based Syst"},{"issue":"1","key":"686_CR360","first-page":"77","volume":"9","author":"A Soylu","year":"2017","unstructured":"Soylu A, Giese M, Schlatte R, Jim\u00e9nez-Ruiz E, Kharlamov E, \u00d6z\u00e7ep \u00d6L, Neuenstadt C, Brandt S (2017) Querying industrial stream-temporal data: an ontology-based visual approach. JAISE 9(1):77\u201395","journal-title":"JAISE"},{"issue":"5","key":"686_CR361","doi-asserted-by":"publisher","first-page":"627","DOI":"10.3233\/SW-180293","volume":"9","author":"A Soylu","year":"2018","unstructured":"Soylu A, Kharlamov E, Zheleznyakov D, Jim\u00e9nez-Ruiz E, Giese M, Skj\u00e6veland MG, Hovland D, Schlatte R, Brandt S, Lie H, Horrocks I (2018) OptiqueVQS: a visual query system over ontologies for industry. Semant Web 9(5):627\u2013660. https:\/\/doi.org\/10.3233\/SW-180293","journal-title":"Semant Web"},{"key":"686_CR362","unstructured":"Spackman KA, Campbell KE, C\u00f4t\u00e9 RA (1997) SNOMED RT: a reference terminology for health care. In: American medical informatics association annual symposium (AMIA-97). AMIA. http:\/\/knowledge.amia.org\/amia-55142-a1997a-1.585351\/t-001-1.587519\/f-001-1.587520\/a-127-1.587635\/a-128-1.587632"},{"key":"686_CR363","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92673-3","volume-title":"Handbook on ontologies. International handbooks on information systems","year":"2009","unstructured":"Staab S, Studer R (eds) (2009) Handbook on ontologies. International handbooks on information systems. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-540-92673-3"},{"key":"686_CR364","unstructured":"Stefanoni G, Motik B, Horrocks I (2013) Introducing nominals to the combined query answering approaches for $$\\cal{EL}$$. In: Proceedings of the 27th AAAI conference on artificial intelligence (AAAI 2013). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI13\/paper\/view\/6156"},{"key":"686_CR365","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1613\/jair.4457","volume":"51","author":"G Stefanoni","year":"2014","unstructured":"Stefanoni G, Motik B, Kr\u00f6tzsch M, Rudolph S (2014) The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases. J Artif Intell Res 51:645\u2013705. https:\/\/doi.org\/10.1613\/jair.4457","journal-title":"J Artif Intell Res"},{"key":"686_CR366","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27\u201328","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller A, Liebig T, Glimm B (2014) Konclude: system description. J Web Semant 27\u201328:78\u201385. https:\/\/doi.org\/10.1016\/j.websem.2014.06.003","journal-title":"J Web Semant"},{"key":"686_CR367","doi-asserted-by":"publisher","unstructured":"Stouppa P, Studer T (2009) Data privacy for knowledge bases. In: Proceedings of the international symposium on logical foundations of computer science (LFCS 2009), lecture notes in computer science, vol 5407. Springer, Berlin, pp 409\u2013421. https:\/\/doi.org\/10.1007\/978-3-540-92687-0_28","DOI":"10.1007\/978-3-540-92687-0_28"},{"key":"686_CR368","doi-asserted-by":"publisher","unstructured":"Straccia U (2006) Towards top-k query answering in description logics: the case of DL-lite. In: Proceedings of the 10th European conference on logics in artificial intelligence (JELIA 2006), lecture notes in computer science, vol 4160. Springer, Berlin, pp 439\u2013451. https:\/\/doi.org\/10.1007\/11853886_36","DOI":"10.1007\/11853886_36"},{"key":"686_CR369","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01907-4","volume-title":"Modular ontologies: concepts, theories and techniques for knowledge modularization, lecture notes in computer science, vol 5445","year":"2009","unstructured":"Stuckenschmidt H, Parent C, Spaccapietra S (eds) (2009) Modular ontologies: concepts, theories and techniques for knowledge modularization, lecture notes in computer science, vol 5445. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-642-01907-4"},{"key":"686_CR370","doi-asserted-by":"publisher","unstructured":"Stuckenschmidt H, Schlicht A (2009) Structure-based partitioning of large ontologies. In: Stuckenschmidt et\u00a0al. [369]. pp 187\u2013210. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_9","DOI":"10.1007\/978-3-642-01907-4_9"},{"key":"686_CR371","unstructured":"ten Cate B, Conradie W, Marx M, Venema Y (2006) Definitorially complete description logics. In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR 2006). AAAI Press, pp 79\u201389. http:\/\/www.aaai.org\/Library\/KR\/2006\/kr06-011.php"},{"key":"686_CR372","unstructured":"Thomazo M (2013) Compact rewritings for existential rules. In: Proceedings of the 23rd international joint conference on artificial intelligence (IJCAI 2013). IJCAI\/AAAI, pp 1125\u20131131. http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6826"},{"key":"686_CR373","doi-asserted-by":"publisher","unstructured":"Thomazo M, Rudolph S (2014) Mixing materialization and query rewriting for existential rules. In: Proceedings of the 21st European conference on artificial intelligence (ECAI 2014), frontiers in artificial intelligence and applications, vol 263. IOS Press, pp 897\u2013902. https:\/\/doi.org\/10.3233\/978-1-61499-419-0-897","DOI":"10.3233\/978-1-61499-419-0-897"},{"key":"686_CR374","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S Tobies","year":"2000","unstructured":"Tobies S (2000) The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J Artif Intell Res 12:199\u2013217. https:\/\/doi.org\/10.1613\/jair.705","journal-title":"J Artif Intell Res"},{"key":"686_CR375","doi-asserted-by":"publisher","unstructured":"Toman D (2003) On incompleteness of multi-dimensional first-order temporal logics. In: 10th international symposium on temporal representation and reasoning\/4th international conference on temporal logic (TIME-ICTL). IEEE Computer Society, pp 99\u2013106. https:\/\/doi.org\/10.1109\/TIME.2003.1214885","DOI":"10.1109\/TIME.2003.1214885"},{"issue":"2\u20133","key":"686_CR376","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10817-007-9092-z","volume":"40","author":"D Toman","year":"2008","unstructured":"Toman D, Weddell GE (2008) On keys and functional dependencies as first-class citizens in description logics. J Autom Reason 40(2\u20133):117\u2013132. https:\/\/doi.org\/10.1007\/s10817-007-9092-z","journal-title":"J Autom Reason"},{"key":"686_CR377","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.websem.2015.02.001","volume":"33","author":"D Trivela","year":"2015","unstructured":"Trivela D, Stoilos G, Chortaras A, Stamou GB (2015) Optimising resolution-based rewriting algorithms for OWL ontologies. J Web Semant 33:30\u201349. https:\/\/doi.org\/10.1016\/j.websem.2015.02.001","journal-title":"J Web Semant"},{"key":"686_CR378","doi-asserted-by":"publisher","unstructured":"Tsarkov D, Horrocks I (2006) Fact++ description logic reasoner: system description. In: Proceedings of the 3rd international joint conference on automated reasoning (IJCAR 2006), lecture notes in computer science, vol 4130. Springer, Berlin, pp 292\u2013297. https:\/\/doi.org\/10.1007\/11814771_26","DOI":"10.1007\/11814771_26"},{"key":"686_CR379","unstructured":"Tsarkov D, Palmisano I (2012) Chainsaw: a metareasoner for large ontologies. In: Proceedings of the 1st international workshop on OWL reasoner evaluation (ORE-2012), CEUR workshop proceedings, vol 858. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-858\/ore2012_paper2.pdf"},{"issue":"10","key":"686_CR380","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/2629489","volume":"57","author":"D Vrandecic","year":"2014","unstructured":"Vrandecic D, Kr\u00f6tzsch M (2014) Wikidata: a free collaborative knowledgebase. Commun ACM 57(10):78\u201385. https:\/\/doi.org\/10.1145\/2629489","journal-title":"Commun ACM"},{"key":"686_CR381","unstructured":"W3C Consortium (2013) SPARQL 1.1 Query Language. Tech. rep., W3C. http:\/\/www.w3.org\/TR\/sparql11-query"},{"key":"686_CR382","doi-asserted-by":"publisher","unstructured":"Wang K, Wang Z, Topor RW, Pan JZ, Antoniou G (2009) Concept and role forgetting in $$\\cal{ALC}$$ ontologies. In: Proceedings of the 8th international semantic web conference (ISWC 2009), lecture notes in computer science, vol 5823. Springer, Berlin, pp 666\u2013681. https:\/\/doi.org\/10.1007\/978-3-642-04930-9_42","DOI":"10.1007\/978-3-642-04930-9_42"},{"key":"686_CR383","doi-asserted-by":"publisher","unstructured":"Wang Z, Wang K, Topor RW, Pan JZ, Antoniou G (2009) Uniform interpolation for $$\\cal{ALC}$$ revisited. In: Proceedings of the 22nd Australasian joint conference on advances in artificial intelligence (AI 2009), lecture notes in computer science, vol 5866. Springer, Berlin, pp 528\u2013537. https:\/\/doi.org\/10.1007\/978-3-642-10439-8_53","DOI":"10.1007\/978-3-642-10439-8_53"},{"key":"686_CR384","first-page":"379","volume-title":"Temporalizing description logics. Frontiers of combining systems II, lecture notes in computer science","author":"F Wolter","year":"2000","unstructured":"Wolter F, Zakharyaschev M (2000) Temporalizing description logics. Frontiers of combining systems II, lecture notes in computer science, vol 1794. Springer, Berlin, pp 379\u2013401"},{"key":"686_CR385","doi-asserted-by":"publisher","unstructured":"Xiao G, Calvanese D, Kontchakov R, Lembo D, Poggi A, Rosati R, Zakharyaschev M (2018) Ontology-based data access: a survey. In: Proceedings of the 27th international joint conference on artificial intelligence (IJCAI 2018). pp 5511\u20135519. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2018\/777","DOI":"10.24963\/ijcai.2018\/777"},{"key":"686_CR386","unstructured":"Yelland PM (2000) An alternative combination of Bayesian networks and description logics. In: Proceedings of the 7th international conference on principles of knowledge representation and reasoning (KR 2000). Morgan Kaufmann, pp 225\u2013234"},{"key":"686_CR387","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df B, Cla\u00dfen J (2015) Verification of knowledge-based programs over description logic actions. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI 2015). AAAI Press, pp 3278\u20133284. http:\/\/ijcai.org\/Abstract\/15\/462","DOI":"10.25368\/2022.216"},{"key":"686_CR388","volume-title":"Probabilistic semantic web, studies on the semantic web","author":"R Zese","year":"2017","unstructured":"Zese R (2017) Probabilistic semantic web, studies on the semantic web, vol 28. IOS Press, Amsterdam"},{"key":"686_CR389","doi-asserted-by":"publisher","unstructured":"Zhao Y, Schmidt RA (2017) Role forgetting for $$\\cal{ALCOQH}(\\bigtriangledown )$$-ontologies using an Ackermann-based approach. In: Proceedings of the 26th international joint conference on artificial intelligence (IJCAI 2017). pp 1354\u20131361. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2017\/188","DOI":"10.24963\/ijcai.2017\/188"},{"key":"686_CR390","doi-asserted-by":"publisher","unstructured":"Zhao Y, Schmidt RA (2018) On concept forgetting in description logics with qualified number restrictions. In: Proceedings of the 27th international joint conference on artificial intelligence (IJCAI 2018), pp 1984\u20131990. ijcai.org. https:\/\/doi.org\/10.24963\/ijcai.2018\/274","DOI":"10.24963\/ijcai.2018\/274"},{"key":"686_CR391","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1613\/jair.4757","volume":"54","author":"Y Zhou","year":"2015","unstructured":"Zhou Y, Cuenca Grau B, 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":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00686-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-020-00686-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00686-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T20:30:06Z","timestamp":1667766606000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-020-00686-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,13]]},"references-count":391,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["686"],"URL":"https:\/\/doi.org\/10.1007\/s13218-020-00686-3","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,13]]},"assertion":[{"value":"25 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 August 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}