Computing the least common subsumer w.r.t. a background terminology

Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
2007 Journal of Applied Logic  
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive DLs whereas existing knowledge bases are written in very expressive DLs. In order to allow the user to re-use concepts defined in such terminologies and still support the definition of new concepts by computing the lcs, we extend the notion of the lcs of concept descriptions to the notion of the lcs w.r.t. a background terminology.
doi:10.1016/j.jal.2006.03.002 fatcat:m7unmigbe5b2bkwmvljpmem5s4