T. Alsubait, B. Parsia, and U. Sattler, Measuring similarity in ontologies: A new family of measures, Proceedings of EKAW'14: the 19th International Conference on Knowledge Engineering and Knowledge Management, pp.13-25, 2014.

M. F. Arif, C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza et al., BEACON: An efficient SAT-based tool for debugging EL + -ontologies, Proceedings of SAT'16: the 19th International Conference on the Theory and Applications of Satisfiability Testing, pp.521-530, 2016.

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and . Patel-schneider, The description logic handbook: theory, implementation, and applications, 2010.

F. Baader, I. Horrocks, C. Lutz, and U. Sattler, An Introduction to Description Logic, 2017.

F. Baader, R. Peñaloza, and B. Suntisrivaraporn, Pinpointing in the description logic EL, Proceedings of DL'07: the 20th International Workshop on Description Logics, 2007.

E. Botoeva, B. Konev, C. Lutz, V. Ryzhikov, F. Wolter et al., Inseparability and conservative extensions of description logic ontologies: A survey, Reasoning Web Summer School 2016, vol.9885, pp.27-89, 2017.

E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter, and M. Zakharyaschev, Games for query inseparability of description logic knowledge bases, Artificial Intelligence, vol.234, pp.78-119, 2016.

E. Botoeva, C. Lutz, V. Ryzhikov, F. Wolter, and M. Zakharyaschev, Query-based entailment and inseparability for alc ontologies, Proceedings of IJCAI'16: the 25th International Joint Conference on Artificial Intelligence, pp.1001-1007, 2016.

J. Chen, M. Ludwig, Y. Ma, and D. Walther, Zooming in on ontologies: Minimal modules and best excerpts, Proceedings Part I of ISWC'17: the 16th International Semantic Web Conference, pp.173-189, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01615905

J. Chen, M. Ludwig, and D. Walther, Computing minimal subsumption modules of ontologies, Proceedings of GCAI'18: the 4th Global Conference on Artificial Intelligence, pp.41-53, 2018.

, Proceedings of ASWC'08: the 3rd Asian Semantic Web Conference on The Semantic Web, vol.5367, 2008.

A. Ecke, M. Ludwig, and D. Walther, The concept difference for EL-terminologies using hypergraphs, Proceedings of DChanges'13: the International workshop on (Document) Changes: modeling, detection, storage and visualization, 2013.

J. Euzenat and P. Shvaiko, Ontology Matching, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00817824

B. C. Grau, I. Horrocks, Y. Kazakov, and U. Sattler, Modular reuse of ontologies: Theory and practice, Journal of Artificial Intelligence Research, vol.31, issue.1, pp.273-318, 2008.

J. C. Jung, C. Lutz, M. Martel, and T. Schneider, Query conservative extensions in horn description logics with inverse roles, Proceedings of IJCAI'17: the 26th International Joint Conference on Artificial Intelligence, pp.1116-1122, 2017.

A. Kalyanpur, B. Parsia, E. Sirin, and J. A. Hendler, Debugging unsatisfiable classes in OWL ontologies, Journal of Web Semantics, vol.3, issue.4, pp.268-293, 2005.

Y. Kazakov and P. Skocovsky, Enumerating justifications using resolution, Proceedings of DL'17: the 30th International Workshop on Description Logics, 2017.

B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter et al., Conjunctive query inseparability of OWL 2 QL TBoxes, Proceedings of AAAI'11: the 25th Conference on Artificial Intelligence, 2011.

B. Konev, M. Ludwig, D. Walther, and F. Wolter, The logical difference for the lightweight description logic EL, Journal of Artificial Intelligence Research, vol.44, pp.633-708, 2012.

B. Konev, C. Lutz, D. Walther, and F. Wolter, Semantic modularity and module extraction in description logics, Proceedings of ECAI'08: the 18th European Conference on Artificial Intelligence, pp.55-59, 2008.

B. Konev, C. Lutz, D. Walther, and F. Wolter, Formal Properties of Modularisation, pp.25-66, 2009.

B. Konev, C. Lutz, D. Walther, and F. Wolter, Model-theoretic inseparability and modularity of description logic ontologies, Artificial Intelligence, vol.203, pp.66-103, 2013.

B. Konev, D. Walther, and F. Wolter, The logical difference problem for description logic terminologies, Proceedings of IJCAR'08, pp.259-274, 2008.

B. Konev, D. Walther, and F. Wolter, The logical difference problem for description logic terminologies, Proceedings of IJCAR'08, pp.259-274, 2008.

R. Kontchakov, F. Wolter, and M. Zakharyaschev, Logic-based ontology comparison and module extraction, with an application to DL-Lite, Artificial Intelligence, vol.174, issue.15, pp.1093-1141, 2010.

K. Lehmann and A. Turhan, A framework for semantic-based similarity measures for ELH-concepts, Proceedings of JELIA'12: the 13th European Conference Logics in Artificial Intelligence, vol.7519, pp.307-319, 2012.

M. Ludwig and D. Walther, The logical difference for ELHr-terminologies using hypergraphs, Proceedings of ECAI'14: the 21st European Conference on Artificial Intelligence, pp.555-560, 2014.

A. A. Romero, M. Kaminski, B. C. Grau, and I. Horrocks, Module extraction in expressive ontology languages via datalog reasoning, Journal of Artificial Intelligence Research, vol.55, pp.499-564, 2016.

U. Sattler, T. Schneider, and M. Zakharyaschev, Which kind of module should I extract?, Proceedings of DL'09. CEUR Workshop Proceedings, vol.477, 2009.

Z. Zhou, G. Qi, and B. Suntisrivaraporn, A new method of finding all justifications in OWL 2 EL, Proceedings of WI'13: IEEE/WIC/ACM International Conferences on Web Intelligence, pp.213-220, 2013.