Conservative Extensions in the Lightweight Description Logic EL (2007)

by Carsten Lutz , Frank Wolter
Venue:In Proceedings of CADE’07, vol. 4603 of LNCS
Citations:29 - 12 self