package rdf

  1. Overview
  2. Docs

Elements of http://www.w3.org/2000/01/rdf-schema#

val rdfs : Iri.t

http://www.w3.org/2000/01/rdf-schema#

val rdfs_ : string -> Iri.t
val c_Class : Iri.t

The class of classes.

val comment : Iri.t

A description of the subject resource.

val c_Container : Iri.t

The class of RDF containers.

val c_ContainerMembershipProperty : Iri.t

The class of container membership properties, rdf:_1, rdf:_2, ..., all of which are sub-properties of 'member'.

val c_Datatype : Iri.t

The class of RDF datatypes.

val domain : Iri.t

A domain of the subject property.

val isDefinedBy : Iri.t

The defininition of the subject resource.

val label : Iri.t

A human-readable name for the subject.

val c_Literal : Iri.t

The class of literal values, eg. textual strings and integers.

val member : Iri.t

A member of the subject resource.

val range : Iri.t

A range of the subject property.

val c_Resource : Iri.t

The class resource, everything.

val seeAlso : Iri.t

Further information about the subject resource.

val subClassOf : Iri.t

The subject is a subclass of a class.

val subPropertyOf : Iri.t

The subject is a subproperty of a property.

module Open : sig ... end

Building vocabulary descriptions

val add_namespaces : Graph.graph -> unit

Add usual rdf and rdfs namespaces in the given graph.

val mk_property : Graph.graph -> label:string -> ?label_lang:(string * string) list -> ?comment:string -> ?comment_lang:(string * string) list -> ?domains:Iri.t list -> ?ranges:Iri.t list -> ?subof:Iri.t -> ?more:(Iri.t * Term.term) list -> Iri.t -> unit
val mk_class : Graph.graph -> label:string -> ?label_lang:(string * string) list -> ?comment:string -> ?comment_lang:(string * string) list -> ?subof:Iri.t -> ?more:(Iri.t * Term.term) list -> Iri.t -> unit