M.: A decidable extension of SROIQ with complex role chains and unions (2013)

by N Mosurovic, H Krdzavac, M Graves, Zakharyaschev
Venue:Journal of Artificial Intelligence Research