Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web