Văn bản này: A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web