Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments