Extending SROIQ with Constraint Networks and Grounded Circumscription | Read Paper on Bytez