PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Further, there is a need for an automated system and a method for checking exceptions or violations, in particular timing exceptions, in a logic circuit that is fast, reliable and applicable to complex logic circuits.
http://www.w3.org/ns/prov#wasQuotedFrom
  • freepatentsonline.com