@prefix ckp: <https://conceptkernel.org/ontology/v3.6/> .
v3.6 extends the CKP ontology with the agent kernel type (CK.Claude), five formal edge predicates (COMPOSES, TRIGGERS, PRODUCES, EXTENDS, LOOPS_WITH), 20 compliance check types, a four-layer consensus governance engine, task execution via headless Claude Code, dynamic kernel spawning, multi-user NATS sessions, and persona-based LLM capability mounting. All classes maintain BFO 2020 grounding through the four-layer import chain.
| Module | File | Description | BFO |
| Core | core.ttl | Kernel, Edge, Instance, HotKernel, ColdKernel, InlineKernel, StaticKernel, AgentKernel v3.6, PersonaTemplate v3.6, ModelConfiguration v3.6, Project, GovernanceMode, Action, Reconciliation, LOOPS_WITH v3.6 | 0000040, 0000031, 0000015, 0000016, 0000019 |
| Base Instances | base-instances.ttl | InstanceManifest, SealedInstance, LedgerEntry, TaskInstance v3.6, ConversationInstance v3.6 | 0000031 |
| Proof | proof.ttl | ProofRecord, ProofCheck, CheckType (20 types v3.6), ProofOutcome | 0000031 |
| Edges | edges.ttl v3.6 | EdgePredicate class with 5 individuals: COMPOSES, TRIGGERS, PRODUCES, EXTENDS, LOOPS_WITH | 0000019 |
| Consensus | consensus.ttl v3.6 | ConsensusProposal, ConsensusVote, ValidationLayer (4 layers), ConsensusDecision (PROV-O) | 0000019, 0000030 |
| Kernel Metadata | kernel-metadata.ttl | Runtime, Capability, KernelStatus, StorageMedium, DeploymentMethod, ServingDisposition. hasPersona, defaultModel, modelEffort v3.6 | 0000031, 0000019, 0000016 |
| Processes | processes.ttl | Invocation, EdgeCommunication, Consensus, Broadcast, TaskExecution v3.6, Spawning v3.6, Session v3.6, ConsensusEvaluation v3.6 | 0000015 |
| Relations | relations.ttl | Properties, chains, SWRL rules. extends_with, loops_with, spawned_by, composes, triggers, produces v3.6 | |
| RBAC | rbac.ttl | Agents, roles, permissions, quorum. TeamCoordinator v3.6, GovernanceLevel v3.6 | 0000040, 0000023, 0000016 |
| Workflow | workflow.ttl | CKDL workflow orchestration | 0000015 |
| Self-Improvement | self-improvement.ttl | Validation issues, recommendations, improvement processes | 0000023, 0000034, 0000015 |
| Shapes | shapes.ttl | SHACL validation for protocol conformance | |
| Addition | Module | BFO Type | Description |
ckp:AgentKernel | core.ttl | subClassOf Kernel | LLM-capable kernel with streaming, sessions, personas |
ckp:PersonaTemplate | core.ttl | iao:InformationContentEntity | Reusable system prompt templates for EXTENDS mounting |
ckp:ModelConfiguration | core.ttl | bfo:Quality | LLM model selection with three-level precedence |
ckp:LOOPS_WITH | core.ttl | ckp:RelationshipType | Bidirectional cooperation edge predicate |
edges.ttl | NEW MODULE | bfo:Quality | 5 edge predicates with composition semantics |
consensus.ttl | NEW MODULE | prov:Activity | Proposals, votes, 4 validation layers, decisions |
ckpp:TaskExecutionProcess | processes.ttl | bfo:Process | Headless Claude Code task execution |
ckpp:SpawningProcess | processes.ttl | bfo:Process | Dynamic kernel creation from discovered concepts |
ckpp:SessionProcess | processes.ttl | bfo:Process | Multi-user NATS collaborative sessions |
ckpp:ConsensusEvaluationProcess | processes.ttl | bfo:Process | Four-layer consensus evaluation |
ckp:TaskInstance | base-instances.ttl | InstanceManifest | Consensus-generated task instance shape |
ckp:ConversationInstance | base-instances.ttl | InstanceManifest | Multi-turn LLM conversation recording |
| 14 new CheckType individuals | proof.ttl | bfo:Quality | Total 20 check types per SPEC.CKP.v3.6 |
ckp:TeamCoordinator | rbac.ttl | bfo:Role | Multi-kernel Agent Teams coordinator role |
ckp:GovernanceLevel | rbac.ttl | bfo:Quality | STRICT/RELAXED/AUTONOMOUS as formal individuals |
| 6 new relation properties | relations.ttl | ObjectProperty | extends_with, loops_with, spawned_by, composes, triggers, produces |
| 3 new metadata properties | kernel-metadata.ttl | ObjectProperty/DatatypeProperty | hasPersona, defaultModel, modelEffort |
| 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.6/) | Protocol: kernel, edge, instance, action |
| 2 | Per-kernel (ontology.yaml) | Domain-specific: SpawnInstance, TraceRecord, etc. |