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

by Carsten Lutz , Frank Wolter
Citations:34 - 15 self