Skip to content

Commit e04787f

Browse files
styk-tvstyk-tv
committed
v3.5-alpha6: formal IAO/CCO Layer 0.5 grounding
Add owl:imports for IAO, CCO AgentOntology, CCO ArtifactOntology, PROV-O. Dual rdfs:subClassOf where spec requires it (Kernel = MaterialEntity + Agent, Edge = GenDepCont + Artifact, Instance = GenDepCont + DataItem, etc.). Reclassify QueueContract from Disposition to DirectiveInformationEntity. Update all 8 modules for consistent mid-level grounding.
1 parent 4bd583c commit e04787f

8 files changed

Lines changed: 97 additions & 97 deletions

File tree

‎docs/public/ontology/v3.5-alpha6/base-instances.ttl‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
# ConceptKernel Base Instance Shapes Ontology
2-
# Version: v3.5
3-
# Date: 2026-03-25
2+
# Version: v3.5-alpha6
3+
# Date: 2026-04-01
44
# Purpose: OWL classes for base instance shapes — InstanceManifest, SealedInstance, LedgerEntry
5-
# Source: SPEC.CKP.v3.5.alpha-3.md Section 4.1
65

76
@prefix : <https://conceptkernel.org/ontology/v3.5/> .
87
@prefix ckp: <https://conceptkernel.org/ontology/v3.5/> .
98
@prefix bfo: <http://purl.obolibrary.org/obo/BFO_> .
9+
@prefix iao: <http://purl.obolibrary.org/obo/IAO_> .
1010
@prefix owl: <http://www.w3.org/2002/07/owl#> .
1111
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
1212
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@@ -19,22 +19,22 @@
1919
dc:title "ConceptKernel Base Instance Shapes Ontology" ;
2020
dc:description "OWL classes defining the base instance shapes for InstanceManifest, SealedInstance, and LedgerEntry" ;
2121
dcterms:created "2026-03-25"^^xsd:date ;
22-
owl:versionInfo "v3.5" ;
22+
dcterms:modified "2026-04-01"^^xsd:date ;
23+
owl:versionInfo "v3.5-alpha6" ;
2324
dcterms:creator "Peter Styk <peter@conceptkernel.org>" ;
2425
rdfs:seeAlso <https://conceptkernel.org> ;
2526
rdfs:seeAlso <https://github.com/ConceptKernel> ;
26-
rdfs:comment "Defines the canonical instance structures from SPEC.CKP.v3.5.alpha-3 Section 4.1" ;
27-
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ,
28-
<https://conceptkernel.org/ontology/v3.5/> .
27+
rdfs:comment "Defines the canonical instance structures. InstanceManifest and LedgerEntry grounded in iao:DataItem." ;
28+
owl:imports <https://conceptkernel.org/ontology/v3.5/> .
2929

3030
#################################################################
3131
# InstanceManifest — base class for all instances
3232
#################################################################
3333

3434
ckp:InstanceManifest a owl:Class ;
35-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant (information entity)
35+
rdfs:subClassOf iao:0000027 ; # iao:DataItem (via ckp:Instance reclassification)
3636
rdfs:label "Instance Manifest"@en ;
37-
rdfs:comment "The base shape for all CKP instances. An immutable information entity produced by a kernel action. Every instance directory contains a manifest.json conforming to this shape."@en ;
37+
rdfs:comment "The base shape for all CKP instances. An immutable data item produced by a kernel action. Every instance directory contains a manifest.json conforming to this shape."@en ;
3838
dc:description "Stored at storage/instances/i-{identifier}/manifest.json" .
3939

4040
### InstanceManifest Properties
@@ -121,7 +121,7 @@ ckp:ck_ref a owl:DatatypeProperty , owl:FunctionalProperty ;
121121
#################################################################
122122

123123
ckp:LedgerEntry a owl:Class ;
124-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant (information entity)
124+
rdfs:subClassOf iao:0000027 ; # iao:DataItem
125125
rdfs:label "Ledger Entry"@en ;
126126
rdfs:comment "An append-only log entry recording a state transition or action event. Stored in storage/ledger/ as JSONL files, one entry per line."@en ;
127127
dc:description "Stored at storage/ledger/actions-{date}.jsonl" .

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

