Skip to content

Commit 4d296fe

Browse files
styk-tvstyk-tv
committed
fix: preflight P1 remediation — owl:imports, BFO ID, undefined refs, stale comments
v3.5 Turtle fixes (all 6 critical P1 issues): - core.ttl: owl:imports URI extensions removed (base-instances, proof) - kernel-metadata.ttl, workflow.ttl, self-improvement.ttl: imports fixed to match core URI - self-improvement.ttl: processes→process import URI - self-improvement.ttl: bfo:0000138→bfo:0000202 (TemporalInterval) - core.ttl: added ckp:relatesTo, ckp:ConsensusProposal definitions - rbac.ttl: added ckp:QuorumMajority - core.ttl: removed 14 stale Kernel.js/EdgeKernel.js comments v3.4 index.html: Edge BFO table corrected (0000040→0000031)
1 parent de5caeb commit 4d296fe

6 files changed

Lines changed: 41 additions & 35 deletions

File tree

‎docs/public/ontology/v3.4/index.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,8 +81,8 @@ <h2>Supporting Files</h2>
8181
<h2>BFO 2020 Alignment</h2>
8282
<table>
8383
<tr><th>BFO Class</th><th>URI</th><th>CKP Entities</th></tr>
84-
<tr><td>Material Entity</td><td class="bfo">bfo:0000040</td><td>Kernel, Edge</td></tr>
85-
<tr><td>Gen. Dependent Continuant</td><td class="bfo">bfo:0000031</td><td>Instance, KernelOntology</td></tr>
84+
<tr><td>Material Entity</td><td class="bfo">bfo:0000040</td><td>Kernel</td></tr>
85+
<tr><td>Gen. Dependent Continuant</td><td class="bfo">bfo:0000031</td><td>Edge, Instance, KernelOntology</td></tr>
8686
<tr><td>Role</td><td class="bfo">bfo:0000023</td><td>Kernel roles</td></tr>
8787
<tr><td>Function</td><td class="bfo">bfo:0000034</td><td>Kernel functions</td></tr>
8888
<tr><td>Disposition</td><td class="bfo">bfo:0000016</td><td>Contracts (Queue, Storage, Notification)</td></tr>

‎docs/public/ontology/v3.5/core.ttl‎

Lines changed: 25 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -21,21 +21,19 @@
2121
owl:versionInfo "v3.5.0" ;
2222
rdfs:comment "Core continuants and occurrents: Kernel, Edge, Instance, Ontology, Action, GovernanceMode"@en ;
2323
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ,
24-
<https://conceptkernel.org/ontology/v3.5/base-instances.ttl> ,
25-
<https://conceptkernel.org/ontology/v3.5/proof.ttl> .
24+
<https://conceptkernel.org/ontology/v3.5/base-instances> ,
25+
<https://conceptkernel.org/ontology/v3.5/proof> .
2626

2727
#################################################################
2828
# Continuants - Entities that persist through time
2929
#################################################################
3030

3131
### Kernel (Independent Continuant - Material Entity)
32-
### Implementation: /core/src/Kernel.js
3332

3433
ckp:Kernel a owl:Class ;
3534
rdfs:subClassOf bfo:0000040 ; # bfo:MaterialEntity
3635
rdfs:label "Concept Kernel"@en ;
3736
rdfs:comment "A persistent computational entity that maintains identity across time. Kernels are the fundamental atomic units of computation in ConceptKernel architecture."@en ;
38-
dc:description "Implemented in /core/src/Kernel.js:9-216" ;
3937
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
4038
ckp:coverageScore "0.85"^^xsd:decimal .
4139

@@ -56,8 +54,7 @@ ckp:ColdKernel a owl:Class ;
5654
rdfs:subClassOf ckp:Kernel ;
5755
rdfs:label "Cold Kernel"@en ;
5856
rdfs:comment "On-demand kernels triggered by file system events (symlinks in queue/inbox)"@en ;
59-
dc:description "Node.js: metadata.type='node:cold', Python: metadata.type='python:cold'" ;
60-
dc:description "Watched by ConceptKernel.js governor: /core/src/ConceptKernel.js" .
57+
dc:description "Node.js: metadata.type='node:cold', Python: metadata.type='python:cold'" .
6158

6259
### Kernel Properties
6360

