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

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	However, there is a natural fragment of the above language, called the constructive language, which yields a decidable logic.
http://www.w3.org/ns/prov#wasQuotedFrom	upenn.edu