Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael Inseparability and conservative extensions of description logic ontologies: a survey. (English) Zbl 1358.68282 Pan, Jeff Z. (ed.) et al., Reasoning web. Logical foundation of knowledge graph construction and query answering. 12th international summer school 2016, Aberdeen, UK, September 5–9, 2016. Tutorial lectures. Cham: Springer (ISBN 978-3-319-49492-0/pbk; 978-3-319-49493-7/ebook). Lecture Notes in Computer Science 9885, 27-89 (2017). MSC: 68T30 68T27 68-02 PDFBibTeX XMLCite \textit{E. Botoeva} et al., Lect. Notes Comput. Sci. 9885, 27--89 (2017; Zbl 1358.68282) Full Text: DOI arXiv
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank Decidability of circumscribed description logics revisited. (English) Zbl 1432.68428 Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 112-124 (2015). MSC: 68T27 03B25 68T30 PDFBibTeX XMLCite \textit{P. Bonatti} et al., Lect. Notes Comput. Sci. 9060, 112--124 (2015; Zbl 1432.68428) Full Text: DOI