PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In general we say that a functor creates a limit for a functor if for every limiting cone in there exists a unique cone in with and , and further this cone is a limiting cone.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com