Revisiting Grounded Circumscription in Description Logics - Delivorias, Stathis; Rudolph, Sebastian (Lecture notes in computer science, 2016)
Keywords: Description Logics (DLs); Ground Model; Individual Allocation; Information retrieval; Instance Checking; Role Assertions