PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I am now done learning RLS. I learned all of the cases except for when all the edges are unoriented (I am not really sure those are worth it, sledgehammer + OLL is fine for me).
http://www.w3.org/ns/prov#wasQuotedFrom
  • speedsolving.com