Vol-476⫷ Vol-477 ⫸Vol-478
urn:nbn:de:0074-477-0


Vol-477/paper-18⫷Vol-477/paper-19⫸Vol-477/paper-20

Forgetting and uniform interpolation in extensions of the description logic EL