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]

Authors

David Tena Cucala

This author has not been identified. Look up 'David Tena Cucala' in Google

Bernardo Cuenca Grau

This author has not been identified. Look up 'Bernardo Cuenca Grau' in Google

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google