Towards typed higher-order description logics. In: (2013)

by M Homola, J Kl’uka, V Svátek, M Vacura
Venue:DL