Q1: This is true in the topological category and unknown in the smooth setting. In the topological setting, the fundamental group of $S^4 - K_1 \# K_2$ is $G_1 *_\mathbb{Z} G_2$ where $G_i$ are the fundamental groups of $S^4 -K_i$. If this is $\mathbb{Z}$ then I think the $G_i$ are both $\mathbb{Z}$. By the arguments in your earlier [question][1] this means that both $K_i$ are unknotted. Q2: It is also true in the topological category and unknown in the smooth category that the complement being a homotopy circle implies that the knot in question has an inverse. The argument in the topological case is that the knot is trivial (since the group is $\mathbb{Z}$ as noted previously.) [1]: https://mathoverflow.net/questions/395745/unknotted-sn-2-in-sn