Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
A Knowledge Compilation Map