Extending Consequence&#x2212;Based Reasoning to <span style="font-family: serif"><span style="font-family: cursive; text-transform: uppercase; font-style: italic">SHIQ</span></span>

University of Oxford Department of Computer Science

Extending Consequence−Based Reasoning to SHIQ

Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks

Institution

Department of Computer Science‚ University of Oxford

Month

6

Year

2015