Skip to content

Commit 7c4ba9f

Browse files
styk-tvstyk-tv
committed
fix: ontology v3.5 index page accuracy + Turtle version strings updated to v3.5.0
1 parent 30f4907 commit 7c4ba9f

7 files changed

Lines changed: 56 additions & 30 deletions

File tree

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

Lines changed: 35 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@
3939
</div>
4040
<div class="container">
4141

42-
<h1>CKP Ontology v3.5 <span class="status status-alpha">Alpha-3</span></h1>
42+
<h1>CKP Ontology v3.5 <span class="status status-alpha">Alpha-4</span></h1>
4343

4444
<dl class="meta">
4545
<dt>This version</dt>
@@ -49,7 +49,7 @@ <h1>CKP Ontology v3.5 <span class="status status-alpha">Alpha-3</span></h1>
4949
<dt>Namespace URI</dt>
5050
<dd><code>https://conceptkernel.org/ontology/v3.5/</code></dd>
5151
<dt>Status</dt>
52-
<dd>Alpha-3 — extends v3.4 with base instance shapes, materialised proof, governance enforcement</dd>
52+
<dd>Alpha-4 — extends v3.4 with base instance shapes, materialised proof, governance vocabulary, PROV-O provenance</dd>
5353
<dt>Editors</dt>
5454
<dd>Peter Styk, ConceptKernel</dd>
5555
<dt>Source</dt>
@@ -59,37 +59,41 @@ <h1>CKP Ontology v3.5 <span class="status status-alpha">Alpha-3</span></h1>
5959
<div class="prefix-box">@prefix ckp: &lt;https://conceptkernel.org/ontology/v3.5/&gt; .</div>
6060

6161
<h2>Abstract</h2>
62-
<p class="abstract">v3.5 extends the CKP ontology with base instance shapes inherited by all kernels, a materialised proof model with SHA-256 hash chains, and the kernel-as-datatype rule — every kernel's <code>ontology.yaml</code> is its type definition, and every instance is a typed individual. The ontology governs the tool, not the reverse.</p>
62+
<p class="abstract">v3.5 extends the CKP ontology with base instance shapes inherited by all kernels, a materialised proof model with SHA-256 hash verification, PROV-O aligned provenance properties, and the kernel-as-datatype rule — every kernel's <code>ontology.yaml</code> is its type definition, and every instance is a typed individual. The ontology governs the tool, not the reverse.</p>
6363

6464
<h2>Ontology Modules</h2>
6565
<table>
6666
<tr><th>Module</th><th>File</th><th>Description</th><th>BFO</th></tr>
67-
<tr><td>Core</td><td><a href="core.ttl">core.ttl</a></td><td>Kernel, Edge, Instance, HotKernel, ColdKernel</td><td class="bfo">0000040, 0000031</td></tr>
67+
<tr><td>Core</td><td><a href="core.ttl">core.ttl</a></td><td>Kernel, Edge, Instance, HotKernel, ColdKernel, GovernanceMode, Action, InformationEntity, ConsensusProposal; edge predicates EXTENDS, COMPOSES, TRIGGERS</td><td class="bfo">0000040, 0000031, 0000015, 0000016</td></tr>
6868
<tr><td>Base Instances</td><td><a href="base-instances.ttl">base-instances.ttl</a> <span class="new-tag">v3.5</span></td><td>InstanceManifest, SealedInstance, LedgerEntry</td><td class="bfo">0000031</td></tr>
69-
<tr><td>Proof</td><td><a href="proof.ttl">proof.ttl</a> <span class="new-tag">v3.5</span></td><td>ProofRecord, ProofCheck, CheckType, ProofOutcome</td><td></td></tr>
70-
<tr><td>Kernel Metadata</td><td><a href="kernel-metadata.ttl">kernel-metadata.ttl</a></td><td>Roles and Functions borne by kernels</td><td class="bfo">0000023, 0000034</td></tr>
69+
<tr><td>Proof</td><td><a href="proof.ttl">proof.ttl</a> <span class="new-tag">v3.5</span></td><td>ProofRecord, ProofCheck, CheckType, ProofOutcome. SVID (SPIFFE identity) binding.</td><td class="bfo">0000031</td></tr>
70+
<tr><td>Kernel Metadata</td><td><a href="kernel-metadata.ttl">kernel-metadata.ttl</a></td><td>Metadata registry: Runtime, Capability, KernelStatus, dependencies, ports</td><td class="bfo">0000031, 0000019, 0000016</td></tr>
7171
<tr><td>Processes</td><td><a href="processes.ttl">processes.ttl</a></td><td>Invocation, EdgeCommunication, Consensus, Broadcast</td><td class="bfo">0000015</td></tr>
7272
<tr><td>Relations</td><td><a href="relations.ttl">relations.ttl</a></td><td>Properties, property chains, SWRL rules</td><td></td></tr>
73-
<tr><td>RBAC</td><td><a href="rbac.ttl">rbac.ttl</a></td><td>Authorization for inter-kernel communication</td><td></td></tr>
73+
<tr><td>RBAC</td><td><a href="rbac.ttl">rbac.ttl</a></td><td>Authorization for inter-kernel communication: agents, roles, permissions, quorum</td><td class="bfo">0000040, 0000023, 0000016</td></tr>
7474
<tr><td>Workflow</td><td><a href="workflow.ttl">workflow.ttl</a></td><td>Workflow execution temporal patterns</td><td class="bfo">0000015</td></tr>
75-
<tr><td>Self-Improvement</td><td><a href="self-improvement.ttl">self-improvement.ttl</a></td><td>Validation issues and recommendations</td><td></td></tr>
76-
<tr><td>Shapes</td><td><a href="shapes.ttl">shapes.ttl</a></td><td>SHACL validation for protocol conformance</td><td></td></tr>
75+
<tr><td>Self-Improvement</td><td><a href="self-improvement.ttl">self-improvement.ttl</a></td><td>Validation issues, recommendations, roles (SelfInspector, AIAnalyst, GovernanceReviewer), functions</td><td class="bfo">0000023, 0000034, 0000015, 0000016</td></tr>
76+
<tr><td>Shapes</td><td><a href="shapes.ttl">shapes.ttl</a></td><td>SHACL validation for protocol conformance (legacy v1.3.20 shapes; v3.5 shapes TBD)</td><td></td></tr>
7777
</table>
7878

