Combining answer set programming with description logics for the Semantic Web
The Semantic Web" in Scientific American