Translating OWL and semantic web rules into prolog: Moving toward description logic programs.

Ken Samuel Leo Obrst Suzette Stoutenburg Karen Fox Paul Franklin Adrian Johnson Kenneth J. Laskey Deborah Nichols Steve Lopez Jason Peterson Translating OWL and semantic web rules into prolog: Moving toward description logic programs. 301-322 2008 8 TPLP 3 http://dx.doi.org/10.1017/S1471068407003249 db/journals/tplp/tplp8.html#SamuelOSFFJLNLP08