TY - RPRT TI - Large-Scale Reasoning with OWL AU - Michael Ruster PY - 2016 UR - https://arxiv.org/abs/1602.04473 ID - 1602.04473 ER -