Rdfs (p.rdf.1.1.0.doc.rdf.Rdf.Rdfs)

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.

Source

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

Source

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