Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty