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]
@article{KonevL0W12,
title = {The Logical Difference for the Lightweight Description Logic EL},
author = {Boris Konev and Michel Ludwig and Dirk Walther 0002 and Frank Wolter},
year = {2012},
doi = {10.1613/jair.3552},
url = {http://dx.doi.org/10.1613/jair.3552},
researchr = {https://researchr.org/publication/KonevL0W12},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {44},
pages = {633-708},
}