The Logical Difference for the Lightweight Description Logic EL

Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter. The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. (JAIR), 44:633-708, 2012. [doi]

Abstract

Abstract is missing.