發送短信: What to ask to an incomplete Semantic Web reasoner?