var rdflyURL = "http://mowgli.cs.unibo.it:58086/";
var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
url = setParam(url,"param.embedkeys", getEmbedKeys());
var rdflyURL = "http://mowgli.cs.unibo.it:58086/";
var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
url = setParam(url,"param.embedkeys", getEmbedKeys());