Deciding inseparability and conservative extensions in the description logic EL (2010)

by C Lutz, F Wolter
Venue:Journal of Symbolic Computation