发送短信: Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web