Deciding inseparability and conservative extensions in the description logic EL

Carsten Lutz, Frank Wolter. Deciding inseparability and conservative extensions in the description logic EL. Journal of Symbolic Computation, 45(2):194-228, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: