PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Rep: when the system first powers up you are given the option of running the BIOS set up or a boot menu this is before GRUB runs I think you need to hit F10 or F12 or you can use the BIOS set up to boot from CD then rerun the BIOS set up to boot from your hard drive on the next power up be very careful with the BIOS set up you can hose your system with it do not touch any thing except your boot opt
http://www.w3.org/ns/prov#wasQuotedFrom
  • linuxquestions.org