GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ | Read Paper on Bytez