Package-based description logics