Consequence-based reasoning for SRIQ ontologies (University of Oxford, 2016)

(untitled) - Bate, A