exception Invalid_URL of string
exception Invalid_RDF_class of string
exception Internal_error of string
+exception Cache_failure of string
+exception Dtd_not_found of string (* dtd's url *)
type encoding = Enc_normal | Enc_gzipped
type answer_format = Fmt_text | Fmt_xml