DMCA

Extending Consequence-Based Reasoning to SHIQ

by Andrew Bate , Boris Motik , Bernardo Cuenca Grau , Ian Horrocks, et al.