Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
Combining answer set programming with description logics for the Semantic Web