PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The indirect way is to create a type alias and refer to that type.So if we take the example of having T[A, B, C] and fixing A to Int, B to String, that gives:({type l[C]=T[Int, String, C]})#lWhere 'l' is an alias name for the higher-kind type T[Int, String, C] with just one type parameter, C.To be honest, I find too that there is a lot of syntax that needs to be remembered in this formula.
http://www.w3.org/ns/prov#wasQuotedFrom
  • blogspot.com.au