draft v0.1

CheezML core

Records, hashes, the two clocks, thresholds with their calibration, check runs, certificates, decisions and retirement.

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

Classes

cheez:Artifact class

External payload known only by its hash: program, vector, weights, data, document, encoder table.

IRI: https://w3id.org/cheezml/core#Artifact
Subclass of: prov:Entity

cheez:Calibration class

The screen run that set one or more thresholds for one encoder, data set and deployment, on a date (prov:endedAtTime).

IRI: https://w3id.org/cheezml/core#Calibration
Subclass of: prov:Activity

cheez:Certificate class

VM-produced record that an answer follows from the facts and rules used, under the recorded checks. Not a claim of correctness, never a truth score.

IRI: https://w3id.org/cheezml/core#Certificate
Subclass of: prov:Entity

cheez:CheckRun class

One execution of a check. It exists only if the check ran. Kind via dcterms:type.

IRI: https://w3id.org/cheezml/core#CheckRun
Subclass of: prov:Activity

cheez:Decision class

The answer or the refusal.

IRI: https://w3id.org/cheezml/core#Decision
Subclass of: prov:Entity
Close match: dec:Decision

cheez:FactVersion class

One version of a stored statement, with both clocks; a correction closes it and never overwrites it.

IRI: https://w3id.org/cheezml/core#FactVersion
Subclass of: prov:Entity
Editorial note: recorded time = prov:generatedAtTime, closure = prov:invalidatedAtTime, successor prov:wasRevisionOf

cheez:Host class

The host process that writes every record.

IRI: https://w3id.org/cheezml/core#Host
Subclass of: prov:SoftwareAgent

cheez:Option class

A candidate: one proposer's program.

IRI: https://w3id.org/cheezml/core#Option
Subclass of: prov:Entity
Close match: dec:Option

cheez:Question class

The question a decision is about.

IRI: https://w3id.org/cheezml/core#Question
Subclass of: prov:Entity
Close match: dec:Question

cheez:Record class

Root node of a document the host wrote from what ran.

IRI: https://w3id.org/cheezml/core#Record
Editorial note: marker class
Editorial note: deliberately not ⊑ prov:Entity, since activities are records too

cheez:RenderedText class

A readable sentence produced by a template from a coded record: the only place prose may appear.

IRI: https://w3id.org/cheezml/core#RenderedText
Subclass of: prov:Entity
Editorial note: text in schema:text, source in prov:wasDerivedFrom

cheez:Retirement class

Retiring, rejecting or pruning something. The thing stays and is prov:invalidated by this activity. Kind via dcterms:type.

IRI: https://w3id.org/cheezml/core#Retirement
Subclass of: prov:Activity

cheez:Rule class

A rule applied by a program run, by hash.

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

cheez:Template class

A sentence template, by hash.

IRI: https://w3id.org/cheezml/core#Template
Subclass of: cheez:Artifact

cheez:Threshold class

A decision boundary with its calibration. Never a score.

IRI: https://w3id.org/cheezml/core#Threshold
Subclass of: prov:Entity
Editorial note: prov:wasGeneratedBy its cheez:Calibration
Editorial note: parameter via dcterms:type

Properties

cheez:calibrationData property

Data (corpus) the screen ran on.

IRI: https://w3id.org/cheezml/core#calibrationData
Domain: cheez:Calibration
Range: cheez:Artifact
Subproperty of: prov:used

cheez:certifies property

The answer a certificate covers.

IRI: https://w3id.org/cheezml/core#certifies
Domain: cheez:Certificate
Range: cubby:Answer

cheez:check property

A check that ran for this record.

IRI: https://w3id.org/cheezml/core#check
Domain: prov:Activity or cheez:Certificate
Range: cheez:CheckRun

cheez:chosenOption property

The option the decision took.

IRI: https://w3id.org/cheezml/core#chosenOption
Domain: cheez:Decision
Range: cheez:Option

cheez:deployment property

Deployment a calibration holds for.

IRI: https://w3id.org/cheezml/core#deployment
Domain: cheez:Calibration
Range: prov:Entity

cheez:encoder property

Exact encoder an activity used; a threshold holds only for its calibration's encoder.

IRI: https://w3id.org/cheezml/core#encoder
Domain: prov:Activity
Range: cheez:Artifact
Subproperty of: prov:used

