Prolog Based Description Logic Reasoning.

Gergely Lukcsy, Pter Szeredi, Balzs Kdr

Browse the full ICLP paper archive.