let rigth_only = Some (List.map torigth_restriction only) in
let result =
MQueryInterpreter.execute mqi_handle
- (MQueryGenerator.query_of_constraints
- (Some
- ["http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion" ;
- "http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion"])
- (rigth_must,[],[]) (rigth_only,None,None)) in
+ (MQueryGenerator.query_of_constraints None
+ (rigth_must,[],[]) (rigth_only,None,None)) in
let uris =
List.map
(function uri,_ ->