7979
<h2>v3.5 Additions</h2>
8080
<table>
8181
<tr><th>Addition</th><th>Module</th><th>Description</th></tr>
8282
<tr><td>Kernel-as-Datatype</td><td>base-instances.ttl</td><td>A kernel IS a datatype. <code>ontology.yaml</code> defines the type. Instances are typed individuals.</td></tr>
83-
<tr><td>Materialised Proof</td><td>proof.ttl</td><td>SHA-256 hash chain in <code>proof.json</code> stored with every instance. Governance evidence.</td></tr>
83+
<tr><td>Materialised Proof</td><td>proof.ttl</td><td>SHA-256 hash verification per instance in <code>proof.json</code>. SPIFFE/SVID identity binding.</td></tr>
8484
<tr><td>Base Instance Shapes</td><td>base-instances.ttl</td><td>InstanceManifest, SealedInstance, LedgerEntry — inherited by every kernel.</td></tr>
85+
<tr><td>GovernanceMode</td><td>core.ttl</td><td><code>ckp:GovernanceMode</code> (BFO Disposition) with individuals STRICT, RELAXED, AUTONOMOUS.</td></tr>
86+
<tr><td>Action Class</td><td>core.ttl</td><td><code>ckp:Action</code> (BFO Process) — every kernel exposes typed actions with access levels.</td></tr>
87+
<tr><td>Edge Predicates</td><td>core.ttl</td><td>EXTENDS, COMPOSES, TRIGGERS — governance-loop relationship types for edges.</td></tr>
88+
<tr><td>PROV-O Integration</td><td>base-instances.ttl</td><td>PROV-O aligned provenance: <code>wasGeneratedBy</code>, <code>wasAttributedTo</code>, <code>generatedAtTime</code>.</td></tr>
8589
<tr><td>Namespace Convergence</td><td>all</td><td>Three legacy namespaces unified to <code>https://conceptkernel.org/ontology/v3.5/</code></td></tr>
8690
</table>
8791

8892
<h2>Supporting Files</h2>
8993
<table>
9094
<tr><th>File</th><th>Format</th><th>Description</th></tr>
9195
<tr><td><a href="kernel-entity-template.ttl">kernel-entity-template.ttl</a></td><td>Turtle</td><td>Template for per-kernel ontology.ttl generation</td></tr>
92-
<tr><td><a href="schema.yaml">schema.yaml</a></td><td>LinkML</td><td>Governance definitions + base instance classes + proof types</td></tr>
96+
<tr><td><a href="schema.yaml">schema.yaml</a></td><td>LinkML</td><td>LinkML governance schema (drives scaffolding tool). Kernel structure, base instance classes, proof types, directory layout.</td></tr>
9397
<tr><td><a href="index.json">index.json</a></td><td>JSON</td><td>Machine-readable metadata with coverage scores</td></tr>
9498
</table>
9599

