×

Found 2 Documents (Results 1–2)

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
Full Text: DOI arXiv

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software