Jiewen Wu Alexander K. Hudek David Toman Grant E. Weddell Assertion Absorption in Object Queries over Knowledge Bases. 2012 KR http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4517 conf/kr/2012 db/conf/kr/kr2012.html#WuHTW12