David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artificial Intelligence, 298:103518, 2021. [doi]
@article{CucalaGH21,
title = {Pay-as-you-go consequence-based reasoning for the description logic SROIQ},
author = {David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks},
year = {2021},
doi = {10.1016/j.artint.2021.103518},
url = {https://doi.org/10.1016/j.artint.2021.103518},
researchr = {https://researchr.org/publication/CucalaGH21},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {298},
pages = {103518},
}