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 http://arxiv.org/abs/0711.3419 2007 CoRR abs/0711.3419 db/journals/corr/corr0711.html#abs-0711-3419 informal publication