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

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	I lack a full source file to check it myself, but I believe the oops theorem can still be derived from your axioms, in a such a manner as follows:
http://www.w3.org/ns/prov#wasQuotedFrom	homotopytypetheory.org