发送短信: Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning