Source file rdfs.ml

(*********************************************************************************)
(*                OCaml-RDF                                                      *)
(*                                                                               *)
(*    Copyright (C) 2012-2024 Institut National de Recherche en Informatique     *)
(*    et en Automatique. All rights reserved.                                    *)
(*                                                                               *)
(*    This program is free software; you can redistribute it and/or modify       *)
(*    it under the terms of the GNU Lesser General Public License version        *)
(*    3 as published by the Free Software Foundation.                            *)
(*                                                                               *)
(*    This program is distributed in the hope that it will be useful,            *)
(*    but WITHOUT ANY WARRANTY; without even the implied warranty of             *)
(*    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the              *)
(*    GNU General Public License for more details.                               *)
(*                                                                               *)
(*    You should have received a copy of the GNU General Public License          *)
(*    along with this program; if not, write to the Free Software                *)
(*    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA                   *)
(*    02111-1307  USA                                                            *)
(*                                                                               *)
(*    Contact: Maxence.Guesdon@inria.fr                                          *)
(*                                                                               *)
(*********************************************************************************)

let rdfs_str = "http://www.w3.org/2000/01/rdf-schema#";;
let rdfs = Iri.of_string rdfs_str ;;
let rdfs_ s = Iri.of_string (rdfs_str ^ s);;

let c_Class = rdfs_ "Class" ;;
let comment = rdfs_ "comment" ;;
let c_Container = rdfs_ "Container" ;;
let c_ContainerMembershipProperty = rdfs_ "ContainerMembershipProperty" ;;
let c_Datatype = rdfs_ "Datatype" ;;
let domain = rdfs_ "domain" ;;
let isDefinedBy = rdfs_ "isDefinedBy" ;;
let label = rdfs_ "label" ;;
let c_Literal = rdfs_ "Literal" ;;
let member = rdfs_ "member" ;;
let range = rdfs_ "range" ;;
let c_Resource = rdfs_ "Resource" ;;
let seeAlso = rdfs_ "seeAlso" ;;
let subClassOf = rdfs_ "subClassOf" ;;
let subPropertyOf = rdfs_ "subPropertyOf" ;;

module Open = struct
  let rdfs_c_Class = c_Class
  let rdfs_comment = comment
  let rdfs_c_Container = c_Container
  let rdfs_c_ContainerMembershipProperty = c_ContainerMembershipProperty
  let rdfs_c_Datatype = c_Datatype
  let rdfs_domain = domain
  let rdfs_isDefinedBy = isDefinedBy
  let rdfs_label = label
  let rdfs_c_Literal = c_Literal
  let rdfs_member = member
  let rdfs_range = range
  let rdfs_c_Resource = c_Resource
  let rdfs_seeAlso = seeAlso
  let rdfs_subClassOf = subClassOf
  let rdfs_subPropertyOf = subPropertyOf
end

let add_label g iri ?lang s =
  let obj = Term.term_of_literal_string ?lang s in
  g.Graph.add_triple
    ~sub: (Term.Iri iri)
    ~pred: label
    ~obj
;;

let add_comment g iri ?lang s =
let obj = Term.term_of_literal_string ?lang s in
  g.Graph.add_triple
    ~sub: (Term.Iri iri)
    ~pred: comment
    ~obj
;;

let add_domain g iri dom =
  g.Graph.add_triple
    ~sub: (Term.Iri iri)
    ~pred: domain
    ~obj: (Term.Iri dom)
;;

let add_range g iri dom =
  g.Graph.add_triple
    ~sub: (Term.Iri iri)
    ~pred: range
    ~obj: (Term.Iri dom)
;;

let add_more g iri (pred, obj) =
  g.Graph.add_triple ~sub: (Term.Iri iri) ~pred ~obj
;;

let mk_property g ~label ?(label_lang=[]) ?comment ?(comment_lang=[])
  ?(domains=[]) ?(ranges=[]) ?subof ?(more=[]) iri =
  g.Graph.add_triple ~sub: (Term.Iri iri)
    ~pred: Rdf_.type_ ~obj: (Term.Iri Rdf_.c_Property);
  add_label g iri label ;
  List.iter (fun (s, lang) -> add_label g iri ~lang s) label_lang;
  (match comment with None -> () | Some s -> add_comment g iri s);
  List.iter (fun (s, lang) -> add_comment g iri ~lang s) comment_lang;
  List.iter (add_domain g iri) domains ;
  List.iter (add_range g iri) ranges ;
  (match subof with
    None -> ()
  | Some cl ->
       g.Graph.add_triple ~sub: (Term.Iri iri)
         ~pred: subPropertyOf ~obj: (Term.Iri cl)
  );
  List.iter (add_more g iri) more
;;

let mk_class g ~label ?(label_lang=[]) ?comment ?(comment_lang=[])
   ?subof ?(more=[]) iri =
  g.Graph.add_triple ~sub: (Term.Iri iri)
    ~pred: Rdf_.type_ ~obj: (Term.Iri c_Class);
  add_label g iri label ;
  List.iter (fun (s, lang) -> add_label g iri ~lang s) label_lang;
  (match comment with None -> () | Some s -> add_comment g iri s);
  List.iter (fun (s, lang) -> add_comment g iri ~lang s) comment_lang;
  (match subof with
    None -> ()
  | Some cl ->
       g.Graph.add_triple ~sub: (Term.Iri iri)
         ~pred: subClassOf ~obj: (Term.Iri cl)
  );
  List.iter (add_more g iri) more
;;

let add_namespaces g =
  g.Graph.add_namespace Rdf_.rdf "rdf" ;
  g.Graph.add_namespace rdfs "rdfs"
;;