| http://www.w3.org/ns/prov#value | - Another possible variation is that for example when choosing Restart from the start menu, preferably the user can also choose for example to restart into another OS, so that the user does not have to sit near the computer while it restarts and wait for the boot selector to choose the other OS. In order to enable this preferably the OS automatically copies the same options that are available in the
|