cheez:hash property

Content hash; the bytes are never embedded.

IRI: https://w3id.org/cheezml/core#hash
Domain: cheez:Artifact
Range: xsd:string
Editorial note: minted: no standard hash property verified

cheez:hashAlgorithm property

Algorithm of cheez:hash (not given in the brief).

IRI: https://w3id.org/cheezml/core#hashAlgorithm
Domain: cheez:Artifact
Range: xsd:string

cheez:hasResult property

The decision reached on the question.

IRI: https://w3id.org/cheezml/core#hasResult
Domain: cheez:Question
Range: cheez:Decision
Close match: dec:has_result
Editorial note: direction unverified

cheez:isSatisfiedBy property

This criterion (check run) is satisfied by the option.

IRI: https://w3id.org/cheezml/core#isSatisfiedBy
Domain: cheez:CheckRun
Range: cheez:Option
Editorial note: brief's is_satisfied_by
Editorial note: absent from the published Decision Ontology, so minted with no alignment

cheez:isViolatedBy property

This criterion (check run) is violated by the option.

IRI: https://w3id.org/cheezml/core#isViolatedBy
Domain: cheez:CheckRun
Range: cheez:Option
Editorial note: brief's is_violated_by
Editorial note: same note

cheez:observedValue property

A measured score or count; never a threshold.

IRI: https://w3id.org/cheezml/core#observedValue
Domain: cheez:CheckRun
Range: xsd:decimal

cheez:option property

An option considered for the question.

IRI: https://w3id.org/cheezml/core#option
Domain: cheez:Question
Range: cheez:Option
Close match: dec:involves_choosing
Editorial note: direction unverified

cheez:outcome property

Observed, coded outcome of a check, run, review or routing decision.

IRI: https://w3id.org/cheezml/core#outcome
Domain: prov:Activity or prov:Entity
Range: skos:Concept

cheez:retirementReason property

Coded reason for a retirement.

IRI: https://w3id.org/cheezml/core#retirementReason
Domain: cheez:Retirement
Range: skos:Concept

cheez:screen property

The screen that set the threshold.

IRI: https://w3id.org/cheezml/core#screen
Domain: cheez:Calibration
Range: cheez:Artifact
Subproperty of: prov:used

cheez:template property

The template that produced the text.

IRI: https://w3id.org/cheezml/core#template
Domain: cheez:RenderedText
Range: cheez:Template

cheez:threshold property

The threshold a check compared against.

IRI: https://w3id.org/cheezml/core#threshold
Domain: cheez:CheckRun
Range: cheez:Threshold

cheez:thresholdValue property

The boundary value.

IRI: https://w3id.org/cheezml/core#thresholdValue
Domain: cheez:Threshold
Range: xsd:decimal

cheez:validTime property

Clock 1: when the statement held.

IRI: https://w3id.org/cheezml/core#validTime
Domain: cheez:FactVersion
Range: time:Interval
Editorial note: OWL-Time range

cheez:writtenBy property

The host that wrote this record.

IRI: https://w3id.org/cheezml/core#writtenBy
Domain: cheez:Record
Range: cheez:Host
Editorial note: no single PROV term covers both entities and activities

Code lists

cheez:CheckKinds code list

Check kinds

IRI: https://w3id.org/cheezml/core#CheckKinds

cheez:CheckOutcomes code list

Check outcomes

IRI: https://w3id.org/cheezml/core#CheckOutcomes

cheez:RetirementKinds code list

Retirement kinds

IRI: https://w3id.org/cheezml/core#RetirementKinds

Codes

cheez:Pruned code

pruned

IRI: https://w3id.org/cheezml/core#Pruned
In scheme: cheez:RetirementKinds

cheez:Rejected code

rejected

IRI: https://w3id.org/cheezml/core#Rejected
In scheme: cheez:RetirementKinds

cheez:Retired code

retired

IRI: https://w3id.org/cheezml/core#Retired
In scheme: cheez:RetirementKinds

cheez:Satisfied code

satisfied

IRI: https://w3id.org/cheezml/core#Satisfied
In scheme: cheez:CheckOutcomes

cheez:Violated code

violated

IRI: https://w3id.org/cheezml/core#Violated
In scheme: cheez:CheckOutcomes