@prefix ckp: <https://conceptkernel.org/ontology/v3.5/> .
v3.5-alpha6 extends the CKP ontology with four-layer import chain grounding (BFO 2020 + IAO + CCO + PROV-O + ValueFlows), new kernel types for podless and static deployments, project-level organization, operator reconciliation, and a complete serving/storage/deployment model. Every class is annotated with its IAO/CCO grounding where applicable.
| Module | File | Description | BFO |
| Core | core.ttl | Kernel, Edge, Instance, HotKernel, ColdKernel, InlineKernel a6, StaticKernel a6, Project a6, GovernanceMode, Action, Reconciliation a6, InformationEntity, ConsensusProposal; edge predicates EXTENDS, COMPOSES, TRIGGERS | 0000040, 0000031, 0000015, 0000016, 0000020 |
| 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. StorageMedium a6, DeploymentMethod a6, ServingDisposition a6 | 0000031, 0000019, 0000016 |
| Processes | processes.ttl | Invocation, EdgeCommunication, Consensus, Broadcast | 0000015 |
| Relations | relations.ttl | Properties, property chains, SWRL rules. belongsToProject, hasKernel, hasStorageMedium, hasServingDisposition, hasDeploymentMethod, reconciles a6 | |
| 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 | BFO Type | IAO/CCO Grounding |
ckp:InlineKernel | core.ttl | subClassOf Kernel (bfo:0000040) | cco:Agent |
ckp:StaticKernel | core.ttl | subClassOf Kernel (bfo:0000040) | cco:Agent |
ckp:Project | core.ttl | bfo:0000031 (GenDepCont) | cco:Organization |
ckp:Reconciliation | core.ttl | subClassOf Action (bfo:0000015) | iao:0000104 (PlanSpecification) |
ckp:StorageMedium | kernel-metadata.ttl | bfo:0000019 (Quality) | - |
ckp:DeploymentMethod | kernel-metadata.ttl | bfo:0000019 (Quality) | - |
ckp:ServingDisposition | kernel-metadata.ttl | bfo:0000016 (Disposition) | cco:Specification |
ckp:APIServing | kernel-metadata.ttl | subClassOf ServingDisposition | cco:Specification |
ckp:WebServing | kernel-metadata.ttl | subClassOf ServingDisposition | cco:Specification |
ckp:NATSListening | kernel-metadata.ttl | subClassOf ServingDisposition | cco:Specification |
ckp:NATSBrowserClient | kernel-metadata.ttl | subClassOf ServingDisposition | cco:Specification |
ckp:belongsToProject | relations.ttl | ObjectProperty | - |
ckp:hasKernel | relations.ttl | ObjectProperty (inverse) | - |
ckp:hasStorageMedium | relations.ttl | ObjectProperty | - |
ckp:hasServingDisposition | relations.ttl | ObjectProperty | - |
ckp:hasDeploymentMethod | relations.ttl | ObjectProperty | - |
ckp:reconciles | relations.ttl | ObjectProperty | - |
| Class | Parent (BFO) | IAO/CCO Grounding | Module |
ckp:Kernel | bfo:0000040 (MaterialEntity) | cco:Agent | core |
ckp:HotKernel | ckp:Kernel | cco:Agent | core |
ckp:ColdKernel | ckp:Kernel | cco:Agent | core |
ckp:InlineKernel a6 | ckp:Kernel | cco:Agent | core |
ckp:StaticKernel a6 | ckp:Kernel | cco:Agent | core |
ckp:EdgeKernel | ckp:Kernel, ckp:HotKernel | cco:Agent | core |
ckp:ConsensusKernel | ckp:Kernel, ckp:HotKernel | cco:Agent | core |
ckp:WssHubKernel | ckp:Kernel, ckp:HotKernel | cco:Agent | core |
ckp:SystemKernel | ckp:Kernel | cco:Agent | kernel-metadata |
ckp:ApplicationKernel | ckp:Kernel | cco:Agent | kernel-metadata |
ckp:UIKernel | ckp:Kernel | cco:Agent | kernel-metadata |
ckp:TemplateKernel | ckp:Kernel | cco:Agent | kernel-metadata |
ckp:Project a6 | bfo:0000031 (GenDepCont) | cco:Organization | core |
ckp:Edge | bfo:0000031 (GenDepCont) | cco:Artifact | core |
ckp:Instance | bfo:0000031 (GenDepCont) | iao:0000027 (DataItem) | core |
ckp:InformationEntity | bfo:0000031 (GenDepCont) | - | core |
ckp:InstanceManifest | bfo:0000031 (GenDepCont) | iao:0000027 (DataItem) | base-instances |
ckp:SealedInstance | ckp:InstanceManifest | iao:0000027 (DataItem) | base-instances |
ckp:LedgerEntry | bfo:0000031 (GenDepCont) | - | base-instances |
ckp:KernelOntology | bfo:0000020 (SpecDepCont) | iao:0000310 (Document) | core |
ckp:KernelMetadata | bfo:0000031 (GenDepCont) | - | kernel-metadata |
ckp:Action | bfo:0000015 (Process) | iao:0000104 (PlanSpec) | core |
ckp:Reconciliation a6 | ckp:Action | iao:0000104 (PlanSpec) | core |
ckp:GovernanceMode | bfo:0000016 (Disposition) | - | core |
ckp:QueueContract | bfo:0000016 (Disposition) | iao:0000017 (DirectiveInfoEntity) | core |
ckp:StorageContract | bfo:0000016 (Disposition) | - | core |
ckp:NotificationContract | bfo:0000016 (Disposition) | - | core |
ckp:ServingDisposition a6 | bfo:0000016 (Disposition) | cco:Specification | kernel-metadata |
ckp:APIServing a6 | ckp:ServingDisposition | cco:Specification | kernel-metadata |
ckp:WebServing a6 | ckp:ServingDisposition | cco:Specification | kernel-metadata |
ckp:NATSListening a6 | ckp:ServingDisposition | cco:Specification | kernel-metadata |
ckp:NATSBrowserClient a6 | ckp:ServingDisposition | cco:Specification | kernel-metadata |
ckp:StorageMedium a6 | bfo:0000019 (Quality) | - | kernel-metadata |
ckp:DeploymentMethod a6 | bfo:0000019 (Quality) | - | kernel-metadata |
ckp:KernelType | bfo:0000019 (Quality) | - | core |
ckp:Runtime | bfo:0000019 (Quality) | - | kernel-metadata |
ckp:KernelStatus | bfo:0000019 (Quality) | - | kernel-metadata |
ckp:Capability | bfo:0000016 (Disposition) | - | kernel-metadata |
ckp:ProofRecord | bfo:0000031 (GenDepCont) | - | proof |
ckp:ProofCheck | bfo:0000031 (GenDepCont) | - | proof |
ckp:Agent | bfo:0000040 (MaterialEntity) | cco:Agent | rbac |
ckp:UserAgent | ckp:Agent | cco:Agent | rbac |
ckp:ProcessAgent | ckp:Agent | cco:Agent | rbac |
ckp:Role | bfo:0000023 (Role) | cco:Role | rbac |
ckp:Permission | bfo:0000016 (Disposition) | - | rbac |
| 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/ |
| Layer | Ontology | Scope |
| 0 | BFO 2020 (ISO 21838-2) | Upper ontology: entity, continuant, occurrent |
| 0.5 | IAO + CCO + PROV-O + ValueFlows | Mid-level: information, agents, provenance, economics |
| 1 | CKP (conceptkernel.org/v3.5/) | Protocol: kernel, edge, instance, action |
| 2 | Per-kernel (ontology.yaml) | Domain-specific: SpawnInstance, TraceRecord, etc. |
| 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 |
| ValueFlows economic events | Alpha-6 layering strategy | Payment, Agreement, Commitment classes deferred to alpha-7 |
| CCO Geospatial, Facility, Time | Alpha-6 layering strategy | Deliberately deferred (see ontology layering chapter) |