TY  - RPRT
TI  - Extending Consequence-Based Reasoning to SRIQ
AU  - Andrew Bate
AU  - Boris Motik
AU  - Bernardo Cuenca Grau
AU  - František Simančík
AU  - Ian Horrocks
PY  - 2016
UR  - https://arxiv.org/abs/1602.04498
ID  - 1602.04498
ER  -