Lines changed: 40 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,17 @@
1-
# ConceptKernel Base BFO Ontology
1+
# ConceptKernel Core Ontology
22
# Version: v3.5-alpha6
3-
# Date: 2026-03-31
4-
# Purpose: Core BFO mappings for ConceptKernel continuants
5-
# Alpha-6: Adds InlineKernel, StaticKernel, Project, Reconciliation
6-
# IAO/CCO grounding annotations per ontology layering strategy
3+
# Date: 2026-04-01
4+
# Purpose: Core entity definitions with formal IAO/CCO mid-level grounding
5+
# Alpha-6: InlineKernel, StaticKernel, Project, Reconciliation
6+
# Formal owl:imports for IAO, CCO, PROV-O (Option A grounding)
77

88
@prefix : <https://conceptkernel.org/ontology/v3.5/> .
99
@prefix ckp: <https://conceptkernel.org/ontology/v3.5/> .
1010
@prefix bfo: <http://purl.obolibrary.org/obo/BFO_> .
11+
@prefix iao: <http://purl.obolibrary.org/obo/IAO_> .
12+
@prefix cco: <http://www.ontologyrepository.com/CommonCoreOntologies/> .
13+
@prefix prov: <http://www.w3.org/ns/prov#> .
14+
@prefix vf: <https://w3id.org/valueflows#> .
1115
@prefix owl: <http://www.w3.org/2002/07/owl#> .
1216
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
1317
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@@ -16,30 +20,32 @@
1620
@prefix dcterms: <http://purl.org/dc/terms/> .
1721

1822
<https://conceptkernel.org/ontology/v3.5/> a owl:Ontology ;
19-
dc:title "ConceptKernel BFO Base Ontology" ;
20-
dc:description "Formal ontology mapping ConceptKernel entities to Basic Formal Ontology (BFO) classes" ;
23+
dc:title "ConceptKernel Core Ontology" ;
24+
dc:description "Core entity definitions for ConceptKernel with formal IAO/CCO mid-level grounding per CKP v3.5 ontology layering strategy" ;
2125
dcterms:created "2025-11-23"^^xsd:date ;
22-
dcterms:modified "2026-03-31"^^xsd:date ;
26+
dcterms:modified "2026-04-01"^^xsd:date ;
2327
owl:versionInfo "v3.5-alpha6" ;
2428
dcterms:creator "Peter Styk <peter@conceptkernel.org>" ;
2529
rdfs:seeAlso <https://conceptkernel.org> ;
2630
rdfs:seeAlso <https://github.com/ConceptKernel> ;
27-
rdfs:comment "Core continuants and occurrents: Kernel, Edge, Instance, Ontology, Action, GovernanceMode. Alpha-6 adds InlineKernel, StaticKernel, Project, Reconciliation."@en ;
31+
rdfs:comment "Core continuants and occurrents: Kernel, Edge, Instance, Ontology, Action, GovernanceMode. Alpha-6 adds InlineKernel, StaticKernel, Project, Reconciliation. Formal IAO/CCO grounding (Layer 0.5)."@en ;
2832
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ,
29-
<https://conceptkernel.org/ontology/v3.5/base-instances> ,
30-
<https://conceptkernel.org/ontology/v3.5/proof> .
33+
<http://purl.obolibrary.org/obo/iao.owl> ,
34+
<http://www.ontologyrepository.com/CommonCoreOntologies/AgentOntology> ,
35+
<http://www.ontologyrepository.com/CommonCoreOntologies/ArtifactOntology> ,
36+
<http://www.w3.org/ns/prov#> .
3137

3238
#################################################################
3339
# Continuants - Entities that persist through time
3440
#################################################################
3541

36-
### Kernel (Independent Continuant - Material Entity)
37-
### Grounded in cco:Agent — a kernel is both material entity AND agent
42+
### Kernel (Independent Continuant - Material Entity + Agent)
43+
### Formally grounded in cco:Agent — a kernel is both material entity AND agent
3844

3945
ckp:Kernel a owl:Class ;
40-
rdfs:subClassOf bfo:0000040 ; # bfo:MaterialEntity
46+
rdfs:subClassOf bfo:0000040 , cco:Agent ; # bfo:MaterialEntity + cco:Agent
4147
rdfs:label "Concept Kernel"@en ;
42-
rdfs:comment "A persistent computational entity that maintains identity across time. Kernels are the fundamental atomic units of computation in ConceptKernel architecture. Grounded in cco:Agent — a kernel acts autonomously."@en ;
48+
rdfs:comment "A persistent computational entity that maintains identity across time. Kernels are the fundamental atomic units of computation in ConceptKernel architecture. Dual-grounded: bfo:MaterialEntity (physical persistence) + cco:Agent (autonomous action)."@en ;
4349
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
4450
ckp:coverageScore "0.85"^^xsd:decimal .
4551