@@ -103,6 +107,26 @@ <h2>Namespaces</h2>
103107
<tr><td><code>ckpi:</code></td><td><code>https://conceptkernel.org/ontology/v3.5/improvement/</code></td></tr>
104108
</table>
105109

110+
<h2>PROV-O Integration</h2>
111+
<p><a href="base-instances.ttl">base-instances.ttl</a> imports the <code>prov:</code> namespace (<code>http://www.w3.org/ns/prov#</code>) and defines three PROV-O aligned sub-properties on <code>InstanceManifest</code>:</p>
112+
<table>
113+
<tr><th>Property</th><th>PROV-O Alignment</th><th>Purpose</th></tr>
114+
<tr><td><code>ckp:instanceWasGeneratedBy</code></td><td>sub-property of <code>prov:wasGeneratedBy</code></td><td>Links instance to the action/process that created it</td></tr>
115+
<tr><td><code>ckp:instanceWasAttributedTo</code></td><td>sub-property of <code>prov:wasAttributedTo</code></td><td>Links instance to the kernel that produced it</td></tr>
116+
<tr><td><code>ckp:instanceGeneratedAtTime</code></td><td>sub-property of <code>prov:generatedAtTime</code></td><td>ISO 8601 timestamp of instance creation</td></tr>
117+
</table>
118+
<p>This enables standard PROV-O tooling to query provenance chains across sealed instances.</p>
119+
120+
<h2>Not Yet Implemented</h2>
121+
<p>The following items appear in the CKP v3.5 specification but are not yet present in the ontology Turtle files:</p>
122+
<table>
123+
<tr><th>Item</th><th>Spec Reference</th><th>Status</th></tr>
124+
<tr><td>SPIFFE signing at seal time</td><td>SPEC.CKP.v3.5.alpha-3 Section 3</td><td>ProofRecord carries <code>ckp:svid</code> field; runtime SPIFFE signing not yet wired</td></tr>
125+
<tr><td>Ontology validation at seal time</td><td>SPEC.CKP.v3.5.alpha-3 Section 4.3</td><td>ManifestShape and SealedDataShape defined in spec, not yet in shapes.ttl</td></tr>
126+
<tr><td>Session / ActionInstance classes</td><td>SPEC.CKP.v3.5.alpha-3</td><td>Mentioned in spec prose; no OWL classes defined</td></tr>
127+
<tr><td>Serving Model ontology</td><td>SPEC.SERVING-MODEL.v3.5.alpha-4</td><td>KernelProcess, WebServing, ProcessMode, GatewayAuth — proposed, not yet created</td></tr>
128+
</table>
129+
106130
<div class="footer">
107131
<a href="https://conceptkernel.org">conceptkernel.org</a> · <a href="https://github.com/ConceptKernel">GitHub</a> · <a href="https://discord.gg/sTbfxV9xyU">Discord</a><br>
108132
Copyright 2024-present ConceptKernel Contributors. MIT License.

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# ConceptKernel Kernel Metadata Ontology
2-
# Version: v1.3.20
3-
# Date: 2025-12-21
2+
# Version: v3.5.0
3+
# Date: 2026-03-26
44
# Purpose: RDF schema for kernel metadata (from kernel.yaml) for semantic registry
55
# Enables SPARQL queries across kernels, capabilities, dependencies, and status
66

@@ -18,8 +18,8 @@
1818
dc:title "ConceptKernel Kernel Metadata Ontology" ;
1919
dc:description "Formal ontology for kernel metadata enabling semantic registry and SPARQL queries" ;
2020
dcterms:created "2025-12-21"^^xsd:date ;
21-
dcterms:modified "2025-12-21"^^xsd:date ;
22-
owl:versionInfo "v1.3.20" ;
21+
dcterms:modified "2026-03-26"^^xsd:date ;
22+
owl:versionInfo "v3.5.0" ;
2323
rdfs:comment "Defines metadata structure for kernels: runtime, ports, capabilities, dependencies, status" ;
2424
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ,
2525
<https://conceptkernel.org/ontology/v3.5/> .

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

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# ConceptKernel Processes BFO Ontology
2-
# Version: v1.3.11-DRAFT-01
3-
# Date: 2025-11-23
2+
# Version: v3.5.0
3+
# Date: 2026-03-26
44
# Purpose: Occurrent (Process) definitions for ConceptKernel temporal events
55

66
@prefix : <https://conceptkernel.org/ontology/v3.5/process#> .
@@ -18,7 +18,8 @@
1818
dc:title "ConceptKernel Process Ontology" ;
1919
dc:description "Formal ontology defining Occurrents (processes that unfold over time) in ConceptKernel" ;
2020
dcterms:created "2025-11-23"^^xsd:date ;
21-
owl:versionInfo "v1.3.11-DRAFT-01" ;
21+
dcterms:modified "2026-03-26"^^xsd:date ;
22+
owl:versionInfo "v3.5.0" ;
2223
rdfs:comment "Defines processes: Invocation, EdgeCommunication, Consensus, Broadcast, StatusChange" ;
2324
owl:imports <https://conceptkernel.org/ontology/v3.5/> ,
2425
<http://purl.obolibrary.org/obo/bfo.owl> .

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# ConceptKernel RBAC Ontology
2-
# Version: v1.3.16-DRAFT-10-PHASE02
3-
# Date: 2025-12-01
2+
# Version: v3.5.0
3+
# Date: 2026-03-26
44
# Purpose: Role-Based Access Control ontology for ConceptKernel agents, roles, and permissions
55
# Architecture: Distributed ontology model - kernels define roles/permissions, System.Ontology aggregates
66

@@ -18,8 +18,8 @@
1818
dc:title "ConceptKernel RBAC Ontology" ;
1919
dc:description "Role-Based Access Control framework for ConceptKernel - agents, roles, permissions, quorum" ;
2020
dcterms:created "2025-12-01"^^xsd:date ;
21-
dcterms:modified "2025-12-01"^^xsd:date ;
22-
owl:versionInfo "v1.3.16-DRAFT-10-PHASE02" ;
21+
dcterms:modified "2026-03-26"^^xsd:date ;
22+
owl:versionInfo "v3.5.0" ;
2323
rdfs:comment "Defines WHO (agents), CAN DO WHAT (permissions), WHEN (quorum), and WHY (roles)" ;
2424
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ;
2525
owl:imports <https://conceptkernel.org/ontology/v3.5/> .

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

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# ConceptKernel Relations BFO Ontology
2-
# Version: v1.3.11-DRAFT-01
3-
# Date: 2025-11-23
2+
# Version: v3.5.0
3+
# Date: 2026-03-26
44
# Purpose: Relationships and inference rules for automatic reasoning
55

66
@prefix : <https://conceptkernel.org/ontology/v3.5/relation#> .
@@ -21,7 +21,8 @@
2121
dc:title "ConceptKernel Relations Ontology" ;
2222
dc:description "Relationships and inference rules for automatic reasoning about ConceptKernel entities" ;
2323
dcterms:created "2025-11-23"^^xsd:date ;
24-
owl:versionInfo "v1.3.11-DRAFT-01" ;
24+
dcterms:modified "2026-03-26"^^xsd:date ;
25+
owl:versionInfo "v3.5.0" ;
2526
rdfs:comment "Defines properties, property chains, and SWRL rules for inference" ;
2627
owl:imports <https://conceptkernel.org/ontology/v3.5/> ,
2728
<https://conceptkernel.org/ontology/v3.5/process> ,

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
@prefix ckpi: <https://conceptkernel.org/ontology/v3.5/improvement#> .
88

99
# ============================================================================
10-
# Self-Improvement Ontology for ConceptKernel v1.3.18
10+
# Self-Improvement Ontology for ConceptKernel v3.5.0
1111
# ============================================================================
1212
# Defines processes, roles, and functions for autonomous self-improvement
1313
# and ontology-driven validation with AI-powered recommendations
@@ -19,7 +19,7 @@
1919
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" ;
22-
owl:versionInfo "1.3.18" .
22+
owl:versionInfo "v3.5.0" .
2323

2424
# ============================================================================
2525
# ROLES (BFO:Role) - Capabilities borne by kernels

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@
99
# ==============================================================================
1010
# ConceptKernel Workflow Ontology (CKDL Formalization)
1111
# ==============================================================================
12-
# Version: v1.3.18
13-
# Date: 2025-12-06
12+
# Version: v3.5.0
13+
# Date: 2026-03-26
1414
# Purpose: Formalize CKDL (Concept Kernel Definition Language) workflow concepts
1515
# for declarative kernel orchestration and autonomous system coordination
1616
# ==============================================================================
@@ -21,7 +21,7 @@
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" ;
24-
owl:versionInfo "v1.3.18" .
24+
owl:versionInfo "v3.5.0" .
2525

2626
# ==============================================================================
2727
# WORKFLOW PROCESSES (BFO Occurrents)

0 commit comments

Comments
 (0)