Open World Planning in the Situation Calculus