@@ -72,8 +69,7 @@ ckp:hasDomain a owl:DatatypeProperty , owl:FunctionalProperty ;
7269
rdfs:domain ckp:Kernel ;
7370
rdfs:range xsd:string ;
7471
rdfs:label "has domain"@en ;
75-
rdfs:comment "The organizational domain of the kernel"@en ;
76-
dc:description "Configured in /concepts/ck-config.yaml" .
72+
rdfs:comment "The organizational domain of the kernel"@en .
7773

7874
ckp:hasVersion a owl:DatatypeProperty , owl:FunctionalProperty ;
7975
rdfs:domain ckp:Kernel ;
@@ -134,15 +130,12 @@ ckp:InformationEntity a owl:Class ;
134130

135131
#################################################################
136132
# Edge (Generically Dependent Continuant - Relational Entity)
137-
# Implementation: /core/src/EdgeKernel.js
138133
#################################################################
139134

140135
ckp:Edge a owl:Class ;
141136
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant
142137
rdfs:label "Edge"@en ;
143138
rdfs:comment "An abstract relationship between two kernels - the ONLY mechanism for inter-Kernel communication. Edges are information entities that depend on the kernels they connect."@en ;
144-
dc:description "Implemented in /core/src/EdgeKernel.js:1-448" ;
145-
dc:description "Edge kernel structure created in /edges/{EdgeType}.{Source}.{Target}/" ;
146139
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
147140
ckp:coverageScore "0.85"^^xsd:decimal ;
148141
ckp:architecturalConstraint "NO direct Kernel-to-Kernel communication. ONLY through EdgeKernel-managed Edges."^^xsd:string .
@@ -234,20 +227,16 @@ ckp:isAuthorized a owl:DatatypeProperty ;
234227
rdfs:domain ckp:Edge ;
235228
rdfs:range xsd:boolean ;
236229
rdfs:label "is authorized"@en ;
237-
rdfs:comment "Whether the target kernel explicitly authorizes this edge in its queue_contract.edges"@en ;
238-
dc:description "Validated in /core/src/EdgeKernel.js:validateAuthorization():259-286" .
230+
rdfs:comment "Whether the target kernel explicitly authorizes this edge in its queue_contract.edges"@en .
239231

240232
#################################################################
241233
# Instance (Generically Dependent Continuant - Information Entity)
242-
# Implementation: /core/src/drivers/FileSystemDriver.js
243234
#################################################################
244235

245236
ckp:Instance a owl:Class ;
246237
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant (information entity)
247238
rdfs:label "Instance"@en ;
248-
rdfs:comment "A persistent information entity - the result of a Process. Instances are immutable artifacts stored in {kernel}/storage/{txId}.inst/"@en ;
249-
dc:description "Minted in /core/src/drivers/FileSystemDriver.js:mintStorageArtifact():71-83" ;
250-
dc:description "Storage structure: /concepts/{KernelName}/storage/{txId}.inst/receipt.bin" ;
239+
rdfs:comment "A persistent information entity - the result of a Process. Instances are immutable artifacts stored in {kernel}/storage/instances/i-{identifier}/"@en ;
251240
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
252241
ckp:coverageScore "0.80"^^xsd:decimal .
253242

@@ -257,8 +246,7 @@ ckp:hasTransactionId a owl:DatatypeProperty , owl:FunctionalProperty ;
257246
rdfs:domain ckp:Instance ;
258247
rdfs:range xsd:string ;
259248
rdfs:label "has transaction ID"@en ;
260-
rdfs:comment "Unique transaction ID in format: yyMMddHHmmssf-shortId"@en ;
261-
dc:description "Generated by txIdGenerator.js" .
249+
rdfs:comment "Unique transaction ID in format: yyMMddHHmmssf-shortId"@en .
262250

263251
ckp:hasTimestamp a owl:DatatypeProperty , owl:FunctionalProperty ;
264252
rdfs:domain ckp:Instance ;
@@ -339,14 +327,12 @@ ckp:hasGovernanceMode a owl:ObjectProperty , owl:FunctionalProperty ;
339327

340328
#################################################################
341329
# Ontology (Dependent Continuant - Universal)
342-
# Implementation: /core/src/drivers/localstorage/ontology.js
343330
#################################################################
344331

345332
ckp:KernelOntology a owl:Class ;
346333
rdfs:subClassOf bfo:0000020 ; # bfo:SpecificallyDependentContinuant
347334
rdfs:label "Kernel Ontology"@en ;
348335
rdfs:comment "Ontology defines the essential nature of a Kernel (its qualities and dispositions). Stored as ontology.yaml in each kernel directory."@en ;
349-
dc:description "Managed by /core/src/drivers/localstorage/ontology.js" ;
350336
dc:description "Format: YAML conforming to apiVersion: conceptkernel/v1, kind: Ontology" ;
351337
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
352338
ckp:coverageScore "0.70"^^xsd:decimal .
@@ -374,7 +360,6 @@ ckp:EdgeKernel a owl:Class ;
374360
rdfs:subClassOf ckp:Kernel , ckp:HotKernel ;
375361
rdfs:label "Edge Kernel"@en ;
376362
rdfs:comment "Special system kernel that mediates ALL inter-Kernel communication. Enforces Edge-only communication (architectural constraint)."@en ;
377-
dc:description "Implemented in /core/src/EdgeKernel.js:1-448" ;
378363
dc:description "URN: ckp://System.EdgeKernel:v1.0" ;
379364
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
380365
ckp:architecturalRole "Communication Mediator"^^xsd:string .
@@ -385,7 +370,6 @@ ckp:ConsensusKernel a owl:Class ;
385370
rdfs:subClassOf ckp:Kernel , ckp:HotKernel ;
386371
rdfs:label "Consensus Kernel"@en ;
387372
rdfs:comment "Special system kernel that mediates ALL governance decisions (proposals, voting, enforcement)."@en ;
388-
dc:description "Implemented in /concepts/System.Consensus/tool/tool.js" ;
389373
dc:description "URN: ckp://System.Consensus:v1.0" ;
390374
ckp:implementationStatus "PARTIAL"^^xsd:string ;
391375
ckp:architecturalRole "Governance Mediator"^^xsd:string ;
@@ -397,12 +381,19 @@ ckp:WssHubKernel a owl:Class ;
397381
rdfs:subClassOf ckp:Kernel , ckp:HotKernel ;
398382
rdfs:label "WebSocket Hub Kernel"@en ;
399383
rdfs:comment "Special system kernel that mediates ALL real-time broadcasts (WebSocket events to all clients)."@en ;
400-
dc:description "Implemented in /concepts/System.WssHub/tool/tool.js:1-201" ;
401384
dc:description "URN: ckp://System.WssHub:v1.0" ;
402385
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
403386
ckp:architecturalRole "Broadcast Mediator"^^xsd:string ;
404387
ckp:criticalGap "No consensus announcements (not integrated)"^^xsd:string .
405388

389+
#################################################################
390+
# Base Relationship Property
391+
#################################################################
392+
393+
ckp:relatesTo a owl:ObjectProperty ;
394+
rdfs:label "relates to"@en ;
395+
rdfs:comment "Base property for kernel-to-kernel relationships. All specific edge predicates (auditsComplianceOf, reportsIssueTo, etc.) are sub-properties of this."@en .
396+
406397
#################################################################
407398
# Mediation Relationships
408399
#################################################################
@@ -454,6 +445,16 @@ ckp:AuthorizedEdge a owl:Class ;
454445
rdfs:label "Authorized Edge"@en ;
455446
rdfs:comment "An edge where the target kernel explicitly authorizes the relationship in its queue_contract.edges"@en .
456447

448+
#################################################################
449+
# Consensus Proposal (alias for process:Proposal)
450+
#################################################################
451+
452+
ckp:ConsensusProposal a owl:Class ;
453+
rdfs:subClassOf bfo:0000040 ; # bfo:IndependentContinuant
454+
rdfs:label "Consensus Proposal"@en ;
455+
rdfs:comment "A proposal submitted for consensus governance review. Equivalent to ckpp:Proposal in the process ontology."@en ;
456+
dc:description "Stored in {kernel}/consensus/proposals/{proposalId}.json" .
457+
457458
#################################################################
458459
# Implementation Status Annotations
459460
#################################################################

‎docs/public/ontology/v3.5/kernel-metadata.ttl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@
2222
owl:versionInfo "v1.3.20" ;
2323
rdfs:comment "Defines metadata structure for kernels: runtime, ports, capabilities, dependencies, status" ;
2424
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ,
25-
<https://conceptkernel.org/ontology/v3.5/core> .
25+
<https://conceptkernel.org/ontology/v3.5/> .
2626

2727
#################################################################
2828
# Kernel Metadata Classes

‎docs/public/ontology/v3.5/rbac.ttl‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -272,6 +272,11 @@ ckp:QuorumHigh a owl:Class ;
272272
rdfs:label "Quorum High"@en ;
273273
rdfs:comment "High consensus required - 51% of role holders must approve"@en .
274274

275+
ckp:QuorumMajority a owl:Class ;
276+
rdfs:subClassOf ckp:QuorumLevel ;
277+
rdfs:label "Quorum Majority"@en ;
278+
rdfs:comment "Majority consensus required - more than 50% of eligible voters must approve"@en .
279+
275280
### Quorum-Permission Relationship
276281

277282
ckp:requiresQuorum a owl:ObjectProperty , owl:FunctionalProperty ;

‎docs/public/ontology/v3.5/self-improvement.ttl‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,9 @@
1414

1515
<https://conceptkernel.org/ontology/v3.5/improvement>
1616
rdf:type owl:Ontology ;
17-
owl:imports <https://conceptkernel.org/ontology/v3.5/core> ;
17+
owl:imports <https://conceptkernel.org/ontology/v3.5/> ;
1818
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ;
19-
owl:imports <https://conceptkernel.org/ontology/v3.5/processes> ;
19+
owl:imports <https://conceptkernel.org/ontology/v3.5/process> ;
2020
rdfs:label "ConceptKernel Self-Improvement Ontology" ;
2121
rdfs:comment "Ontology for autonomous validation, improvement recommendations, and consensus-driven evolution" ;
2222
owl:versionInfo "1.3.18" .
@@ -91,31 +91,31 @@ ckpi:ImprovementProcess
9191

9292
ckpi:ValidationPhase
9393
rdf:type owl:Class ;
94-
rdfs:subClassOf bfo:0000138 ; # BFO:TemporalInterval
94+
rdfs:subClassOf bfo:0000202 ; # BFO:TemporalInterval
9595
rdfs:label "Validation Phase" ;
9696
rdfs:comment "Temporal part where kernel ontology is validated against canonical ontologies" .
9797

9898
ckpi:AnalysisPhase
9999
rdf:type owl:Class ;
100-
rdfs:subClassOf bfo:0000138 ; # BFO:TemporalInterval
100+
rdfs:subClassOf bfo:0000202 ; # BFO:TemporalInterval
101101
rdfs:label "Analysis Phase" ;
102102
rdfs:comment "Temporal part where AI agents analyze validation issues" .
103103

104104
ckpi:RecommendationPhase
105105
rdf:type owl:Class ;
106-
rdfs:subClassOf bfo:0000138 ; # BFO:TemporalInterval
106+
rdfs:subClassOf bfo:0000202 ; # BFO:TemporalInterval
107107
rdfs:label "Recommendation Phase" ;
108108
rdfs:comment "Temporal part where improvement recommendations are generated" .
109109

110110
ckpi:ConsensusPhase
111111
rdf:type owl:Class ;
112-
rdfs:subClassOf bfo:0000138 ; # BFO:TemporalInterval
112+
rdfs:subClassOf bfo:0000202 ; # BFO:TemporalInterval
113113
rdfs:label "Consensus Phase" ;
114114
rdfs:comment "Temporal part where recommendations are submitted for governance approval" .
115115

116116
ckpi:ExecutionPhase
117117
rdf:type owl:Class ;
118-
rdfs:subClassOf bfo:0000138 ; # BFO:TemporalInterval
118+
rdfs:subClassOf bfo:0000202 ; # BFO:TemporalInterval
119119
rdfs:label "Execution Phase" ;
120120
rdfs:comment "Temporal part where approved recommendations are applied" .
121121

‎docs/public/ontology/v3.5/workflow.ttl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@
1717

1818
<https://conceptkernel.org/ontology/v3.5/workflow>
1919
rdf:type owl:Ontology ;
20-
owl:imports <https://conceptkernel.org/ontology/v3.5/core> ;
20+
owl:imports <https://conceptkernel.org/ontology/v3.5/> ;
2121
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ;
2222
rdfs:label "ConceptKernel Workflow Ontology" ;
2323
rdfs:comment "BFO-aligned ontology for declarative workflow orchestration in ConceptKernel" ;

0 commit comments

Comments
 (0)