About Web is a LOD

About: http://webisa.webdatacommons.org/50619013

PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The key part of the implementation is the Equality GADT and checking if two DSL types are the same, and if so, computing the proof (the witness).
http://www.w3.org/ns/prov#wasQuotedFrom
  • okmij.org