Thanks, Simon!
The console log didn't seem to show anything. I checked the system log, and between 13:07:14 and 13:38:07 nothing was printed to the log, of which 13:38:07 being the point of the restart, since the log then starts to list the boot process. Nothing prior to 13:07:14 lists anything that I can see is of any concern.
I've just checked the S.M.A.R.T status of the drive using Onyx, and it seems the volume needs repairing. I guess it was the drive volume.
It seems a bit odd, though! What would cause the drive volume to need repairing?
Thanks,
onlyone-jc.