Pay-as-you-go consequence-based reasoning for the description logic SROIQ

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]

Abstract

Abstract is missing.