Module Rdf.SolidSource

Elements of http://www.w3.org/ns/solid/terms#

Sourceval solid : Iri.t

http://www.w3.org/ns/solid/terms#

Sourceval solid_ : string -> Iri.t
Sourceval c_Account : Iri.t

A Solid account.

Sourceval c_Inbox : Iri.t

A resource containing notifications.

Sourceval c_Notification : Iri.t

A notification resource.

Sourceval c_Timeline : Iri.t

A resource containing time ordered items and sub-containers. Sub-containers may be desirable in file based systems to split the timeline into logical components e.g. /yyyy-mm-dd/ as used in ISO 8061.

Sourceval c_TypeIndex : Iri.t

A index of type registries for resources. Applications can register the RDF type they use and list them in the index resource.

Sourceval account : Iri.t

A solid account belonging to an Agent.

Sourceval inbox : Iri.t

Inbox resource for notifications.

Sourceval notification : Iri.t

Notification resource for an inbox.

Sourceval read : Iri.t

Indicates if a message has been read or not. This property should have a boolean datatype.

Sourceval timeline : Iri.t

Timeline for a given resource.

Sourceval typeIndex : Iri.t

Points to a TypeIndex resource.

Sourcemodule Open : sig ... end
Sourceclass from : ?sub:Term.term -> Graph.graph -> object ... end