searchPatter (restricted to the conclusion).
let rigth_only = Some (List.map torigth_restriction only) in
let result =
MQueryInterpreter.execute mqi_handle
let rigth_only = Some (List.map torigth_restriction only) in
let result =
MQueryInterpreter.execute mqi_handle
- (MQueryGenerator.query_of_constraints None
- (rigth_must,[],[]) (rigth_only,None,None)) in
+ (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
let uris =
List.map
(function uri,_ ->
let uris =
List.map
(function uri,_ ->