X.xml_nempty "rdf:RDF"
["xml:lang","en" ;
"xmlns:rdf","http://www.w3.org/1999/02/22-rdf-syntax-ns#";
- "xmlns:h","http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
+ "xmlns:h","http://www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
(try
Stream.empty content ; (* raise Stream.failure if not empty *)
let get_obj uri =
let cicfilename = Getter.getxml uri in
- let res =
- match CicParser.term_of_xml cicfilename uri false with
- (annobj, None) ->
- Deannotate.deannotate_obj annobj
- | _ -> assert false
- in
+ let res = CicParser.obj_of_xml cicfilename uri in
Unix.unlink cicfilename ;
res
;;