Ian Horrocks Oliver Kutz Ulrike Sattler The Even More Irresistible SROIQ. 57-67 2006 conf/kr/2006 KR db/conf/kr/kr2006.html#HorrocksKS06