PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In most cases (and in particular in the case you are interested in) the unit group of a maximal order of a division algebra is a very complicated object and as far as I know there is no general theorem that gives a good idea of the algebraic structure of this group.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net