Efficient description logic reasoning in Prolog: The DLog system

Gergely Lukácsy, Péter Szeredi. Efficient description logic reasoning in Prolog: The DLog system. TPLP, 9(3):343-414, 2009. [doi]

Abstract

Abstract is missing.