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
Artificial Intelligence Journal (AIJ)
Volume
298
Year
2021