{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:21:59Z","timestamp":1767651719456,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_23","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"355-370","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Computing Minimal Projection Modules for $$\\mathcal{ELH}^{r}$$ -Terminologies"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2497-645X","authenticated-orcid":false,"given":"Jieying","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1899-5777","authenticated-orcid":false,"given":"Michel","family":"Ludwig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2805-2473","authenticated-orcid":false,"given":"Yue","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5509-8899","authenticated-orcid":false,"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-319-13704-9_2","volume-title":"Knowledge Engineering and Knowledge Management","author":"T Alsubait","year":"2014","unstructured":"Alsubait, T., Parsia, B., Sattler, U.: Measuring similarity in ontologies: a new family of measures. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyv\u00f6nen, E. (eds.) EKAW 2014. LNCS (LNAI), vol. 8876, pp. 13\u201325. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-13704-9_2"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-319-40970-2_32","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2016","author":"MF Arif","year":"2016","unstructured":"Arif, M.F., Menc\u00eda, C., Ignatiev, A., Manthey, N., Pe\u00f1aloza, R., Marques-Silva, J.: BEACON: an efficient SAT-based tool for debugging $${\\cal{EL}}{^+}$$ ontologies. In: Creignou, N., Le Berre, D. (eds.) SAT 2016. LNCS, vol. 9710, pp. 521\u2013530. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40970-2_32"},{"unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2 edn. Cambridge University Press, June 2010","key":"23_CR3"},{"key":"23_CR4","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.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic $$\\cal{EL}$$ . In: Proceedings of DL 2007: The 20th International Workshop on Description Logics (2007)","key":"23_CR5"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-49493-7_2","volume-title":"Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering","author":"E Botoeva","year":"2017","unstructured":"Botoeva, E., Konev, B., Lutz, C., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Inseparability and conservative extensions of description logic ontologies: a survey. In: Pan, J.Z., et al. (eds.) Reasoning Web 2016. LNCS, vol. 9885, pp. 27\u201389. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-49493-7_2"},{"key":"23_CR7","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)","journal-title":"Artif. Intell."},{"unstructured":"Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Query-based entailment and inseparability for ALC ontologies. In: Proceedings of IJCAI 2016: The 25th International Joint Conference on Artificial Intelligence, pp. 1001\u20131007. AAAI Press (2016)","key":"23_CR8"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-68288-4_11","volume-title":"The Semantic Web \u2013 ISWC 2017","author":"J Chen","year":"2017","unstructured":"Chen, J., Ludwig, M., Ma, Y., Walther, D.: Zooming in on ontologies: minimal modules and best excerpts. In: d\u2019Amato, C., et al. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 173\u2013189. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68288-4_11"},{"unstructured":"Chen, J., Ludwig, M., Walther, D.: Computing minimal subsumption modules of ontologies. In: Proceedings of GCAI 2018: The 4th Global Conference on Artificial Intelligence, pp. 41\u201353 (2018)","key":"23_CR10"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89704-0","volume-title":"The Semantic Web","year":"2008","unstructured":"Domingue, J., Anutariya, C. (eds.): ASWC 2008. LNCS, vol. 5367. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89704-0"},{"unstructured":"Ecke, A., Ludwig, M., Walther, D.: The concept difference for $$\\cal{EL}$$ -terminologies using hypergraphs. In: Proceedings of DChanges 2013: The International workshop on (Document) Changes: Modeling, Detection, Storage and Visualization (2013)","key":"23_CR12"},{"key":"23_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38721-0","volume-title":"Ontology Matching","author":"J Euzenat","year":"2013","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching, 2nd edn. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38721-0","edition":"2"},{"issue":"1","key":"23_CR14","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"BC Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: theory and practice. J. Artif. Intell. Res. 31(1), 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res."},{"doi-asserted-by":"crossref","unstructured":"Jung, J.C., Lutz, C., Martel, M., Schneider, T.: Query conservative extensions in horn description logics with inverse roles. In: Proceedings of IJCAI 2017: The 26th International Joint Conference on Artificial Intelligence, pp. 1116\u20131122. AAAI Press (2017)","key":"23_CR15","DOI":"10.24963\/ijcai.2017\/155"},{"issue":"4","key":"23_CR16","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semant. 3(4), 268\u2013293 (2005)","journal-title":"J. Web Semant."},{"unstructured":"Kazakov, Y., Skocovsky, P.: Enumerating justifications using resolution. In: Proceedings of DL 2017: The 30th International Workshop on Description Logics (2017)","key":"23_CR17"},{"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 AAAI 2011: The 25th Conference on Artificial Intelligence. AAAI Press (2011)","key":"23_CR18","DOI":"10.1609\/aaai.v25i1.7846"},{"key":"23_CR19","doi-asserted-by":"publisher","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. 44, 633\u2013708 (2012)","journal-title":"J. Artif. Intell. Res."},{"unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: Proceedings of ECAI 2008: The 18th European Conference on Artificial Intelligence, pp. 55\u201359. IOS Press (2008)","key":"23_CR20"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-01907-4_3","volume-title":"Modular Ontologies","author":"B Konev","year":"2009","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Formal properties of modularisation. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 25\u201366. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01907-4_3"},{"key":"23_CR22","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."},{"key":"23_CR23","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). https:\/\/doi.org\/10.1007\/978-3-540-71070-7_21"},{"issue":"15","key":"23_CR24","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(15), 1093\u20131141 (2010)","journal-title":"Artif. Intell."},{"key":"23_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-33353-8_24","volume-title":"Logics in Artificial Intelligence","author":"K Lehmann","year":"2012","unstructured":"Lehmann, K., Turhan, A.-Y.: A framework for semantic-based similarity measures for $$\\cal{ELH}$$ -concepts. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 307\u2013319. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33353-8_24"},{"unstructured":"Ludwig, M., Walther, D.: The logical difference for $$\\cal{ELH}^{r}$$ -terminologies using hypergraphs. In: Proceedings of ECAI 2014: The 21st European Conference on Artificial Intelligence, pp. 555\u2013560 (2014)","key":"23_CR26"},{"key":"23_CR27","doi-asserted-by":"publisher","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. 55, 499\u2013564 (2016)","journal-title":"J. Artif. Intell. Res."},{"unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should I extract? In: Proceedings of DL 2009. CEUR Workshop Proceedings, vol. 477. CEUR-WS.org (2009)","key":"23_CR28"},{"doi-asserted-by":"crossref","unstructured":"Zhou, Z., Qi, G., Suntisrivaraporn, B.: A new method of finding all justifications in OWL 2 EL. In: Proceedings of WI 2013: IEEE\/WIC\/ACM International Conferences on Web Intelligence, pp. 213\u2013220 (2013)","key":"23_CR29","DOI":"10.1109\/WI-IAT.2013.31"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,17]],"date-time":"2022-09-17T11:29:52Z","timestamp":1663414192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}