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

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	That is, there is a category whose objects are a choice of $L$ together with maps $\phi_X$, $\phi_Y$, ..., and whose morphisms are maps $u$ like in your diagram that make everything commute.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com