@@ -111,9 +117,9 @@ ckp:hasType a owl:ObjectProperty , owl:FunctionalProperty ;
111117
### Kernel Dispositions (Contract Capabilities)
112118

113119
ckp:QueueContract a owl:Class ;
114-
rdfs:subClassOf bfo:0000016 ; # bfo:Disposition
120+
rdfs:subClassOf iao:0000033 ; # iao:DirectiveInformationEntity
115121
rdfs:label "Queue Contract"@en ;
116-
rdfs:comment "Disposition defining what inputs a kernel can accept. Grounded in iao:0000017 (DirectiveInformationEntity) — a contract directs how to interact."@en ;
122+
rdfs:comment "A directive information entity defining what inputs a kernel can accept. A contract directs how to interact — it specifies the expected input format and acceptable edge sources."@en ;
117123
dc:description "Defined in ontology.yaml: spec.queue_contract" .
118124

119125
ckp:StorageContract a owl:Class ;
@@ -148,19 +154,18 @@ ckp:hasNotificationContract a owl:ObjectProperty ;
148154
#################################################################
149155

150156
ckp:InformationEntity a owl:Class ;
151-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant
157+
rdfs:subClassOf iao:0000030 ; # iao:InformationContentEntity
152158
rdfs:label "Information Entity"@en ;
153-
rdfs:comment "An abstract information-bearing entity that can be concretized in multiple bearers. Base class for Instance, Edge, and other information artifacts."@en .
159+
rdfs:comment "An abstract information-bearing entity that can be concretized in multiple bearers. Base class for Instance, Edge, and other information artifacts. Formally grounded in iao:InformationContentEntity."@en .
154160

155161
#################################################################
156-
# Edge (Generically Dependent Continuant - Relational Entity)
157-
# Grounded in cco:Artifact — an edge is a constructed artifact
162+
# Edge (cco:Artifact — a constructed relational artifact)
158163
#################################################################
159164

160165
ckp:Edge a owl:Class ;
161-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant
166+
rdfs:subClassOf cco:Artifact ; # cco:Artifact (constructed artifact)
162167
rdfs:label "Edge"@en ;
163-
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. Grounded in cco:Artifact — an edge is a constructed artifact connecting kernels."@en ;
168+
rdfs:comment "An abstract relationship between two kernels — the ONLY mechanism for inter-Kernel communication. Edges are constructed artifacts that define the connectivity graph. Formally grounded in cco:Artifact."@en ;
164169
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
165170
ckp:coverageScore "0.85"^^xsd:decimal ;
166171
ckp:architecturalConstraint "NO direct Kernel-to-Kernel communication. ONLY through EdgeKernel-managed Edges."^^xsd:string .
@@ -255,14 +260,13 @@ ckp:isAuthorized a owl:DatatypeProperty ;
255260
rdfs:comment "Whether the target kernel explicitly authorizes this edge in its queue_contract.edges"@en .
256261

257262
#################################################################
258-
# Instance (Generically Dependent Continuant - Information Entity)
259-
# Grounded in iao:0000027 (DataItem) — an instance is a data item
263+
# Instance (iao:DataItem — a truthful data item)
260264
#################################################################
261265

262266
ckp:Instance a owl:Class ;
263-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant (information entity)
267+
rdfs:subClassOf iao:0000027 ; # iao:DataItem
264268
rdfs:label "Instance"@en ;
265-
rdfs:comment "A persistent information entity - the result of a Process. Instances are immutable artifacts stored in {kernel}/storage/instances/i-{identifier}/. Grounded in iao:0000027 (DataItem) — an instance is a truthful data item about something."@en ;
269+
rdfs:comment "A persistent information entity — the result of a Process. Instances are immutable artifacts stored in {kernel}/storage/instances/i-{identifier}/. Formally grounded in iao:DataItem — an instance is a truthful data item about something."@en ;
266270
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
267271
ckp:coverageScore "0.80"^^xsd:decimal .
268272

@@ -302,15 +306,14 @@ ckp:producesInstance a owl:ObjectProperty ;
302306
owl:inverseOf ckp:createdByKernel .
303307

