package rdf

  1. Overview
  2. Docs

Parameters

module S : Storage

Signature

type g = S.g
val open_graph : ?options:(string * string) list -> Iri.t -> g
val graph_name : g -> Iri.t
val graph_size : g -> int
val add_triple : g -> sub:Term.term -> pred:Iri.t -> obj:Term.term -> unit
val rem_triple : g -> sub:Term.term -> pred:Iri.t -> obj:Term.term -> unit
val add_triple_t : g -> Term.triple -> unit
val rem_triple_t : g -> Term.triple -> unit
val subjects_of : g -> pred:Iri.t -> obj:Term.term -> Term.term list
val predicates_of : g -> sub:Term.term -> obj:Term.term -> Iri.t list
val objects_of : g -> sub:Term.term -> pred:Iri.t -> Term.term list
val find : ?sub:Term.term -> ?pred:Iri.t -> ?obj:Term.term -> g -> Term.triple list
val exists : ?sub:Term.term -> ?pred:Iri.t -> ?obj:Term.term -> g -> bool
val exists_t : Term.triple -> g -> bool
val subjects : g -> Term.term list
val predicates : g -> Iri.t list
val objects : g -> Term.term list
val folder : g -> Rdf.Term.TSet.t Iri.Map.t Rdf.Term.TMap.t option
val transaction_start : g -> unit
val transaction_commit : g -> unit
val transaction_rollback : g -> unit
val new_blank_id : g -> Term.blank_id
val namespaces : g -> (Iri.t * string) list
val add_namespace : g -> Iri.t -> string -> unit
val rem_namespace : g -> string -> unit
val set_namespaces : g -> (Iri.t * string) list -> unit
module BGP : Storage_BGP with type g = g