On a more promising note, I've been having a look around the department's website, looking for potential supervisors. Since the idea of the semantic web was suggested to me, I've been doing a bit more digging into it, and it sounds like an interesting area. There may not be any specific projects offered regarding that, but we do have the option of suggesting our own project title (if we can find someone to supervise it). I've found two people who are possibilities. Steve Barker supervised a BSc project in this area last year. He also taught me on the DSI module, where I got 100% in the exam, so that may give me a good track record where he's concerned. And Michael Zakharyaschev includes knowledge representation in his research interests, so that bodes well.
I haven't spoken to either of them yet - I think I need to do some more reading first, since if I'm proposing my own project then the onus is going to be on me to come up with something interesting, or at the very least to be able to discuss the subject intelligently with them. I've just finished "Weaving the Web", and I'm about to start on "Spinning the Semantic Web". I also have a copy of "The essence of computing projects - a student's guide" pending after that. (I had a productive afternoon going round bookshops last weekend.)
So, hopefully this will all turn out ok.