304308
#################################################################
305-
# Action (Occurrent - Process)
309+
# Action (iao:PlanSpecification — a plan that gets realized as a process)
306310
# v3.5: Actions are the executable operations a kernel exposes
307-
# Grounded in iao:0000104 (PlanSpecification) — an action is a plan
308311
#################################################################
309312

310313
ckp:Action a owl:Class ;
311-
rdfs:subClassOf bfo:0000015 ; # bfo:Process
314+
rdfs:subClassOf iao:0000104 ; # iao:PlanSpecification
312315
rdfs:label "Action"@en ;
313-
rdfs:comment "An executable operation exposed by a kernel. Actions are processes that transform inputs into instances. Defined in conceptkernel.yaml under spec.actions. Grounded in iao:0000104 (PlanSpecification) — an action is a plan specification that gets realized as a process."@en .
316+
rdfs:comment "An executable operation exposed by a kernel. Actions are plan specifications defined in conceptkernel.yaml under spec.actions. When executed, they are realized as ckpp:InvocationProcess instances. Formally grounded in iao:PlanSpecification."@en .
314317

315318
ckp:hasAction a owl:ObjectProperty ;
316319
rdfs:domain ckp:Kernel ;
@@ -364,14 +367,13 @@ ckp:hasGovernanceMode a owl:ObjectProperty , owl:FunctionalProperty ;
364367
rdfs:comment "The governance disposition of this kernel"@en .
365368

366369
#################################################################
367-
# Ontology (Dependent Continuant - Universal)
368-
# Grounded in iao:0000310 (Document) — an ontology is a document
370+
# Ontology (iao:Document — the ontology file is a document)
369371
#################################################################
370372

371373
ckp:KernelOntology a owl:Class ;
372-
rdfs:subClassOf bfo:0000020 ; # bfo:SpecificallyDependentContinuant
374+
rdfs:subClassOf iao:0000310 ; # iao:Document
373375
rdfs:label "Kernel Ontology"@en ;
374-
rdfs:comment "Ontology defines the essential nature of a Kernel (its qualities and dispositions). Stored as ontology.yaml in each kernel directory. Grounded in iao:0000310 (Document) — an ontology is a document, not a quality of the kernel."@en ;
376+
rdfs:comment "Ontology defines the essential nature of a Kernel (its qualities and dispositions). Stored as ontology.yaml in each kernel directory. Formally grounded in iao:Document — an ontology is a document, not a quality of the kernel."@en ;
375377
dc:description "Format: YAML conforming to apiVersion: conceptkernel/v1, kind: Ontology" ;
376378
ckp:implementationStatus "WELL_IMPLEMENTED"^^xsd:string ;
377379
ckp:coverageScore "0.70"^^xsd:decimal .
@@ -390,14 +392,13 @@ ckp:hasOntology a owl:ObjectProperty , owl:FunctionalProperty ;
390392
owl:inverseOf ckp:definesKernel .
391393

392394
#################################################################
393-
# Alpha-6: Project (Generically Dependent Continuant)
394-
# Grounded in cco:Organization — a project organizes kernels
395+
# Alpha-6: Project (cco:Organization — organizes kernels)
395396
#################################################################
396397

397398
ckp:Project a owl:Class ;
398-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant
399+
rdfs:subClassOf cco:Organization ; # cco:Organization
399400
rdfs:label "Project"@en ;
400-
rdfs:comment ".ckproject declaration, organizes kernels into a coherent unit. A project is the top-level container that groups related kernels, edges, and workflows. Grounded in cco:Organization — a project organizes kernels into a coherent unit."@en ;
401+
rdfs:comment ".ckproject declaration, organizes kernels into a coherent unit. A project is the top-level container that groups related kernels, edges, and workflows. Formally grounded in cco:Organization."@en ;
401402
dc:description "Alpha-6 addition. Declared via .ckproject file at project root." ;
402403
ckp:implementationStatus "PARTIAL"^^xsd:string .
403404

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +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-
dcterms:modified "2026-03-26"^^xsd:date ;
22-
owl:versionInfo "v3.5.0" ;
21+
dcterms:modified "2026-04-01"^^xsd:date ;
22+
owl:versionInfo "v3.5-alpha6" ;
2323
dcterms:creator "Peter Styk <peter@conceptkernel.org>" ;
2424
rdfs:seeAlso <https://conceptkernel.org> ;
2525
rdfs:seeAlso <https://github.com/ConceptKernel> ;

