Franz Baader Baris Sertkaya Anni-Yasmin Turhan Computing the Least Common Subsumer w.r.t. a Background Terminology. 2004 conf/dlog/2004 Description Logics http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/02Baader-final.pdf db/conf/dlog/dlog2004.html#BaaderST04