Prolog Based Description Logic Reasoning. - Gergely Lukácsy; Péter Szeredi; Balázs Kádár (ICLP, 2008)