Franz Baader Baris Sertkaya Anni-Yasmin Turhan Computing the Least Common Subsumer w.r.t. a Background Terminology. 2004 conf/dlog/2004 Description Logics https://ceur-ws.org/Vol-104/02Baader-final.pdf db/conf/dlog/dlog2004.html#BaaderST04