BIM-based semantic building world modeling for robot task planning and execution in built environments | Publicación