{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T23:33:57Z","timestamp":1780961637120,"version":"3.54.1"},"publisher-location":"Cham","reference-count":68,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030061630","type":"print"},{"value":"9783030061647","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-06164-7_6","type":"book-chapter","created":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T02:03:20Z","timestamp":1588903400000},"page":"185-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Reasoning with Ontologies"],"prefix":"10.1007","author":[{"given":"Meghyn","family":"Bienvenu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michel","family":"Lecl\u00e8re","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marie-Laure","family":"Mugnier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marie-Christine","family":"Rousset","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"6_CR1","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":"6_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale A, Calvanese D, Kontchakov R, Zakharyaschev M (2009) The DL-Lite family and relations. J Artif Intell Res (JAIR) 36:1\u201369","journal-title":"J Artif Intell Res (JAIR)"},{"key":"6_CR3","unstructured":"Artale A, Kontchakov R, Kovtunova A, Ryzhikov V, Wolter F, Zakharyaschev M (2015) First-order rewritability of temporal ontology-mediated queries. In: Yang Q, Wooldridge M (eds) Proceedings of the 24th international joint conference on artificial intelligence (IJCAI). AAAI Press, California, pp 2706\u20132712"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: Kaelbling LP, Saffiotti A (eds) Proceedings of the 19th international joint conference on artificial intelligence (IJCAI), pp 364\u2013369","DOI":"10.25368\/2022.144"},{"key":"6_CR5","volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge"},{"key":"6_CR6","doi-asserted-by":"publisher","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":"6_CR7","doi-asserted-by":"crossref","unstructured":"Baader F, K\u00fcsters R, Molitor R (1999a) Computing least common subsumers in description logics with existential restrictions. In: Proceedings of the 16th international joint conference on artificial intelligence (IJCAI), pp 96\u2013103","DOI":"10.25368\/2022.85"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Baader F, Molitor R, Tobies S (1999b) Tractable and decidable fragments of conceptual graphs. In: Proceedings of the 7th international conference on conceptual structures (ICCS). LNAI, vol 1640, Springer, Berlin, pp 480\u2013493","DOI":"10.1007\/3-540-48659-3_31"},{"key":"6_CR9","doi-asserted-by":"crossref","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), pp 793\u2013799","DOI":"10.24963\/ijcai.2017\/110"},{"key":"6_CR10","unstructured":"Baget J-F, Croitoru M, Gutierrez A, Lecl\u00e8re M, Mugnier M-L (2010) Translations between RDF(S) and conceptual graphs. In: Proceedings of the 18th international conference on conceptual structures (ICCS), pp 28\u201341"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Baget J-F, Lecl\u00e8re M, Mugnier M-L, Salvat E (2011a) On rules with existential variables: walking the decidability line. Artif Intell (AIJ) 175(9\u201310):1620\u20131654","DOI":"10.1016\/j.artint.2011.03.002"},{"key":"6_CR12","unstructured":"Baget J-F, Mugnier M-L, Rudolph S, Thomazo M (2011b) Walking the complexity lines for generalized guarded existential rules. In: Proceedings of the 22nd international conference on artificial intelligence (IJCAI), pp 712\u2013717"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Bereta K, Koubarakis M (2016) Ontop of geospatial databases. In: Groth PT, Simperl E, Gray AJG, Sabou M, Kr\u00f6tzsch M, L\u00e9cu\u00e9 F, Fl\u00f6ck F, Gil Y (eds) Proceedings of the 15th international semantic web conference (ISWC), pp 37\u201352","DOI":"10.1007\/978-3-319-46523-4_3"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 279","DOI":"10.1038\/scientificamerican0501-34"},{"key":"6_CR15","unstructured":"Bienvenu M, Bourgaux C (2016) Inconsistency-tolerant querying of description logic knowledge bases. In: Lecture notes of the 12th international reasoning web summer school. LNCS, vol 9885. Springer, Berlin, pp 156\u2013202"},{"key":"6_CR16","doi-asserted-by":"crossref","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","DOI":"10.1145\/3191832"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Bienvenu M, Ortiz M (2015) Ontology-mediated query answering with data-tractable description logics. Lecture notes of the 11th international reasoning web summer school. LNCS, vol 9203. Springer, Berlin, pp 218\u2013307","DOI":"10.1007\/978-3-319-21768-0_9"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Bienvenu M, Ortiz M, Simkus M (2015) Regular path queries in lightweight description logics: complexity and algorithms. J Artif Intell Res (JAIR) 53:315\u2013374","DOI":"10.1613\/jair.4577"},{"key":"6_CR19","unstructured":"Bienvenu M, Rosati R (2016) Query-based comparison of mappings in ontology-based data access. In: Proceedings of the 15th international conference on the principles of knowledge representation and reasoning (KR), pp 197\u2013206"},{"key":"6_CR20","volume-title":"Handbook of modal logic","author":"P Blackburn","year":"2006","unstructured":"Blackburn P, Benthem JV, Wolter F (2006) Handbook of modal logic. Springer, Berlin"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Borgida A (1996) On the relative expressiveness of description logics and predicate logics. Artif intell (AIJ) 82:353\u2013367","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"6_CR22","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 Sem 33:50\u201370","journal-title":"J Web Sem"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Botoeva E, Calvanese D, Santarelli V, Savo DF, Solimando A, Xiao G (2016) Beyond OWL 2 QL in OBDA: rewritings and approximations. In: Proceedings of the 30th AAAI conference on artificial intelligence, pp 921\u2013928","DOI":"10.1609\/aaai.v30i1.10102"},{"key":"6_CR24","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: Singh SP, Markovitch S (eds) Proceedings of the 31st AAAI conference on artificial intelligence. AAAI Press, California, pp 1070\u20131076","DOI":"10.1609\/aaai.v31i1.10696"},{"key":"6_CR25","unstructured":"Cal\u00ec A, Gottlob G, Kifer M (2008) Taming the infinite chase: query answering under expressive relational constraints. In: Proceedings of the 11th international conference on principles of knowledge representation and reasoning (KR), pp 70\u201380"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Cal\u00ec A, Gottlob G, Lukasiewicz T (2009) A general datalog-based framework for tractable query answering over ontologies. In: Proceedings of the 28th international conference on principles of database systems (PODS), pp 77\u201386","DOI":"10.1145\/1559795.1559809"},{"issue":"1","key":"6_CR27","first-page":"554","volume":"3","author":"A Cal\u00ec","year":"2010","unstructured":"Cal\u00ec A, Gottlob G, Pieris A (2010) Advanced processing for ontological queries. PVLDB 3(1):554\u2013565","journal-title":"Advanced processing for ontological queries. PVLDB"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Calvanese D, Giacomo GD, Lembo D, Lenzerini M, Rosati R (2007) Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J Autom Reas (JAR) 39(3):385\u2013429","DOI":"10.1007\/s10817-007-9078-x"},{"key":"6_CR29","volume-title":"Graph-based knowledge representation and reasoning-computational foundations of conceptual graphs","author":"M Chein","year":"2009","unstructured":"Chein M, Mugnier M-L (2009) Graph-based knowledge representation and reasoning-computational foundations of conceptual graphs. Advanced information and knowledge processing, Springer, Berlin"},{"issue":"1","key":"6_CR30","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P Chen","year":"1976","unstructured":"Chen P (1976) The entity-relationship model: Toward a unified view of data. ACM Trans Database Syst (TODS) 1(1):9\u201336","journal-title":"ACM Trans Database Syst (TODS)"},{"issue":"3","key":"6_CR31","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin E, Eiter T, Gottlob G, Voronkov A (2001) Complexity and expressive power of logic programming. ACM Comput Surv 33(3):374\u2013425","journal-title":"ACM Comput Surv"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Dau F (2003) The logic system of concept graphs with negation and its relationship to predicate logic. Lecture notes in computer science, vol 2892. Springer, Berlin","DOI":"10.1007\/b94030"},{"issue":"1","key":"6_CR33","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin R, Kolaitis PG, Miller RJ, Popa L (2005) Data exchange: semantics and query answering. Theor Comput Sci 336(1):89\u2013124","journal-title":"Theor Comput Sci"},{"key":"6_CR34","unstructured":"Feier C, Carral D, Stefanoni G, Grau BC, 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), pp 2971\u20132977"},{"key":"6_CR35","doi-asserted-by":"crossref","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 (AIJ) 213:42\u201359","DOI":"10.1016\/j.artint.2014.04.004"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Gottlob G, Orsi G, Pieris A, Simkus M (2012) Datalog and its extensions for semantic web databases. In: Lecture notes of the international reasoning web summer school. LNCS, vol 7487. Springer, Berlin, pp 54\u201377","DOI":"10.1007\/978-3-642-33158-9_2"},{"key":"6_CR37","unstructured":"Gottlob G, Schwentick T (2012) Rewriting ontological queries into small nonrecursive datalog programs. In: Proceedings of the 13th international conference on the principles of knowledge representation and reasoning (KR)"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Grau BC, Horrocks I, Kazakov Y, Sattler U (2008) Modular reuse of ontologies: theory and practice. J Artif Intell Res (JAIR) 31:273\u2013318","DOI":"10.1613\/jair.2375"},{"key":"6_CR39","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1613\/jair.3949","volume":"47","author":"BC Grau","year":"2013","unstructured":"Grau BC, Horrocks I, Kr\u00f6tzsch M, Kupke C, Magka D, Motik B, Wang Z (2013) Acyclicity notions for existential rules and their application to query answering in ontologies. J Artif Intell Res (JAIR) 47:741\u2013808","journal-title":"J Artif Intell Res (JAIR)"},{"issue":"2","key":"6_CR40","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"R Gruber","year":"1993","unstructured":"Gruber R (1993) A translation approach to portable ontology specifications. Knowl Acquis 5(2):199\u2013220","journal-title":"Knowl Acquis"},{"key":"6_CR41","first-page":"3","volume-title":"Formal ontology and information systems","author":"N Guarino","year":"1998","unstructured":"Guarino N (1998) Formal ontology and information systems. In: Guarino N (ed) Formal ontology and information systems. IOS Press, Amsterdam, pp 3\u201315"},{"key":"6_CR42","unstructured":"Horrocks I, Kutz O, Sattler (2006) The even more irresistible SROIQ. In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR), pp 57\u201367"},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Horrocks I, Sattler U, Tobies S (1999) Practical reasoning for expressive description logics. In: Proceedings of the 6th international conference on logic programming and automated reasoning (LPAR), pp 161\u2013180","DOI":"10.1007\/3-540-48242-3_11"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Konev B, Lutz C, Walther D, Wolter F (2013) Model-theoretic inseparability and modularity of description logic ontologies. Artif Intell (AIJ) 203:66\u2013103","DOI":"10.1016\/j.artint.2013.07.004"},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Kontchakov R, Wolter F, Zakharyaschev M (2010) Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif Intell (AIJ) 174(15):1093\u20131141","DOI":"10.1016\/j.artint.2010.06.003"},{"key":"6_CR46","volume-title":"Semantic networks in artificial intelligence","author":"F Lehmann","year":"1992","unstructured":"Lehmann F (1992) Semantic networks in artificial intelligence. Elsevier Science Inc., New York"},{"key":"6_CR47","doi-asserted-by":"crossref","unstructured":"Lembo D, Lenzerini M, Rosati R, Ruzzi M, Savo DF (2015) Inconsistency-tolerant query answering in ontology-based data access. J Web Sem 33:3\u201329","DOI":"10.1016\/j.websem.2015.04.002"},{"key":"6_CR48","doi-asserted-by":"crossref","unstructured":"Levy A, Rousset M-C (1998) Combining Horn rules and description logics in CARIN. Artif Intell (AIJ) 101","DOI":"10.1016\/S0004-3702(98)00048-4"},{"key":"6_CR49","doi-asserted-by":"crossref","unstructured":"Lukasiewicz T, Martinez MV, Pieris A, Simari GI (2015) From classical to consistent query answering under existential rules. In: Proceedings of the 29th AAAI conference on artificial intelligence, pp 1546\u20131552","DOI":"10.1609\/aaai.v29i1.9414"},{"key":"6_CR50","doi-asserted-by":"crossref","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), pp 314\u2013330","DOI":"10.1007\/978-3-642-41335-3_20"},{"key":"6_CR51","doi-asserted-by":"crossref","unstructured":"Mugnier M, Thomazo M (2014) An introduction to ontology-based query answering with existential rules. In: Lecture notes of the 10th international reasoning web summer school. LNCS, vol 8714. Springer, Berlin, pp 245\u2013278","DOI":"10.1007\/978-3-319-10587-1_6"},{"key":"6_CR52","unstructured":"Mugnier M-L (2011) Ontological query answering with existential rules. In: Proceedings of the 5th international conference on web reasoning and rule systems (RR), pp 2\u201323"},{"key":"6_CR53","doi-asserted-by":"crossref","unstructured":"Nebel B (1990) Terminological reasoning is inherently intractable. Artif Intell (AIJ) 43(2):235\u2013249","DOI":"10.1016\/0004-3702(90)90087-G"},{"key":"6_CR54","doi-asserted-by":"crossref","unstructured":"Ortiz M, Simkus M (2012) Reasoning and query answering in description logics. In: Lecture notes of the 8th international reasoning web summer school, LNCS, vol 7487. Springer, Berlin, pp 1\u201353","DOI":"10.1007\/978-3-642-33158-9_1"},{"key":"6_CR55","doi-asserted-by":"crossref","unstructured":"Pe\u00f1aloza R, Sertkaya B (2017) Understanding the complexity of axiom pinpointing in lightweight description logics. Artif Intell (AIJ) 250:80\u2013104","DOI":"10.1016\/j.artint.2017.06.002"},{"key":"6_CR56","first-page":"133","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","journal-title":"J Data Semant"},{"key":"6_CR57","unstructured":"Rocher S (2016) Querying existential rule knowledge bases: decidability and complexity. Universit\u00e9 de Montpellier PhD thesis"},{"key":"6_CR58","unstructured":"Schild K (1991) A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th international joint conference on artificial intelligence (IJCAI)"},{"key":"6_CR59","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), pp 355\u2013362"},{"key":"6_CR60","doi-asserted-by":"crossref","unstructured":"Sebastiani R, Vescovi M (2009) Axiom pinpointing in lightweight description logics via horn-sat encoding and conflict analysis. In: Proceedings of the 22nd international conference on automated deduction (CADE). LNCS, vol 5663. Springer, Berlin, pp 84\u201399","DOI":"10.1007\/978-3-642-02959-2_6"},{"key":"6_CR61","unstructured":"Sowa JF (1976) Conceptual graphs. IBM J Res Devel"},{"key":"6_CR62","unstructured":"Sowa JF (1984) Conceptual structures: information processing in mind and machine. Addison-Wesley, Boston"},{"key":"6_CR63","doi-asserted-by":"crossref","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 (JAIR) 51:645\u2013705","DOI":"10.1613\/jair.4457"},{"key":"6_CR64","unstructured":"Thomazo M (2013) Conjunctive query answering under existential rules - decidability, complexity, and algorithms. PhD thesis, Montpellier 2 University, France"},{"key":"6_CR65","unstructured":"W3C (2004a) OWL web ontology language. http:\/\/www.w3.org\/2004\/OWL\/"},{"key":"6_CR66","unstructured":"W3C (2004b) RDF vocabulary description language 1.0: RDF schema. http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"6_CR67","unstructured":"W3C (2012a) OWL 2 web ontology language. https:\/\/www.w3.org\/TR\/owl-syntax\/"},{"key":"6_CR68","unstructured":"W3C (2012b) OWL 2 web ontology language profiles. https:\/\/www.w3.org\/TR\/owl2-profiles\/"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06164-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T08:21:16Z","timestamp":1666513276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06164-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061630","9783030061647"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06164-7_6","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}