rdf

OCaml library to manipulate RDF graphs; implements SPARQL
IN THIS PACKAGE
Module Rdf . Sparql_eval
module N = Term
type error =
| Unbound_variable of Sparql_types.var
| Not_a_integer of Term.literal
| Not_a_double_or_decimal of Term.literal
| Type_mismatch of Dt.value * Dt.value
| Invalid_fun_argument of Iri.t
| Unknown_fun of Iri.t
| Invalid_built_in_fun_argument of string * Sparql_types.expression list
| Unknown_built_in_fun of string
| No_term
| Cannot_compare_for_datatype of Iri.t
| Unhandled_regex_flag of char
| Incompatible_string_literals of Dt.value * Dt.value
| Empty_set of string
| Missing_values_in_inline_data of Sparql_types.inline_data_full
| Missing_implementation of string
exception Error of error
val error : error -> 'a
val string_of_error : error -> string
module Irimap = Iri.Map
module Iriset = Iri.Set
type context = {
base : Iri.t;
named : Iriset.t;
dataset : Ds.dataset;
active : Graph.graph;
now : Term.datetime;
}
val context : base:Iri.t -> ?from:Iri.t list -> ?from_named:Iriset.t -> Ds.dataset -> context
module GExprOrdered : sig ... end
module GExprMap : sig ... end
val ebv : Dt.value -> bool
val compare : ?sameterm:bool -> Dt.value -> Dt.value -> int
val sortby_compare : Dt.value -> Dt.value -> int
val xsd_datetime : Iri.t
val fun_datetime : Dt.value list -> Dt.value
val iri_funs_ : (Iri.t * ( Dt.value list -> Dt.value )) list
val add_iri_fun : Irimap.key -> ( Sparql_ms.VMap.key list -> Sparql_ms.VMap.key ) -> unit
val bi_bnode : string -> ( 'a -> Sparql_ms.mu -> Sparql_types.expression -> Sparql_ms.VMap.key ) -> 'a -> Sparql_ms.mu -> Sparql_types.expression list -> Dt.value
val bi_coalesce : 'a -> ( 'b -> 'c -> 'd -> Dt.value ) -> 'b -> 'c -> 'd list -> Dt.value
val bi_datatype : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_if : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_iri : string -> ( context -> 'a -> Sparql_types.expression -> Dt.value ) -> context -> 'a -> Sparql_types.expression list -> Dt.value
val bi_uri : string -> ( context -> 'a -> Sparql_types.expression -> Dt.value ) -> context -> 'a -> Sparql_types.expression list -> Dt.value
val bi_isblank : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_isiri : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_isliteral : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_lang : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_isnumeric : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val regex_flag_of_char : char -> [> `CASELESS | `DOTALL | `MULTILINE ]
val bi_regex : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_sameterm : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_str : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strdt : string -> ( context -> 'a -> Sparql_types.expression -> Dt.value ) -> context -> 'a -> Sparql_types.expression list -> Dt.value
val bi_strlang : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val string_lit_compatible : ('a * 'b option) -> ('c * 'b option) -> bool
val bi_strlen : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_substr : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strends : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strstarts : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_contains : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strbefore : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strafter : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_struuid : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
val bi_uuid : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
val bi_encode_for_uri : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_concat : 'a -> ( 'b -> 'c -> 'd -> Dt.value ) -> 'b -> 'c -> 'd list -> Dt.value
val bi_langmatches : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_replace : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_numeric : ( Dt.value -> Dt.value ) -> string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_num_abs : Dt.value -> Dt.value
val bi_num_round : Dt.value -> Dt.value
val bi_num_ceil : Dt.value -> Dt.value
val bi_num_floor : Dt.value -> Dt.value
val bi_rand : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
val bi_now : string -> 'a -> context -> 'b -> Sparql_types.expression list -> Dt.value
val bi_on_date : ( Term.datetime -> Dt.value ) -> string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_date_year : Term.datetime -> Dt.value
val bi_date_month : Term.datetime -> Dt.value
val bi_date_day : Term.datetime -> Dt.value
val bi_date_hours : Term.datetime -> Dt.value
val bi_date_minutes : Term.datetime -> Dt.value
val bi_date_seconds : Term.datetime -> Dt.value
val bi_hash : ( string -> Dt.value ) -> string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_md5 : string -> Dt.value
val bi_sha1 : string -> Dt.value
val bi_sha256 : string -> Dt.value
val bi_lcase : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_ucase : string -> ( 'a -> 'b -> Sparql_types.expression -> Dt.value ) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val eval_iri : Sparql_types.iri -> Dt.value
val eval_numeric2 : ( int -> int -> int ) -> ( float -> float -> float ) -> (Dt.value * Dt.value) -> Dt.value
val eval_equal : (Dt.value * Dt.value) -> Dt.value
val eval_not_equal : (Dt.value * Dt.value) -> Dt.value
val eval_lt : (Dt.value * Dt.value) -> Dt.value
val eval_lte : (Dt.value * Dt.value) -> Dt.value
val eval_gt : (Dt.value * Dt.value) -> Dt.value
val eval_gte : (Dt.value * Dt.value) -> Dt.value
val eval_or : (Dt.value * Dt.value) -> Dt.value
val eval_and : (Dt.value * Dt.value) -> Dt.value
val ebv_lit : Dt.value -> Term.literal
val eval_filter : context -> Sparql_ms.MuSet.elt -> Sparql_types.constraint_ -> bool
val sort_solutions : 'a -> ( 'a -> 'b -> 'c -> int ) list -> 'b -> 'c -> int
val project_sequence : Sparql_algebra.VS.t -> Sparql_ms.mu list -> Sparql_ms.mu list
val distinct : Sparql_ms.MuSet.elt list -> Sparql_ms.MuSet.elt list
val slice : 'a list -> int option -> int option -> 'a list
val agg_count : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression option -> Dt.value
val agg_fold : ( 'a -> Sparql_ms.VMap.key -> 'a ) -> 'a -> context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> 'a
val agg_sample : 'a -> 'b -> 'c -> 'd -> 'e
val agg_group_concat : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> string option -> Dt.value
val aggregate_join : ( context -> 'a -> Sparql_ms.Multimu.t ) -> context -> (Sparql_types.group_condition list * 'a) -> Sparql_algebra.algebra list -> Sparql_ms.Multimu.t
val cons : 'a -> 'a list -> 'a list
val __print_mu : Sparql_ms.mu -> unit
val __print_omega : Sparql_ms.Multimu.t -> unit