Interpolants and Explicit Definitions in Extensions of the Description Logic EL.

Marie Fortin, Boris Konev, Frank Wolter

Browse the full KR paper archive.