Franz Baader Anni-Yasmin Turhan TBoxes do not Yield a Compact Representation of Least Common Subsumers. 2001 conf/dlog/2001 Description Logics https://ceur-ws.org/Vol-49/BaaderTurhan-46start.ps db/conf/dlog/dlog2001.html#BaaderT01