David Carral MartÃnez, Cong Wang, Pascal Hitzler. Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. In Wolfgang Faber, Domenico Lembo, editors, Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Volume 7994 of Lecture Notes in Computer Science, pages 65-79, Springer, 2013. [doi]
Abstract is missing.