Pošljite SMS: Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning