package rdf

  1. Overview
  2. Docs
type options = (string * string) list
val get_option : ?def:string -> string -> options -> string
module type Storage = sig ... end
exception Storage_error of string * string * exn
module type Graph = sig ... end
module Make (S : Storage) : sig ... end
val add_storage : (module Storage) -> unit
type graph = {
  1. name : unit -> Rdf_uri.uri;
  2. add_triple : sub:Rdf_node.node -> pred:Rdf_node.node -> obj:Rdf_node.node -> unit;
  3. rem_triple : sub:Rdf_node.node -> pred:Rdf_node.node -> obj:Rdf_node.node -> unit;
  4. add_triple_t : (Rdf_node.node * Rdf_node.node * Rdf_node.node) -> unit;
  5. rem_triple_t : (Rdf_node.node * Rdf_node.node * Rdf_node.node) -> unit;
  6. subjects_of : pred:Rdf_node.node -> obj:Rdf_node.node -> Rdf_node.node list;
  7. predicates_of : sub:Rdf_node.node -> obj:Rdf_node.node -> Rdf_node.node list;
  8. objects_of : sub:Rdf_node.node -> pred:Rdf_node.node -> Rdf_node.node list;
  9. find : ?sub:Rdf_node.node -> ?pred:Rdf_node.node -> ?obj:Rdf_node.node -> unit -> Rdf_node.triple list;
  10. exists : ?sub:Rdf_node.node -> ?pred:Rdf_node.node -> ?obj:Rdf_node.node -> unit -> bool;
  11. exists_t : Rdf_node.triple -> bool;
  12. subjects : unit -> Rdf_node.node list;
  13. predicates : unit -> Rdf_node.node list;
  14. objects : unit -> Rdf_node.node list;
  15. transaction_start : unit -> unit;
  16. transaction_commit : unit -> unit;
  17. transaction_rollback : unit -> unit;
  18. new_blank_id : unit -> Rdf_node.blank_id;
  19. namespaces : unit -> (Rdf_uri.uri * string) list;
}
val open_graph : ?options:(string * string) list -> Rdf_uri.uri -> graph
val merge : graph -> graph -> unit