PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In fact, using undefined variables in negative calls is an important feature (they indicate 'running variables' of the NAC), but these undefined variables cannot be used as parameters of the pattern with INC, and only as input with LS. Example:
http://www.w3.org/ns/prov#wasQuotedFrom
  • eclipse.org