Pay-as-you-go consequence-based reasoning for the description logic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="script">SROIQ</mml:mi></mml:math>
Artificial intelligence