1 paper
Gergely Lukácsy, Péter Szeredi
This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog…