Absorption for ABoxes with Local Universal Restrictions. - Jiewen Wu; Taras Kinash; David Toman 001; Grant E. Weddell (Description Logics, 2013)

Absorption for ABoxes and TBoxes with General Value Restrictions. - Jiewen Wu; Taras Kinash; David Toman 001; Grant E. Weddell (Australasian Conference on Artificial Intelligence, 2015)