Skip to main content

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