Seol mar théacs é seo: Combining Answer Set Programming with Description Logics for the Semantic Web