Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks. Extending Consequence-Based Reasoning to SRIQ. In Chitta Baral, James P. Delgrande, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. pages 187-196, AAAI Press, 2016. [doi]
@inproceedings{BateMGSH16,
title = {Extending Consequence-Based Reasoning to SRIQ},
author = {Andrew Bate and Boris Motik and Bernardo Cuenca Grau and Frantisek Simancik and Ian Horrocks},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12882},
researchr = {https://researchr.org/publication/BateMGSH16},
cites = {0},
citedby = {0},
pages = {187-196},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016},
editor = {Chitta Baral and James P. Delgrande and Frank Wolter},
publisher = {AAAI Press},
isbn = {978-1-57735-755-1},
}