Franz Baader Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. 117-130 https://doi.org/10.1007/978-3-540-45091-7_8 2003 conf/iccs/2003 ICCS db/conf/iccs/iccs2003.html#Baader03