Pay−as−you−go Consequence−based Reasoning for the Description Logic SROIQ
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
Journal
Artificial Intelligence Journal (AIJ)
Volume
298
Year
2021
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks