draft v0.1

CheezML for CubbyLLM

Conversation turns, answers and refusals with their reasons, proposers, helpers in a sandbox, and documents reviewed by a person.

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

Classes

cubby:Answer class

A delivered answer (value in prov:value); always has a certificate.

IRI: https://w3id.org/cheezml/cubby#Answer
Subclass of: cheez:Decision

cubby:DocumentRegion class

A region of a document: text as read (schema:text), reader version, document (schema:isPartOf).

IRI: https://w3id.org/cheezml/cubby#DocumentRegion
Subclass of: prov:Entity

cubby:FieldCommit class

Host commit turning an approved suggestion into a cheez:FactVersion whose source is the reviewer.

IRI: https://w3id.org/cheezml/cubby#FieldCommit
Subclass of: prov:Activity

cubby:FieldSuggestion class

A value read or derived for a document field (prov:value); a suggestion until committed.

IRI: https://w3id.org/cheezml/cubby#FieldSuggestion
Subclass of: prov:Entity

cubby:Helper class

A helper program proposed by Cubby's own proposers (order 0062).

IRI: https://w3id.org/cheezml/cubby#Helper
Subclass of: cube:Program

cubby:HelperRejection class

The host's rejection of a helper after its sandbox run; reason = the failed gate's kind.

IRI: https://w3id.org/cheezml/cubby#HelperRejection
Subclass of: cheez:Retirement

cubby:Refusal class

A refusal decision with a coded reason.

IRI: https://w3id.org/cheezml/cubby#Refusal
Subclass of: cheez:Decision

cubby:Review class

A human review of a suggestion; reviewer and role via prov:qualifiedAssociation.

IRI: https://w3id.org/cheezml/cubby#Review
Subclass of: prov:Activity

cubby:SandboxRun class

A run of a helper in a locked-down VM session; its gates are cheez:check runs.

IRI: https://w3id.org/cheezml/cubby#SandboxRun
Subclass of: cube:ProgramRun

cubby:Turn class

One conversation turn, written by the host; conversation via schema:isPartOf.

IRI: https://w3id.org/cheezml/cubby#Turn
Subclass of: prov:Entity

Properties

cubby:breakingCase property

The case that broke the helper.

IRI: https://w3id.org/cheezml/cubby#breakingCase
Domain: cubby:HelperRejection
Range: prov:Entity

cubby:conflictKind property

Kind of conflict; required exactly when the reason is cubby:Conflict.

IRI: https://w3id.org/cheezml/cubby#conflictKind
Domain: cubby:Refusal
Range: skos:Concept
Note: Values come from the code list cubby:ConflictKinds.

cubby:decision property

The answer or refusal the turn delivered.

IRI: https://w3id.org/cheezml/cubby#decision
Domain: cubby:Turn
Range: cheez:Decision

cubby:dialogueAct property

The turn's dialogue act.

IRI: https://w3id.org/cheezml/cubby#dialogueAct
Domain: cubby:Turn
Range: skos:Concept
Note: Values come from the code list cubby:DialogueActs.
Editorial note: ISO 24617-2 mapping pending (IRIs not known)

cubby:proposer property

The proposer behind an answer, refusal, option or helper.

IRI: https://w3id.org/cheezml/cubby#proposer
Domain: cubby:Answer or cubby:Refusal or cheez:Option or cubby:Helper
Range: skos:Concept
Note: Values come from the code list cubby:Proposers.

cubby:readerVersion property

Version of the reader that produced the region.

IRI: https://w3id.org/cheezml/cubby#readerVersion
Domain: cubby:DocumentRegion
Range: xsd:string

cubby:refusalReason property

Why the question was refused.

IRI: https://w3id.org/cheezml/cubby#refusalReason
Domain: cubby:Refusal
Range: skos:Concept
Note: Values come from the code list cubby:RefusalReasons.

cubby:region property

The region a suggestion or review refers to.

IRI: https://w3id.org/cheezml/cubby#region
Domain: cubby:FieldSuggestion or cubby:Review
Range: cubby:DocumentRegion

cubby:scope property

The verified answers the helper must reproduce.

IRI: https://w3id.org/cheezml/cubby#scope
Domain: cubby:Helper
Range: prov:Collection

cubby:turnIndex property

Host-assigned position in the conversation.

IRI: https://w3id.org/cheezml/cubby#turnIndex
Domain: cubby:Turn
Range: xsd:integer

Code lists

cubby:ConflictKinds code list

Kinds of conflict

IRI: https://w3id.org/cheezml/cubby#ConflictKinds

cubby:DialogueActs code list

Dialogue acts (order 0059)

IRI: https://w3id.org/cheezml/cubby#DialogueActs

cubby:Proposers code list

Proposers in use

IRI: https://w3id.org/cheezml/cubby#Proposers

cubby:RefusalReasons code list

Refusal reasons in use

IRI: https://w3id.org/cheezml/cubby#RefusalReasons

cubby:ReviewerRoles code list

Reviewer roles

IRI: https://w3id.org/cheezml/cubby#ReviewerRoles

cubby:ReviewOutcomes code list

Review outcomes

IRI: https://w3id.org/cheezml/cubby#ReviewOutcomes

Codes

cubby:Ambiguous code

ambiguous

IRI: https://w3id.org/cheezml/cubby#Ambiguous
In scheme: cubby:RefusalReasons

cubby:Approved code

approved

IRI: https://w3id.org/cheezml/cubby#Approved
In scheme: cubby:ReviewOutcomes

cubby:ArithmeticCheck code

Exact arithmetic check (0061).

IRI: https://w3id.org/cheezml/cubby#ArithmeticCheck
In scheme: cheez:CheckKinds

cubby:CertifiedAnswerAct code

certified answer

IRI: https://w3id.org/cheezml/cubby#CertifiedAnswerAct
In scheme: cubby:DialogueActs

cubby:ClarifyingQuestionAct code

clarifying question

IRI: https://w3id.org/cheezml/cubby#ClarifyingQuestionAct
In scheme: cubby:DialogueActs

cubby:Conflict code

conflict (kind in cubby:conflictKind)

IRI: https://w3id.org/cheezml/cubby#Conflict
In scheme: cubby:RefusalReasons

cubby:ConflictCheck code

No value, type, temporal, logical or recorded-against-derived conflict among the statements used (inferred from the refusal reasons).

IRI: https://w3id.org/cheezml/cubby#ConflictCheck
In scheme: cheez:CheckKinds

cubby:DatePrecisionCheck code

Dates used are fine enough for the question (inferred from 'dates too coarse').

IRI: https://w3id.org/cheezml/cubby#DatePrecisionCheck
In scheme: cheez:CheckKinds

cubby:DatesTooCoarse code

dates too coarse

IRI: https://w3id.org/cheezml/cubby#DatesTooCoarse
In scheme: cubby:RefusalReasons

cubby:DuplicateCheck code

Exact duplicate check (0061).

IRI: https://w3id.org/cheezml/cubby#DuplicateCheck
In scheme: cheez:CheckKinds

cubby:EntityGuardCheck code

A follow-up rewrite passes the entity guard (0059).

IRI: https://w3id.org/cheezml/cubby#EntityGuardCheck
In scheme: cheez:CheckKinds

cubby:EpisodicMemory code

episodic memory of certified chains

IRI: https://w3id.org/cheezml/cubby#EpisodicMemory
In scheme: cubby:Proposers

cubby:EscapeCheck code

Escape attempts observed in the sandbox; must be 0 (0062).

IRI: https://w3id.org/cheezml/cubby#EscapeCheck
In scheme: cheez:CheckKinds

cubby:EverydayTable code

everyday table

IRI: https://w3id.org/cheezml/cubby#EverydayTable
In scheme: cubby:Proposers

cubby:FactMissing code

fact missing

IRI: https://w3id.org/cheezml/cubby#FactMissing
In scheme: cubby:RefusalReasons

cubby:FirstApprover code

first approver

IRI: https://w3id.org/cheezml/cubby#FirstApprover
In scheme: cubby:ReviewerRoles

cubby:FollowUpAct code

follow-up (with its rewrite)

IRI: https://w3id.org/cheezml/cubby#FollowUpAct
In scheme: cubby:DialogueActs

cubby:FormatCheck code

Exact format check of a document field (0061).

IRI: https://w3id.org/cheezml/cubby#FormatCheck
In scheme: cheez:CheckKinds

cubby:GainCheck code

A domain change shows a gain (0058).

IRI: https://w3id.org/cheezml/cubby#GainCheck
In scheme: cheez:CheckKinds

cubby:HostGrammar code

host grammar

IRI: https://w3id.org/cheezml/cubby#HostGrammar
In scheme: cubby:Proposers

