draft v0.1

CheezML for CubeLang

Programs by hash and VM runs with their outcome (return, error or ask).

Ontology IRI: https://w3id.org/cheezml/cubelang
Namespace: https://w3id.org/cheezml/cubelang# (prefix cube:)
This version: https://w3id.org/cheezml/cubelang/v0.1
Formats: ttl · jsonld · rdf
Licence: CC BY 4.0

Classes

cube:Program class

A CubeLang program, by hash.

IRI: https://w3id.org/cheezml/cubelang#Program
Subclass of: cheez:Artifact, prov:Plan

cube:ProgramRun class

One VM execution; outcome cube:Return, cube:Error or cube:Ask (suspended, resumed by re-execution over run-proto).

IRI: https://w3id.org/cheezml/cubelang#ProgramRun
Subclass of: prov:Activity

cube:VM class

The CubeLang VM: the only agent whose runs can produce a certificate.

IRI: https://w3id.org/cheezml/cubelang#VM
Subclass of: prov:SoftwareAgent

Code lists

cube:RunOutcomes code list

VM execution outcomes

IRI: https://w3id.org/cheezml/cubelang#RunOutcomes

Codes

cube:Ask code

ASK (suspended; resumed by re-execution over run-proto)

IRI: https://w3id.org/cheezml/cubelang#Ask
In scheme: cube:RunOutcomes

cube:Error code

error

IRI: https://w3id.org/cheezml/cubelang#Error
In scheme: cube:RunOutcomes

cube:Return code

return

IRI: https://w3id.org/cheezml/cubelang#Return
In scheme: cube:RunOutcomes