PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • After the card type of smart card 10 is identified, as described in reference to step 1111 in FIG. 5, CPU 200 checks the codes representing the check-in and check-out times of the data read from the smart card and compare each time with a real time provided by real time clock 600. (Step 3000).
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com