‎docs/public/ontology/v3.5-alpha6/proof.ttl‎

Lines changed: 10 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
# ConceptKernel Proof Ontology
2-
# Version: v3.5
3-
# Date: 2026-03-25
2+
# Version: v3.5-alpha6
3+
# Date: 2026-04-01
44
# Purpose: OWL classes for ProofRecord, ProofCheck, ProofOutcome, and CheckType
5-
# Source: SPEC.CKP.v3.5.alpha-3.md
65

76
@prefix : <https://conceptkernel.org/ontology/v3.5/> .
87
@prefix ckp: <https://conceptkernel.org/ontology/v3.5/> .
98
@prefix bfo: <http://purl.obolibrary.org/obo/BFO_> .
9+
@prefix iao: <http://purl.obolibrary.org/obo/IAO_> .
1010
@prefix owl: <http://www.w3.org/2002/07/owl#> .
1111
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
1212
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@@ -18,21 +18,21 @@
1818
dc:title "ConceptKernel Proof Ontology" ;
1919
dc:description "OWL classes defining proof records, proof checks, outcomes, and check types for verifiable instance integrity" ;
2020
dcterms:created "2026-03-25"^^xsd:date ;
21-
owl:versionInfo "v3.5" ;
21+
dcterms:modified "2026-04-01"^^xsd:date ;
22+
owl:versionInfo "v3.5-alpha6" ;
2223
dcterms:creator "Peter Styk <peter@conceptkernel.org>" ;
2324
rdfs:seeAlso <https://conceptkernel.org> ;
2425
rdfs:seeAlso <https://github.com/ConceptKernel> ;
2526
rdfs:comment "Defines the proof verification structures: ProofRecord, ProofCheck, ProofOutcome, CheckType" ;
26-
owl:imports <http://purl.obolibrary.org/obo/bfo.owl> ,
27-
<https://conceptkernel.org/ontology/v3.5/> ,
27+
owl:imports <https://conceptkernel.org/ontology/v3.5/> ,
2828
<https://conceptkernel.org/ontology/v3.5/base-instances> .
2929

3030
#################################################################
3131
# ProofRecord — verification record for a sealed instance
3232
#################################################################
3333

3434
ckp:ProofRecord a owl:Class ;
35-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant (information entity)
35+
rdfs:subClassOf iao:0000027 ; # iao:DataItem
3636
rdfs:label "Proof Record"@en ;
3737
rdfs:comment "A verification record documenting that a sealed instance has been checked for integrity, schema compliance, provenance, and structure. Stored at storage/proof/{instance_id}/proof.json."@en ;
3838
dc:description "Generated by TechGames.ComplianceCheck or equivalent verification kernel" .
@@ -104,7 +104,7 @@ ckp:svid a owl:DatatypeProperty , owl:FunctionalProperty ;
104104
#################################################################
105105

106106
ckp:ProofCheck a owl:Class ;
107-
rdfs:subClassOf bfo:0000031 ; # bfo:GenericallyDependentContinuant (information entity)
107+
rdfs:subClassOf iao:0000027 ; # iao:DataItem
108108
rdfs:label "Proof Check"@en ;
109109
rdfs:comment "An individual verification check within a proof record. Each check validates a specific aspect of the instance (schema, SHACL, provenance, structure, integrity, operational)."@en .
110110

@@ -145,6 +145,7 @@ ckp:passed a owl:DatatypeProperty , owl:FunctionalProperty ;
145145
#################################################################
146146

147147
ckp:ProofOutcome a owl:Class ;
148+
rdfs:subClassOf bfo:0000019 ; # bfo:Quality
148149
rdfs:label "Proof Outcome"@en ;
149150
rdfs:comment "The overall result of a proof verification. One of: PASS (all checks passed), FAIL (one or more critical checks failed), PARTIAL (some checks passed, some non-critical failed)."@en .
150151

@@ -165,6 +166,7 @@ ckp:ProofOutcome-PARTIAL a owl:NamedIndividual , ckp:ProofOutcome ;
165166
#################################################################
166167

167168
ckp:CheckType a owl:Class ;
169+
rdfs:subClassOf bfo:0000019 ; # bfo:Quality
168170
rdfs:label "Check Type"@en ;
169171
rdfs:comment "Category of a proof verification check. Determines what aspect of the instance is being validated."@en .
170172

0 commit comments

Comments
 (0)