Conjunctive query answering in the description logic SH using knots

Thomas Eiter, Magdalena Ortiz, Mantas Simkus. Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci., 78(1):47-85, 2012. [doi]

Abstract

Abstract is missing.