Pay−as−you−go consequence−based reasoning for the description logic SROIQ
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
Journal
Artif. Intell.
Pages
103518
Volume
298
Year
2021
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks