PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • However from definition of soundness from Wikipedia (http://en.wikipedia.org/wiki/Soundness) I understand that soundness is a property of my model and independent from reasoning algorithm that I apply to it.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackoverflow.com