package rdf

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rdf.RdfsSource

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

Sourceval rdfs : Iri.t

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

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

The class of classes.

Sourceval comment : Iri.t

A description of the subject resource.

Sourceval c_Container : Iri.t

The class of RDF containers.

Sourceval c_ContainerMembershipProperty : Iri.t

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

Sourceval c_Datatype : Iri.t

The class of RDF datatypes.

Sourceval domain : Iri.t

A domain of the subject property.

Sourceval isDefinedBy : Iri.t

The defininition of the subject resource.

Sourceval label : Iri.t

A human-readable name for the subject.

Sourceval c_Literal : Iri.t

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

Sourceval member : Iri.t

A member of the subject resource.

Sourceval range : Iri.t

A range of the subject property.

Sourceval c_Resource : Iri.t

The class resource, everything.

Sourceval seeAlso : Iri.t

Further information about the subject resource.

Sourceval subClassOf : Iri.t

The subject is a subclass of a class.

Sourceval subPropertyOf : Iri.t

The subject is a subproperty of a property.

Sourcemodule Open : sig ... end

Building vocabulary descriptions

Sourceval add_namespaces : Graph.graph -> unit

Add usual rdf and rdfs namespaces in the given graph.

Sourceval 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
Sourceval 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
OCaml

Innovation. Community. Security.