Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. When is Query Inseparability for ALC Ontologies Decidable?. In Maurizio Lenzerini, Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
@inproceedings{BotoevaLRWZ16,
title = {When is Query Inseparability for ALC Ontologies Decidable?},
author = {Elena Botoeva and Carsten Lutz and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev},
year = {2016},
url = {http://ceur-ws.org/Vol-1577/paper_18.pdf},
researchr = {https://researchr.org/publication/BotoevaLRWZ16},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016},
editor = {Maurizio Lenzerini and Rafael Peñaloza},
volume = {1577},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}