TY - RPRT TI - GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ AU - Arjun Bhardwaj AU - Sangeetha PY - 2017 UR - https://arxiv.org/abs/1411.0406 ID - 1411.0406 ER -