Katarina Britz Johannes Heidema Thomas Andreas Meyer Semantic Preferential Subsumption. 476-484 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#BritzHM08