Up a level |
Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2018)
Inseparability and Conservative Extensions of Description Logic
Ontologies: A Survey.
.
Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael
(2018)
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
CoRR, abs/18.
pp. 27-89.
Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, F and Zakharyaschev, Michael
(2019)
Query Inseparability for ALC Ontologies.
Artificial Intelligence, 272.
pp. 1-51.