Conservative extensions in expressive description logics. (2007)

by C Lutz, D Walther, F Wolter
Venue:In IJCAI