Combining answer set programming with description logics for the Semantic Web
Complexity and Expressive Power of Logic Programming