Z.: Acyclicity conditions and their application to query answering in description logics (0)

by Cuenca Grau, B Horrocks, I Krötzsch, M Kupke, C Magka, D Motik, B Wang
Venue:In: KR (2012