Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.

Franz Baader

Browse the full ICCS paper archive.