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

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	As others point out there is an ideal generated by the image of your original ideal under the inclusion, and this is the proper notion of the extension of your original ideal.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com