var rdfuri = mkBackwardRDFURI(uri);
var getterURL = getParam("param.getterURL");
var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
var rdfuri = mkBackwardRDFURI(uri);
var getterURL = getParam("param.getterURL");
var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));