Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

20 April 2018

Papers citing "Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey"

4 / 4 papers shown

Title
Abductive forgetting P. Liberatore KELM 22 0 0 26 Sep 2022
Conservative Extensions for Existential Rules J. C. Jung C. Lutz J. Marcinkowski 20 1 0 11 Feb 2022
Conservative Extensions in Horn Description Logics with Inverse Roles J. C. Jung C. Lutz M. Martel Thomas Schneider 24 9 0 19 Nov 2020
Query Inseparability for ALC Ontologies E. Botoeva C. Lutz Vladislav Ryzhikov F. Wolter Michael Zakharyaschev 25 14 0 31 Jan 2019