cubby:LMProgramEmitter code

language model's program emitter

IRI: https://w3id.org/cheezml/cubby#LMProgramEmitter
In scheme: cubby:Proposers

cubby:LogicalConflict code

logical

IRI: https://w3id.org/cheezml/cubby#LogicalConflict
In scheme: cubby:ConflictKinds

cubby:NoNewWrongAnswerCheck code

A domain change introduces no new wrong answer (0058).

IRI: https://w3id.org/cheezml/cubby#NoNewWrongAnswerCheck
In scheme: cheez:CheckKinds

cubby:NoPlan code

no plan

IRI: https://w3id.org/cheezml/cubby#NoPlan
In scheme: cubby:RefusalReasons

cubby:NotCertified code

not certified

IRI: https://w3id.org/cheezml/cubby#NotCertified
In scheme: cubby:RefusalReasons

cubby:NumberInRegionCheck code

Every number in a field appears in its region's text (0061).

IRI: https://w3id.org/cheezml/cubby#NumberInRegionCheck
In scheme: cheez:CheckKinds

cubby:OvernightRuleLibrary code

overnight rule library

IRI: https://w3id.org/cheezml/cubby#OvernightRuleLibrary
In scheme: cubby:Proposers

cubby:PrerequisiteCheck code

Exact prerequisite check of a story-world action (0060).

IRI: https://w3id.org/cheezml/cubby#PrerequisiteCheck
In scheme: cheez:CheckKinds

cubby:PurchaseOrderCheck code

Exact purchase-order check (0061).

IRI: https://w3id.org/cheezml/cubby#PurchaseOrderCheck
In scheme: cheez:CheckKinds

cubby:QuestionAct code

question

IRI: https://w3id.org/cheezml/cubby#QuestionAct
In scheme: cubby:DialogueActs

cubby:RecordedVsDerivedConflict code

recorded against derived

IRI: https://w3id.org/cheezml/cubby#RecordedVsDerivedConflict
In scheme: cubby:ConflictKinds

cubby:RefusalAct code

refusal (with reason)

IRI: https://w3id.org/cheezml/cubby#RefusalAct
In scheme: cubby:DialogueActs

cubby:RejectionRateCheck code

A proposer's helper rejection rate over a window (0062).

IRI: https://w3id.org/cheezml/cubby#RejectionRateCheck
In scheme: cheez:CheckKinds

cubby:RelationMissing code

relation missing

IRI: https://w3id.org/cheezml/cubby#RelationMissing
In scheme: cubby:RefusalReasons

cubby:ReproductionCheck code

A helper reproduces every verified answer in its scope (0062).

IRI: https://w3id.org/cheezml/cubby#ReproductionCheck
In scheme: cheez:CheckKinds

cubby:ScopeCheck code

A helper changes nothing outside its scope (0062).

IRI: https://w3id.org/cheezml/cubby#ScopeCheck
In scheme: cheez:CheckKinds

cubby:SecondApprover code

second approver (above the amount)

IRI: https://w3id.org/cheezml/cubby#SecondApprover
In scheme: cubby:ReviewerRoles

cubby:SmallTalkAct code

small talk

IRI: https://w3id.org/cheezml/cubby#SmallTalkAct
In scheme: cubby:DialogueActs

cubby:SupplierCheck code

Exact supplier check (0061).

IRI: https://w3id.org/cheezml/cubby#SupplierCheck
In scheme: cheez:CheckKinds

cubby:TemporalConflict code

temporal

IRI: https://w3id.org/cheezml/cubby#TemporalConflict
In scheme: cubby:ConflictKinds

cubby:ToneCheck code

Soft (tone) check of a story-world action, labelled soft (0060).

IRI: https://w3id.org/cheezml/cubby#ToneCheck
In scheme: cheez:CheckKinds

cubby:TypeConflict code

type

IRI: https://w3id.org/cheezml/cubby#TypeConflict
In scheme: cubby:ConflictKinds

cubby:UnreadableSource code

unreadable source (order 0061)

IRI: https://w3id.org/cheezml/cubby#UnreadableSource
In scheme: cubby:RefusalReasons

cubby:ValueConflict code

value

IRI: https://w3id.org/cheezml/cubby#ValueConflict
In scheme: cubby:ConflictKinds

cubby:WalkFailed code

walk failed

IRI: https://w3id.org/cheezml/cubby#WalkFailed
In scheme: cubby:RefusalReasons