[Nepomuk] Some issues on current master

[Marco Martin]

Hi all,

I have found some problems with the current master status of the combination 
nepomuk-core/kdelibs/kde-runtime (briefly talked about on irc but just to want 
give an historic record here)

now most queries seem to hold no results, the problem seems to be in the 
recent inference work, since the branch was merged in nepomuk-core, but the 
correspondent kdelibs branch wasn't.

if i use the kdelibs nepomuk/virtuosoInference branch however (thus generating  
with the c++ api what is supposed to be the right sparql) i get this:

generated sparql on uservisible:
. FILTER EXISTS { ?r a [ 
<http://www.semanticdesktop.org/ontologies/2007/08/15/nao#userVisible> 
"true"^^<http://www.w3.org/2001/XMLSchema#boolean> ] . }

parse error:
(iODBC Error: [OpenLink][Virtuoso iODBC Driver][Virtuoso Server]SQ074: Line 1: 
SP030: SPARQL compiler, line 1: syntax error at 'EXISTS' before '{')

does it require a particular virtuoso version?

this is at the moment quite a blocker for 4.9

Cheers,
Marco Martin