let in_conclusion = "'http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion'" ;;
+let escape = Str.global_replace (Str.regexp_string "\'") "\\'";;
let hyp_const (conn:Mysql.dbd) uri =
+ let uri = escape uri in
(*query to obtain all the constants in the hypothesis of the theorem*)
let query =
"select h_occurrence from refObj where source='"^uri^