#!/usr/bin/php
@inproceedings{IJCAI-2016-alc-insep, title = {Query-Based Entailment and Inseparability for ALC Ontologies}, year = {2016}, author = {Elena Botoeva and Carsten Lutz and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev}, publisher = {AAAI Press}, pages = {1001-1007}, booktitle = {Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI 2016)}, webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/blrwz-IJCAI-16.pdf}, prespdf = {https://www.doc.ic.ac.uk/~ebotoeva/presentations/blrwz-IJCAI-16-presentation.pdf}, posterpdf = {https://www.doc.ic.ac.uk/~ebotoeva/presentations/blrwz-IJCAI-16-poster.pdf} }