stog_rdf 1.0.0 (latest) · OCaml Package

RDF Plugin. Handle <rdf*> nodes to create and RDF graphs.

module XR = Xtmpl.Rewrite

module X = Xtmpl.Xml

val module_name : string

val rc_file : Stog.Types.stog -> string

val keep_pcdata : XR.tree list -> string

module IMap = Iri.Map

type rdf_data = {

out_file : string;
graph_by_doc : Rdf.Graph.graph Stog.Path.Map.t;
namespaces : (Iri.t * string) list option;
loaded_graphs : Rdf.Graph.graph IMap.t;
graph : (Rdf.Graph.graph * Rdf.Xml.global_state) option;
dataset : Rdf.Ds.dataset option;
final_graph : Rdf.Graph.graph option;

}

val empty_data : rdf_data

type source =

| Src_file of string
| Src_iri of Iri.t
| Src_str of string

val string_of_source : source -> string

val rdf_iri : string -> Iri.t

val namespaces : rdf_data -> (Iri.t * string) list

val add_loaded_graph : rdf_data -> IMap.key -> Rdf.Graph.graph -> rdf_data

val get_loaded_graph : rdf_data -> IMap.key -> Rdf.Graph.graph

val load_graph : 
  rdf_data ->
  ?doc:Stog.Types.doc ->
  IMap.key ->
  ?data:string ->
  (string * string) list ->
  rdf_data

val rule_load_graph : 
  string ->
  Stog.Types.doc Stog.Tmap.key ->
  (Stog.Types.stog * rdf_data) ->
  'a ->
  ?loc:X.loc ->
  XR.attributes ->
  XR.tree list ->
  (Stog.Types.stog * rdf_data) * 'b list

module W = Ocf.Wrapper

val read_options : (Stog.Types.stog * rdf_data) -> Stog.Types.stog * rdf_data

val init : 
  'a ->
  (Stog.Types.stog * rdf_data) ->
  'b ->
  Stog.Types.stog * rdf_data

val fun_level_init : rdf_data Stog.Engine.level_fun

val build_ns_map : (IMap.key * string) list -> string IMap.t

val apply_namespaces : Rdf.Xml.SMap.key IMap.t -> Rdf.Xml.tree -> Rdf.Xml.tree

val set_graph : 
  rdf_data ->
  (Rdf.Graph.graph * Rdf.Xml.global_state) ->
  rdf_data

val graph : 
  (Stog.Types.stog * rdf_data) ->
  (Stog.Types.stog * rdf_data) * (Rdf.Graph.graph * Rdf.Xml.global_state)

val set_dataset : rdf_data -> Rdf.Ds.dataset -> rdf_data

val dataset : ('a * rdf_data) -> ('b * rdf_data) * Rdf.Ds.dataset

val tag_of_string : string -> string * string

val get_rdf_resource : 
  (Stog.Types.stog * 'a) ->
  (Stog.Types.stog * 'b) Stog.Plug.XR.env ->
  XR.attributes ->
  (Stog.Types.stog * 'c) * string option

val merge_cdata : XR.tree list -> XR.tree list

val atts_to_string : XR.attributes -> (X.Name_map.key * string) list

val map_to_rdf_xml_tree : XR.tree -> Rdf.Xml.tree

val map_to_xml_tree : Rdf.Xml.tree -> XR.tree

val prerr_atts : ((string * string) * string) list -> unit

val parse_prop : 
  (Stog.Types.stog * 'a) ->
  (Stog.Types.stog * 'b) Stog.Plug.XR.env ->
  Rdf.Graph.graph ->
  Iri.t ->
  XR.attributes ->
  Rdf.Xml.global_state ->
  ?loc:X.loc ->
  XR.tree list ->
  (Stog.Types.stog * 'c) * Rdf.Xml.global_state

val gather : 
  (Stog.Types.stog * 'a) ->
  (Stog.Types.stog * 'b) Stog.Plug.XR.env ->
  Rdf.Graph.graph ->
  Stog.Types.doc ->
  Rdf.Xml.global_state ->
  XR.tree list ->
  (Stog.Types.stog * 'b) * Rdf.Xml.global_state

val create_graph : 
  ?doc:Stog.Types.doc ->
  (Stog.Types.stog * rdf_data) ->
  Rdf.Graph.graph * Rdf.Xml.global_state

val add_doc_graph : rdf_data -> Stog.Types.doc -> Rdf.Graph.graph -> rdf_data

val make_graph : 
  (Stog.Types.stog * rdf_data) XR.env ->
  (Stog.Types.stog * rdf_data) ->
  Stog.Types.Doc_set.t ->
  Stog.Types.stog * rdf_data

val output_graph : 
  'a ->
  (Stog.Types.stog * rdf_data) ->
  'b ->
  Stog.Types.stog * rdf_data

val rdf_string_of_term : Rdf.Term.term -> string

val string_of_term : Rdf.Term.term -> string

type query_spec = {

query : string;
tmpl : XR.tree list;
separator : XR.tree list;
args : XR.attributes;

}

val apply_select_sol : 
  'a ->
  'b ->
  'c ->
  XR.tree list ->
  Rdf.Sparql.solution ->
  XR.tree list

val apply_select_sols : 
  'a ->
  'b ->
  'c ->
  query_spec ->
  Rdf.Sparql.solution list ->
  XR.tree list

val read_select_query_from_atts : 
  Stog.Types.stog ->
  Stog.Types.doc ->
  ?loc:Xtmpl.Xml.loc ->
  query_spec ->
  XR.tree list X.Name_map.t ->
  Stog.Types.stog * query_spec

val read_select_query_from_xmls : 
  'a ->
  'b ->
  query_spec ->
  XR.tree list ->
  'c * query_spec

val build_select_query : 
  Stog.Types.stog ->
  Stog.Types.doc ->
  'a ->
  ?loc:Xtmpl.Xml.loc ->
  XR.tree list X.Name_map.t ->
  XR.tree list ->
  Stog.Types.stog * query_spec

val exec_select : 
  (Stog.Types.stog * rdf_data) ->
  'a ->
  'b ->
  query_spec ->
  (Stog.Types.stog * rdf_data) * XR.tree list

val fun_rdf_select : 
  Stog.Types.doc Stog.Tmap.key ->
  (Stog.Types.stog * rdf_data) ->
  'a ->
  ?loc:X.loc ->
  XR.tree list X.Name_map.t ->
  XR.tree list ->
  (Stog.Types.stog * rdf_data) * XR.tree list

val rules_rdf_select : 
  'a ->
  Stog.Types.doc Stog.Tmap.key ->
  ((string * string)
   * ((Stog.Types.stog * rdf_data) ->
   'b ->
   ?loc:X.loc ->
   XR.tree list X.Name_map.t ->
   XR.tree list ->
   (Stog.Types.stog * rdf_data) * XR.tree list))
    list

val rules_rdf_load : 
  'a ->
  Stog.Types.doc Stog.Tmap.key ->
  ((string * string)
   * ((Stog.Types.stog * rdf_data) ->
   'b ->
   ?loc:X.loc ->
   XR.attributes ->
   XR.tree list ->
   (Stog.Types.stog * rdf_data) * 'c list))
    list

val level_funs : (string * rdf_data Stog.Engine.level_fun) list

val default_levels : int list Stog.Types.Str_map.t

val make_engine : 
  ?levels:(string * int list) list ->
  unit ->
  (module Stog.Engine.Module)

val f : Stog.Types.stog -> (module Stog.Engine.Module)

package stog_rdf