%0 Conference Paper %1 conf/ijcai/BotoevaLRWZ16 %A Botoeva, Elena %A Lutz, Carsten %A Ryzhikov, Vladislav %A Wolter, Frank %A Zakharyaschev, Michael %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K %P 1001-1007 %T Query-Based Entailment and Inseparability for ALC Ontologies. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BotoevaLRWZ16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/BotoevaLRWZ16, added-at = {2023-12-13T07:18:19.000+0100}, author = {Botoeva, Elena and Lutz, Carsten and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/252222982c19a8ef7b205739c9e70d0ad/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/146}, interhash = {b76788c33e4ce5fdb6dfe8f4240074c4}, intrahash = {52222982c19a8ef7b205739c9e70d0ad}, isbn = {978-1-57735-771-1}, keywords = {}, pages = {1001-1007}, publisher = {IJCAI/AAAI Press}, timestamp = {2023-12-13T07:18:19.000+0100}, title = {Query-Based Entailment and Inseparability for ALC Ontologies.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BotoevaLRWZ16}, year = 2016 }