{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:55:57Z","timestamp":1759146957344,"version":"3.41.0"},"publisher-location":"Cham","reference-count":107,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319494920"},{"type":"electronic","value":"9783319494937"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-49493-7_2","type":"book-chapter","created":{"date-parts":[[2017,2,25]],"date-time":"2017-02-25T09:12:22Z","timestamp":1488013942000},"page":"27-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey"],"prefix":"10.1007","author":[{"given":"Elena","family":"Botoeva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Konev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladislav","family":"Ryzhikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,26]]},"reference":[{"volume-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., et al. (eds.): The Description Logic Handbook Theory Implementation and Applications. Cambridge University Press, Cambridge (2003)","key":"2_CR1"},{"doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369 (2005)","key":"2_CR2","DOI":"10.25368\/2022.144"},{"issue":"3","key":"2_CR3","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.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. (JAIR) 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"3","key":"2_CR5","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.: Reasoning in description logics by a reduction to disjunctive Datalog. J. Autom. Reason. 39(3), 351\u2013384 (2007)","journal-title":"J. Autom. Reason."},{"unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn-SHIQ ontologies. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 2040\u20132045 (2009)","key":"2_CR6"},{"key":"2_CR7","first-page":"150","volume":"31","author":"B Glimm","year":"2008","unstructured":"Glimm, B., Lutz, C., Horrocks, I., Sattler, U.: Answering conjunctive queries in the $$\\cal{SHIQ}$$ description logic. J. Artif. Intell. Res. (JAIR) 31, 150\u2013197 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260\u2013270 (2006)","key":"2_CR8"},{"unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: an automata-theoretic approach. In: Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007), pp. 391\u2013396 (2007)","key":"2_CR9"},{"doi-asserted-by":"crossref","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Formal properties of modularisation. In: Stuckenschmidt et al. [21], pp. 25\u201366. http:\/\/dx.doi.org\/10.1007\/978-3-642-01907-4_3","key":"2_CR10","DOI":"10.1007\/978-3-642-01907-4_3"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1613\/jair.3552","volume":"44","author":"B Konev","year":"2012","unstructured":"Konev, B., Ludwig, M., Walther, D., Wolter, F.: The logical difference for the lightweight description logic EL. J. Artif. Intell. Res. (JAIR) 44, 633\u2013708 (2012)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/280277.280280","volume":"30","author":"R Conradi","year":"1998","unstructured":"Conradi, R., Westfechtel, B.: Version models for software configuration management. ACM Comput. Surv. (CSUR) 30(2), 232\u2013282 (1998)","journal-title":"ACM Comput. Surv. (CSUR)"},{"unstructured":"Noy, N.F., Musen, M.A.: PromptDiff: a fixed-point algorithm for comparing ontology versions. In: Proceedings of the 18th National Conference on Artificial Intelligence (AAAI 2002), pp. 744\u2013750. AAAI Press, Menlo Park (2002)","key":"2_CR13"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-45810-7_20","volume-title":"Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web","author":"M Klein","year":"2002","unstructured":"Klein, M., Fensel, D., Kiryakov, A., Ognyanov, D.: Ontology versioning and change detection on the web. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 197\u2013212. Springer, Heidelberg (2002). doi:10.1007\/3-540-45810-7_20"},{"unstructured":"Redmond, T., Smith, M., Drummond, N., Tudorache, T.: Managing change: an ontology version control system. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2008). CEUR Workshop Proceedings, vol. 432, CEUR-WS.org (2008)","key":"2_CR15"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.datak.2010.10.001","volume":"70","author":"E Jimenez-Ruiz","year":"2011","unstructured":"Jimenez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Llavori, R.B.: Supporting concurrent ontology development: framework, algorithms and tool. Data Knowl. Eng. 70(1), 146\u2013164 (2011)","journal-title":"Data Knowl. Eng."},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-71070-7_21","volume-title":"Automated Reasoning","author":"B Konev","year":"2008","unstructured":"Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 259\u2013274. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-71070-7_21"},{"unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies. In: Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 285\u2013295 (2008)","key":"2_CR18"},{"unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? A case for conservative extensions in description logic. In: Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 187\u2013197. AAAI Press (2006)","key":"2_CR19"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B Cuenca-Grau","year":"2008","unstructured":"Cuenca-Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: theory and practice. J. Artif. Intell. Res. (JAIR) 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization","year":"2009","unstructured":"Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.): Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. LNCS, vol. 5445. Springer, Heidelberg (2009)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s11787-010-0020-3","volume":"4","author":"O Kutz","year":"2010","unstructured":"Kutz, O., Mossakowski, T., L\u00fccke, D.: Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Log. Univers. 4(2), 255\u2013333 (2010). doi:10.1007\/s11787-010-0020-3","journal-title":"Log. Univers."},{"key":"2_CR23","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.: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174, 1093\u20131141 (2010)","journal-title":"Artif. Intell."},{"issue":"1","key":"2_CR24","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/TKDE.2011.253","volume":"25","author":"P Shvaiko","year":"2013","unstructured":"Shvaiko, P., Euzenat, J.: Ontology matching: state of the art and future challenges. IEEE Trans. Knowl. Data Eng. 25(1), 158\u2013176 (2013). doi:10.1109\/TKDE.2011.253","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-11915-1_1","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"A Solimando","year":"2014","unstructured":"Solimando, A., Jim\u00e9nez-Ruiz, E., Guerrini, G.: Detecting and correcting conservativity principle violations in ontology-to-ontology mappings. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8797, pp. 1\u201316. Springer, Heidelberg (2014). doi:10.1007\/978-3-319-11915-1_1"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-319-25010-6_6","volume-title":"The Semantic Web - ISWC 2015","author":"E Kharlamov","year":"2015","unstructured":"Kharlamov, E., et al.: Ontology based access to exploration data at Statoil. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 93\u2013112. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-25010-6_6"},{"unstructured":"Jim\u00e9nez-Ruiz, E., Payne, T.R., Solimando, A., Tamma, V.A.M.: Limiting logical violations in ontology alignnment through negotiation. In: Proceedings of the 15th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2016), pp. 217\u2013226 (2016)","key":"2_CR27"},{"issue":"1","key":"2_CR28","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, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89\u2013124 (2005). doi:10.1016\/j.tcs.2004.10.033","journal-title":"Theor. Comput. Sci."},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.artint.2016.05.002","volume":"238","author":"M Arenas","year":"2016","unstructured":"Arenas, M., Botoeva, E., Calvanese, D., Ryzhikov, V.: Knowledge base exchange: the case of OWL 2 QL. Artif. Intell. 238, 11\u201362 (2016). ISSN 0004-3702","journal-title":"Artif. Intell."},{"key":"2_CR30","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1613\/jair.3579","volume":"45","author":"B Cuenca-Grau","year":"2012","unstructured":"Cuenca-Grau, B., Motik, B.: Reasoning over ontologies with hidden content: the import-by-query approach. J. Artif. Intell. Res. (JAIR) 45, 197\u2013255 (2012)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"unstructured":"Reiter, R., Lin, F.: Forget it! In: Proceedings of AAAI Fall Symposium on Relevance, pp. 154\u2013159 (1994)","key":"2_CR31"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2275175","volume":"57","author":"A Pitts","year":"1992","unstructured":"Pitts, A.: On an interpretation of second-order quantification in first-order intuitionistic propositional logic. J. Symb. Logic 57, 33\u201352 (1992)","journal-title":"J. Symb. Logic"},{"unstructured":"D\u2019Agostino, G., Hollenberg, M.: Uniform interpolation, automata, and the modal $$\\mu $$-calculus. In: Advances in Modal Logic, vol. 1 (1998)","key":"2_CR33"},{"key":"2_CR34","series-title":"Lecture Notes Logic","volume-title":"G\u00f6del \u201996 (Brno, 1996)","author":"A Visser","year":"1996","unstructured":"Visser, A.: Uniform interpolation and layered bisimulation. In: H\u00e1jek, P. (ed.) G\u00f6del \u201996 (Brno, 1996). Lecture Notes Logic, vol. 6. Springer, Berlin (1996)"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01061237","volume":"55","author":"S Ghilardi","year":"1995","unstructured":"Ghilardi, S., Zawadowski, M.: Undefinability of propositional quantifiers in the modal system S4. Stud. Logica 55, 259\u2013271 (1995)","journal-title":"Stud. Logica"},{"unstructured":"French, T.: Bisimulation quantifiers for modal logics. Ph.D. thesis, University of Western Australia (2006)","key":"2_CR36"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1613\/jair.2750","volume":"35","author":"K Su","year":"2009","unstructured":"Su, K., Sattar, A., Lv, G., Zhang, Y.: Variable forgetting in reasoning about knowledge. J. Artif. Intell. Res. (JAIR) 35, 677\u2013716 (2009). doi:10.1613\/jair.2750","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"unstructured":"Konev, B., Walther, D., Wolter, F.: 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 (2009). http:\/\/ijcai.org\/papers09\/Papers\/IJCAI09-142.pdf","key":"2_CR38"},{"issue":"1\u20132","key":"2_CR39","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10472-010-9187-9","volume":"58","author":"Z Wang","year":"2010","unstructured":"Wang, Z., Wang, K., Topor, R.W., Pan, J.Z.: Forgetting for knowledge bases in DL-Lite. Ann. Math. Artif. Intell. 58(1\u20132), 117\u2013151 (2010). doi:10.1007\/s10472-010-9187-9","journal-title":"Ann. Math. Artif. Intell."},{"unstructured":"Lutz, C., Wolter, F.: Foundations for uniform interpolation and forgetting in expressive description logics. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 989\u2013995. IJCAI\/AAAI (2011)","key":"2_CR40"},{"issue":"2","key":"2_CR41","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1111\/j.1467-8640.2012.00442.x","volume":"30","author":"K Wang","year":"2014","unstructured":"Wang, K., Wang, Z., Topor, R.W., Pan, J.Z., Antoniou, G.: Eliminating concepts and roles from ontologies in expressive descriptive logics. Comput. Intell. 30(2), 205\u2013232 (2014). doi:10.1111\/j.1467-8640.2012.00442.x","journal-title":"Comput. Intell."},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-319-08587-6_34","volume-title":"Automated Reasoning","author":"P Koopmann","year":"2014","unstructured":"Koopmann, P., Schmidt, R.A.: Count and forget: uniform interpolation of\u00a0$$\\cal{SHQ}$$-ontologies. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS (LNAI), vol. 8562, pp. 434\u2013448. Springer, Heidelberg (2014). doi:10.1007\/978-3-319-08587-6_34"},{"key":"2_CR43","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.: (Non-)succinctness of uniform interpolants of general terminologies in the description logic EL. Artif. Intell. 215, 120\u2013140 (2014). doi:10.1016\/j.artint.2014.06.005","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Koopmann, P., Schmidt, R.A.: Uniform interpolation and forgetting for $$\\cal{ALC}$$ ontologies with ABoxes. In: Proceedings of the 29th National Conference on Artificial Intelligence (AAAI 2015), pp. 175\u2013181 (2015). http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9981","key":"2_CR44","DOI":"10.1609\/aaai.v29i1.9206"},{"key":"2_CR45","first-page":"249","volume-title":"Handbook of Modal Logic","author":"V Goranko","year":"2006","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 249\u2013330. Elsevier, Amsterdam (2006)"},{"unstructured":"Lutz, C., Piro, R., Wolter, F.: Description logic TBoxes: model-theoretic characterizations and rewritability. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 983\u2013988. AAAI Press, Menlo Park (2011)","key":"2_CR46"},{"unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proceedings of the 20th Internatioanl Joint Conference on Artificial Intelligence (IJCAI), pp. 453\u2013458. AAAI Press, Menlo Park (2007)","key":"2_CR47"},{"issue":"2","key":"2_CR48","first-page":"359","volume":"8","author":"T Wilke","year":"2001","unstructured":"Wilke, T.: Alternating tree automata, parity games, and modal $$\\mu $$-calculus. Bull. Belgian Math. Soc. 8(2), 359\u2013391 (2001)","journal-title":"Bull. Belgian Math. Soc."},{"unstructured":"Konev, B., Lutz, C., Wolter, F., Zakharyaschev, M.: Conservative rewritability of description logic TBoxes. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (2016)","key":"2_CR49"},{"issue":"3","key":"2_CR50","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Log. Comput. 9(3), 385\u2013410 (1999). doi:10.1093\/logcom\/9.3.385","journal-title":"J. Log. Comput."},{"unstructured":"Ghilardi, S., Lutz, C., Wolter, F., Zakharyaschev, M.: Conservative extensions in modal logics. In: Proceedings of the AiML, vol. 6, pp. 187\u2013207 (2006)","key":"2_CR51"},{"issue":"2","key":"2_CR52","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.: Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. 45(2), 194\u2013228 (2010)","journal-title":"J. Symb. Comput."},{"unstructured":"Lutz, C., Seylan, I., Wolter, F.: An automata-theoretic approach to uniform interpolation and approximation in the description logic EL. In: Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 286\u2013296. AAAI Press (2012)","key":"2_CR53"},{"doi-asserted-by":"publisher","unstructured":"Nikitina, N., Rudolph, S.: ExpExpExplosion: uniform interpolation in general EL terminologies. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 618\u2013623 (2012). doi:10.3233\/978-1-61499-098-7-618","key":"2_CR54","DOI":"10.3233\/978-1-61499-098-7-618"},{"doi-asserted-by":"crossref","unstructured":"Clarke, E., Schlingloff, H.: Model checking. In: Handbook of Automated Reasoning, vol. II, chap. 24, pp. 1635\u20131790. Elsevier (2001)","key":"2_CR55","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"unstructured":"Ludwig, M., Walther, D.: The logical difference for $$\\cal{ELH}^r$$-terminologies using hypergraphs. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014). Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 555\u2013560. IOS Press (2014)","key":"2_CR56"},{"unstructured":"Feng, S., Ludwig, M., Walther, D.: Foundations for the logical difference of EL-TBoxes. In: Global Conference on Artificial Intelligence (GCAI 2015). EPiC Series in Computing, vol. 36, pp. 93\u2013112. EasyChair (2015). ISSN 2040-557X","key":"2_CR57"},{"key":"2_CR58","first-page":"196","volume":"41","author":"P Byers","year":"1990","unstructured":"Byers, P., Pitt, D.: Conservative extensions: a cautionary note. EATCS-Bull. 41, 196\u2013201 (1990)","journal-title":"EATCS-Bull."},{"key":"2_CR59","first-page":"188","volume":"46","author":"P Veloso","year":"1992","unstructured":"Veloso, P.: Yet another cautionary note on conservative extensions: a simple case with a computing flavour. EATCS-Bull. 46, 188\u2013193 (1992)","journal-title":"EATCS-Bull."},{"key":"2_CR60","first-page":"189","volume":"43","author":"P Veloso","year":"1991","unstructured":"Veloso, P., Veloso, S.: Some remarks on conservative extensions. A socratic dialog. EATCS-Bull. 43, 189\u2013198 (1991)","journal-title":"EATCS-Bull."},{"unstructured":"Diaconescu, J.G.R., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Logical Environments (1993)","key":"2_CR61"},{"key":"2_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BFb0030588","volume-title":"TAPSOFT \u201997: Theory and Practice of Software Development","author":"TSE Maibaum","year":"1997","unstructured":"Maibaum, T.S.E.: Conservative extensions, interpretations between theories and all that!. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997. LNCS, vol. 1214, pp. 40\u201366. Springer, Heidelberg (1997). doi:10.1007\/BFb0030588"},{"key":"2_CR63","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.artint.2013.07.004","volume":"203","author":"B Konev","year":"2013","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203, 66\u2013103 (2013)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Berger, R.: The Undecidability of the Domino Problem. Memoirs of the AMS, issue 66. American Mathematical Society, Providence (1966)","key":"2_CR64","DOI":"10.1090\/memo\/0066"},{"key":"2_CR65","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01418780","volume":"12","author":"R Robinson","year":"1971","unstructured":"Robinson, R.: Undecidability and nonperiodicity for tilings of the plane. Inventiones Math. 12, 177\u2013209 (1971)","journal-title":"Inventiones Math."},{"key":"2_CR66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem. Perspectives in Mathematical Logic","author":"E B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Perspectives in Mathematical Logic. Springer, Heidelberg (1997)"},{"key":"2_CR67","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"S Feferman","year":"1959","unstructured":"Feferman, S., Vaught, R.L.: The first-order properties of algebraic systems. Fundamenta Math. 47, 57\u2013103 (1959)","journal-title":"Fundamenta Math."},{"key":"2_CR68","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-319-14726-0_8","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"P Bonatti","year":"2015","unstructured":"Bonatti, P., Faella, M., Lutz, C., Sauro, L., Wolter, F.: Decidability of circumscribed description logics revisited. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060, pp. 112\u2013124. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-14726-0_8"},{"doi-asserted-by":"crossref","unstructured":"Maher, M.J.: Equivalences of logic programs. In: Foundations of Deductive Databases and Logic Programming, pp. 627\u2013658. Morgan Kaufmann (1988)","key":"2_CR69","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"issue":"4","key":"2_CR70","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Logic 2(4), 526\u2013541 (2001). doi:10.1145\/502166.502170","journal-title":"ACM Trans. Comput. Logic"},{"key":"2_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-540-24599-5_16","volume-title":"Logic Programming","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Fink, M.: Uniform equivalence of logic programs under the stable model semantics. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 224\u2013238. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-24599-5_16"},{"key":"2_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-01907-4_8","volume-title":"Modular Ontologies","author":"B Cuenca Grau","year":"2009","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Extracting modules from ontologies: a logic-based approach. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 159\u2013186. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-01907-4_8"},{"doi-asserted-by":"crossref","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proceedings of the 16th International World Wide Web Conference (WWW 2007), pp. 717\u2013726. ACM (2007)","key":"2_CR73","DOI":"10.1145\/1242572.1242669"},{"unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 298\u2013303 (2007)","key":"2_CR74"},{"unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should I extract? In: Proceedings of the 22th International Workshop on Description Logics (DL 2009). CEUR Workshop Proceedings, vol. 477. CEUR-WS.org (2009)","key":"2_CR75"},{"unstructured":"Romero, A.A., Grau, B.C., Horrocks, I., Jim\u00e9nez-Ruiz, E.: MORe: a modular OWL reasoner for ontology classification. In: ORE. CEUR Workshop Proceedings, vol. 1015, pp. 61\u201367. CEUR-WS.org (2013)","key":"2_CR76"},{"unstructured":"Romero, A.A., Grau, B.C., Horrocks, I.: Modular combination of reasoners for ontology classification. In: Proceedings of the 25th International Workshop on Description Logics (DL 2012). CEUR Workshop Proceedings, vol. 846. CEUR-WS.org (2012)","key":"2_CR77"},{"key":"2_CR78","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1613\/jair.4898","volume":"55","author":"AA Romero","year":"2016","unstructured":"Romero, A.A., Kaminski, M., Grau, B.C., Horrocks, I.: Module extraction in expressive ontology languages via Datalog reasoning. J. Artif. Intell. Res. (JAIR) 55, 499\u2013564 (2016)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"4","key":"2_CR79","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.: Ontology-based data access a study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. 39(4), 33:1\u201333:44 (2014)","journal-title":"ACM Trans. Database Syst."},{"key":"2_CR80","first-page":"133","volume":"10","author":"A Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133\u2013173 (2008)","journal-title":"J. Data Semant."},{"key":"2_CR81","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.artint.2016.01.010","volume":"234","author":"E Botoeva","year":"2016","unstructured":"Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Games for query inseparability of description logic knowledge bases. Artif. Intell. 234, 78\u2013119 (2016). doi:10.1016\/j.artint.2016.01.010. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370216300017, ISSN 0004-3702","journal-title":"Artif. Intell."},{"unstructured":"Lutz, C., Wolter, F.: Non-uniform data complexity of query answering in description logics. In: Proceedings of KR. AAAI Press (2012)","key":"2_CR82"},{"key":"2_CR83","volume-title":"Model Theory. Studies in Logic and the Foundations of Mathematics","author":"CC Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73. Elsevier, Amsterdam (1990)"},{"unstructured":"Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Query-based entailment and inseparability for ALC ontologies (Full Version). CoRR Technical report abs\/1604.04164, arXiv.org e-Print archive (2016). http:\/\/arxiv.org\/abs\/1604.04164","key":"2_CR84"},{"unstructured":"Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Query-based entailment and inseparability for ALC ontologies. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 1001\u20131007 (2016)","key":"2_CR85"},{"unstructured":"Schaerf, A.: Query answering in concept-based knowledge representation systems: algorithms, complexity, and semantic issues. Ph.D. thesis, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma La Sapienza (1994)","key":"2_CR86"},{"key":"2_CR87","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"key":"2_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-36387-4_2","volume-title":"Automata Logics, and Infinite Games","author":"R Mazala","year":"2002","unstructured":"Mazala, R.: Infinite games. In: Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.) Automata Logics, and Infinite Games. LNCS, vol. 2500, pp. 23\u201338. Springer, Heidelberg (2002). doi:10.1007\/3-540-36387-4_2"},{"doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Henzinger, M.: An O($$n^2$$) time algorithm for alternating B\u00fcchi games. In: Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1386\u20131399. SIAM (2012)","key":"2_CR89","DOI":"10.1137\/1.9781611973099.109"},{"key":"2_CR90","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.4866","volume":"56","author":"F Baader","year":"2016","unstructured":"Baader, F., Bienvenu, M., Lutz, C., Wolter, F.: Query and predicate emptiness in ontology-based data access. J. Artif. Intell. Res. (JAIR) 56, 1\u201359 (2016)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"2_CR91","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-31365-3_29","volume-title":"Automated Reasoning","author":"B Konev","year":"2012","unstructured":"Konev, B., Ludwig, M., Wolter, F.: Logical Difference Computation with CEX2.5. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol. 7364, pp. 371\u2013377. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31365-3_29"},{"unstructured":"Bienvenu, M., Hansen, P., Lutz, C., Wolter, F.: 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), pp. 965\u2013971 (2016)","key":"2_CR92"},{"unstructured":"Bienvenu, M., Rosati, R.: 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 2016), pp. 197\u2013206 (2016). http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12902","key":"2_CR93"},{"doi-asserted-by":"publisher","unstructured":"Arenas, M., Gottlob, G., Pieris, A.: Expressive languages for querying the semantic web. In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2014, Snowbird, UT, USA, 22\u201327 June 2014, pp. 14\u201326 (2014). doi:10.1145\/2594538.2594555","key":"2_CR94","DOI":"10.1145\/2594538.2594555"},{"doi-asserted-by":"publisher","unstructured":"Fagin, R., Kolaitis, P.G., Nash, A., Popa, L.: Towards a theory of schema-mapping optimization. In: Proceedings of the 27th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2008), pp. 33\u201342 (2008). doi:10.1145\/1376916.1376922","key":"2_CR95","DOI":"10.1145\/1376916.1376922"},{"issue":"3","key":"2_CR96","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s00224-012-9397-0","volume":"52","author":"R Pichler","year":"2013","unstructured":"Pichler, R., Sallinger, E., Savenkov, V.: Relaxed notions of schema mapping equivalence revisited. Theory Comput. Syst. 52(3), 483\u2013541 (2013). doi:10.1007\/s00224-012-9397-0","journal-title":"Theory Comput. Syst."},{"doi-asserted-by":"crossref","unstructured":"Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., Zakharyaschev, M.: Conjunctive query inseparability of OWL 2 QL TBoxes. In: Proceedings of the 25th National Conference on Artificial Intelligence (AAAI 2011), pp. 221\u2013226. AAAI Press (2011)","key":"2_CR97","DOI":"10.1609\/aaai.v25i1.7846"},{"key":"2_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-41335-3_6","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"C Vescovo","year":"2013","unstructured":"Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., Tsarkov, D.: Empirical study of logic-based modules: cheap is cheerful. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 84\u2013100. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-41335-3_6"},{"unstructured":"Gatens, W., Konev, B., Wolter, F.: Lower and upper approximations for depleting modules of description logic ontologies. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), vol. 263, pp. 345\u2013350. IOS Press (2014)","key":"2_CR99"},{"unstructured":"Nortje, R., Britz, A., Meyer, T.: Module-theoretic properties of reachability modules for SRIQ. In: Proceedings of the 26th International Workshop on Description Logics (DL 2013). CEUR Workshop Proceedings, vol. 1014, pp. 868\u2013884. CEUR-WS.org (2013)","key":"2_CR100"},{"key":"2_CR101","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1007\/978-3-642-45221-5_42","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R Nortje","year":"2013","unstructured":"Nortje, R., Britz, K., Meyer, T.: Reachability modules for the description logic $$\\cal{SRIQ}$$. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 636\u2013652. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-45221-5_42"},{"key":"2_CR102","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-35176-1_7","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"RS Gon\u00e7alves","year":"2012","unstructured":"Gon\u00e7alves, R.S., Parsia, B., Sattler, U.: Concept-based semantic difference in expressive description logics. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 99\u2013115. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-35176-1_7"},{"key":"2_CR103","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1007\/978-3-642-04930-9_42","volume-title":"The Semantic Web - ISWC 2009","author":"K Wang","year":"2009","unstructured":"Wang, K., Wang, Z., Topor, R., Pan, J.Z., Antoniou, G.: Concept and role forgetting in $${\\cal{ALC}}$$ ontologies. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 666\u2013681. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-04930-9_42"},{"doi-asserted-by":"crossref","unstructured":"Zhou, Y., Zhang, Y.: Bounded forgetting. In: Burgard, W., Roth, D. (eds.) Proceedings of the 25th National Conference on Artificial Intelligence (AAAI 2011). AAAI Press (2011)","key":"2_CR104","DOI":"10.1609\/aaai.v25i1.7842"},{"unstructured":"Ludwig, M., Konev, B.: Practical uniform interpolation and forgetting for $$\\cal{ALC}$$ tboxes with applications to logical difference. In: Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press (2014)","key":"2_CR105"},{"unstructured":"Gabbay, D.M., Schmidt, R.A., Sza\u0142as, A.: Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications. Studies in Logic: Mathematical Logic and Foundations, vol. 12. College Publications (2008). ISBN 978-1-904987-56-7","key":"2_CR106"},{"key":"2_CR107","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/978-3-319-25007-6_34","volume-title":"The Semantic Web - ISWC 2015","author":"Y Zhao","year":"2015","unstructured":"Zhao, Y., Schmidt, R.A.: Concept forgetting in $$\\cal{ALCOI}$$-ontologies using an ackermann approach. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 587\u2013602. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-25007-6_34"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49493-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T19:01:06Z","timestamp":1750014066000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49493-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319494920","9783319494937"],"references-count":107,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49493-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"26 February 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Reasoning Web","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reasoning Web International Summer School","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aberdeen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rweb2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.abdn.ac.uk\/events\/rr-2016\/rw-summer-school-2016\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}