package rdf

  1. Overview
  2. Docs

Elements of

val rdf : Iri.t

val rdf_ : string -> Iri.t
val xsd : Iri.t

val xsd_ : string -> Iri.t
val about : Iri.t
val datatype : Iri.t
val description : Iri.t
val id : Iri.t
val li : Iri.t
val nodeID : Iri.t
val _RDF : Iri.t
val parseType : Iri.t
val resource : Iri.t
val json : Iri.t
val c_Alt : Iri.t

The class of containers of alternatives.

val c_Bag : Iri.t

The class of unordered containers.

val first : Iri.t

The first item in the subject RDF list.

val dt_HTML : Iri.t

The datatype of RDF literals storing fragments of HTML content

val dt_langString : Iri.t

The datatype of language-tagged string values

val c_List : Iri.t

The class of RDF Lists.

val object_ : Iri.t

The object of the subject RDF statement.

val dt_PlainLiteral : Iri.t

The class of plain (i.e. untyped) literal values, as used in RIF and OWL 2

val predicate : Iri.t

The predicate of the subject RDF statement.

val c_Property : Iri.t

The class of RDF properties.

val rest : Iri.t

The rest of the subject RDF list after the first item.

val c_Seq : Iri.t

The class of ordered containers.

val c_Statement : Iri.t

The class of RDF statements.

val subject : Iri.t

The subject of the subject RDF statement.

val type_ : Iri.t

The subject is an instance of a class.

val value : Iri.t

Idiomatic property used for structured values.

val dt_XMLLiteral : Iri.t

The datatype of XML literal values.

val n : int -> Iri.t
val nil : Iri.t

XML Schema datatypes

val xsd_integer : Iri.t
val xsd_int : Iri.t
val xsd_byte : Iri.t
val xsd_long : Iri.t
val xsd_negativeInteger : Iri.t
val xsd_nonNegativeInteger : Iri.t
val xsd_nonPositiveInteger : Iri.t
val xsd_positiveInteger : Iri.t
val xsd_short : Iri.t
val xsd_unsignedLong : Iri.t
val xsd_unsignedInt : Iri.t
val xsd_unsignedShort : Iri.t
val xsd_unsignedByte : Iri.t
val xsd_double : Iri.t
val xsd_decimal : Iri.t
val xsd_boolean : Iri.t
val xsd_string : Iri.t
val xsd_datetime : Iri.t
val xsd_hexBinary : Iri.t
val integer_types : Iri.Set.t
module Open : sig ... end

Innovation. Community. Security.