Complexities of Horn description logics. (2013)

by M Krotzsch, S Rudolph, P Hitzler
Venue:ACM Trans. Comp. Log.