When I installed Fedora 17ßrc, I noticed that strigi is not installed by default. nepomuk appears to be working properly (given that I don't use it for anything I am aware of). Can I continue without strigi? Since I already have virtuoso, what would strigi give me?