PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Your question is a little imprecise but I will take it to be the assertion that a smooth action of $S^1$ on $D^n$, i.e. a smooth homomorphism $S^1 o Diff(D^n)$ is conjugate via a diffeomorphism of $D^n$ to a homomorphism $S^1 o SO_n$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com