GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ

Open in new window