Text this: Combining answer set programming with description logics for the semantic Web