@prefix ckp: <https://conceptkernel.org/ontology/v3.5/> .
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 ontology.yaml is its type definition, and every instance is a typed individual. The ontology governs the tool, not the reverse.
| Module | File | Description | BFO |
|---|
| Core | core.ttl | Kernel, Edge, Instance, HotKernel, ColdKernel, GovernanceMode, Action, InformationEntity, ConsensusProposal; edge predicates EXTENDS, COMPOSES, TRIGGERS | 0000040, 0000031, 0000015, 0000016 |
| Base Instances | base-instances.ttl v3.5-alpha3 | InstanceManifest, SealedInstance, LedgerEntry | 0000031 |
| Proof | proof.ttl v3.5-alpha3 | ProofRecord, ProofCheck, CheckType, ProofOutcome. SVID (SPIFFE identity) binding. | 0000031 |
| Kernel Metadata | kernel-metadata.ttl | Metadata registry: Runtime, Capability, KernelStatus, dependencies, ports | 0000031, 0000019, 0000016 |
| Processes | processes.ttl | Invocation, EdgeCommunication, Consensus, Broadcast | 0000015 |
| Relations | relations.ttl | Properties, property chains, SWRL rules | |
| RBAC | rbac.ttl | Authorization for inter-kernel communication: agents, roles, permissions, quorum | 0000040, 0000023, 0000016 |
| Workflow | workflow.ttl | Workflow execution temporal patterns | 0000015 |
| Self-Improvement | self-improvement.ttl | Validation issues, recommendations, roles (SelfInspector, AIAnalyst, GovernanceReviewer), functions | 0000023, 0000034, 0000015, 0000016 |
| Shapes | shapes.ttl | SHACL validation for protocol conformance (legacy v1.3.20 shapes; v3.5 shapes TBD) | |
| Addition | Module | Description |
|---|
| Kernel-as-Datatype | base-instances.ttl | A kernel IS a datatype. ontology.yaml defines the type. Instances are typed individuals. |
| Materialised Proof | proof.ttl | SHA-256 hash verification per instance in proof.json. SPIFFE/SVID identity binding. |
| Base Instance Shapes | base-instances.ttl | InstanceManifest, SealedInstance, LedgerEntry — inherited by every kernel. |
| GovernanceMode | core.ttl | ckp:GovernanceMode (BFO Disposition) with individuals STRICT, RELAXED, AUTONOMOUS. |
| Action Class | core.ttl | ckp:Action (BFO Process) — every kernel exposes typed actions with access levels. |
| Edge Predicates | core.ttl | EXTENDS, COMPOSES, TRIGGERS — governance-loop relationship types for edges. |
| PROV-O Integration | base-instances.ttl | PROV-O aligned provenance: wasGeneratedBy, wasAttributedTo, generatedAtTime. |
| Namespace Convergence | all | Three legacy namespaces unified to https://conceptkernel.org/ontology/v3.5/ |
| Property | PROV-O Alignment | Purpose |
|---|
ckp:instanceWasGeneratedBy | sub-property of prov:wasGeneratedBy | Links instance to the action/process that created it |
ckp:instanceWasAttributedTo | sub-property of prov:wasAttributedTo | Links instance to the kernel that produced it |
ckp:instanceGeneratedAtTime | sub-property of prov:generatedAtTime | ISO 8601 timestamp of instance creation |
This enables standard PROV-O tooling to query provenance chains across sealed instances.
The following items appear in the CKP v3.5 specification but are not yet present in the ontology Turtle files:
| Item | Spec Reference | Status |
|---|
| SPIFFE signing at seal time | SPEC.CKP.v3.5.alpha-3 Section 3 | ProofRecord carries ckp:svid field; runtime SPIFFE signing not yet wired |
| Ontology validation at seal time | SPEC.CKP.v3.5.alpha-3 Section 4.3 | ManifestShape and SealedDataShape defined in spec, not yet in shapes.ttl |
| Session / ActionInstance classes | SPEC.CKP.v3.5.alpha-3 | Mentioned in spec prose; no OWL classes defined |
| Serving Model ontology | SPEC.SERVING-MODEL.v3.5.alpha-4 | KernelProcess, WebServing, ProcessMode, GatewayAuth — proposed, not yet created |