From 28ff338fbb80f9a3c68789244b1d3d6e80e877ff Mon Sep 17 00:00:00 2001 From: Alex Moskowitz Date: Fri, 1 May 2026 10:32:09 -0400 Subject: [PATCH] docs(ontology): refresh versionInfo + CCO section comment for BOT slim modules MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The owl:versionInfo strings on ARCO_core.ttl and ARCO_governance_extension.ttl described the pre-import state ("CCO terms declared as local stubs") and the ARCO_governance_extension.ttl section header read "CCO DECLARATIONS (local stubs — no full import)". Both became inaccurate when cco_bot.owl, ro_bot.owl, and iao_bot.owl landed via the BOT slim-module import chain. Updated to describe the current state: BFO 2020 as a full upstream file, RO / IAO / CCO as ROBOT BOT-extracted slim modules per the OBO Foundry / ODK pattern. The CCO section comment now also calls out which two declarations (DirectiveICE / DescriptiveICE) do non-trivial work as IAO/CCO bridging assertions versus the four that are redundant with cco_bot.owl. Annotation/comment-only edits; pipeline + gate-removal + scenarios all PASS, Sentinel-ID baseline unchanged (7,744 asserted -> 27,454 reasoned, +19,710 entailed; 9/9 audit queries PASS). Co-Authored-By: Claude Opus 4.7 (1M context) --- 03_TECHNICAL_CORE/ontology/ARCO_core.ttl | 2 +- .../ontology/ARCO_governance_extension.ttl | 18 ++++++++++++++++-- 2 files changed, 17 insertions(+), 3 deletions(-) diff --git a/03_TECHNICAL_CORE/ontology/ARCO_core.ttl b/03_TECHNICAL_CORE/ontology/ARCO_core.ttl index 6513d4f..af24d86 100644 --- a/03_TECHNICAL_CORE/ontology/ARCO_core.ttl +++ b/03_TECHNICAL_CORE/ontology/ARCO_core.ttl @@ -9,7 +9,7 @@ rdf:type owl:Ontology ; rdfs:label "ARCO Core (Gold Standard) — BFO/RO Aligned" ; rdfs:comment "Core ontology with OWL restrictions for computable reasoning + ICE-to-Reality grounding (IAO is_about) in an NCOR realism style. Uses ro:0000091 (has_disposition) per RO best practices." ; - owl:versionInfo "Foundational ontology alignment: BFO 2020 (ISO/IEC 21838-2:2021), bfo-core.owl loaded locally from 03_TECHNICAL_CORE/ontology/imports/bfo-2020.owl. OBO Relations Ontology (RO) release 2025-12-17, ro.owl loaded locally from 03_TECHNICAL_CORE/ontology/imports/ro.owl. Information Artifact Ontology (IAO) release 2026-03-30, iao.owl loaded locally from 03_TECHNICAL_CORE/ontology/imports/iao.owl. CCO terms declared as local stubs in ARCO_governance_extension.ttl." ; + owl:versionInfo "Foundational ontology alignment: BFO 2020 (ISO/IEC 21838-2:2021) loaded as full upstream file from 03_TECHNICAL_CORE/ontology/imports/bfo-2020.owl. OBO Relations Ontology (RO) release 2025-12-17, IAO release 2026-03-30, and CCO release v1.7-2024-11-03 are loaded as ROBOT BOT-extracted slim modules per the OBO Foundry / ODK standard pattern, from imports/ro_bot.owl, imports/iao_bot.owl, and imports/cco_bot.owl respectively. Seed term lists are version-controlled at 03_TECHNICAL_CORE/ontology/imports/seeds/. See README 'Foundational ontology versions' for the full table." ; owl:imports <../ontology/imports/bfo-2020.owl> . # NOTE: owl:imports uses a filesystem-relative path. rdflib does not follow # owl:imports automatically; BFO is loaded explicitly by load_union_graph(). diff --git a/03_TECHNICAL_CORE/ontology/ARCO_governance_extension.ttl b/03_TECHNICAL_CORE/ontology/ARCO_governance_extension.ttl index cf6e2b5..430145f 100644 --- a/03_TECHNICAL_CORE/ontology/ARCO_governance_extension.ttl +++ b/03_TECHNICAL_CORE/ontology/ARCO_governance_extension.ttl @@ -11,7 +11,7 @@ a owl:Ontology ; rdfs:label "ARCO Governance Extension — Entailment-First Regulatory Classification" ; rdfs:comment "Governance, intended use, and regulatory classification layer. AnnexIII1aApplicableSystem is OWL-entailed from three gates: capability + intended use + use scenario. Demonstrated under owlrl." ; -owl:versionInfo "Foundational ontology alignment: BFO 2020 (ISO/IEC 21838-2:2021), OBO Relations Ontology release 2025-12-17, and Information Artifact Ontology release 2026-03-30 are loaded as full upstream releases via ARCO_core.ttl. CCO terms (Organization, DirectiveInformationContentEntity, DescriptiveInformationContentEntity, prescribes, has_output, Person) remain declared as local stubs using IRI namespace http://www.ontologyrepository.com/CommonCoreOntologies/ (pre-integrated-release, exact version unverified). Full CCO import is not required; only the specific terms used are declared. Regulatory source: Regulation (EU) 2024/1689, official version of 13 June 2024; current ARCO encoding covers Article 6 / Annex III points 1(a) and 5(b)." ; +owl:versionInfo "Foundational ontology alignment: BFO 2020 (ISO/IEC 21838-2:2021) loaded as a full upstream file via ARCO_core.ttl; OBO Relations Ontology release 2025-12-17, Information Artifact Ontology release 2026-03-30, and Common Core Ontologies release v1.7-2024-11-03 loaded as ROBOT BOT-extracted slim modules per the OBO Foundry / ODK standard pattern. CCO terms in this file (Organization, DirectiveInformationContentEntity, DescriptiveInformationContentEntity, prescribes, has_output, Person) use IRI namespace http://www.ontologyrepository.com/CommonCoreOntologies/ (pre-v2.0, matching the pinned cco_bot.owl). Two of the local declarations (DirectiveICE and DescriptiveICE rdfs:subClassOf iao:0000030) are bridging assertions that wire CCO's ICE hierarchy to IAO's iao:0000030 — the only stubs that do non-trivial work; the rest are redundant with cco_bot.owl and kept for in-file readability. Regulatory source: Regulation (EU) 2024/1689, official version of 13 June 2024; current ARCO encoding covers Article 6 / Annex III points 1(a) and 5(b)." ; owl:imports . # NOTE: owl:imports references the core ontology IRI. rdflib does not follow # owl:imports automatically; all TTL files are loaded explicitly by the pipeline. @@ -87,7 +87,21 @@ owl:imports . ] . ################################################################# -# 3) CCO DECLARATIONS (local stubs — no full import) +# 3) CCO DECLARATIONS — bridging assertions + redundant locals +# +# CCO is loaded as a ROBOT BOT-extracted slim module (cco_bot.owl) via +# ARCO_core.ttl's import chain. Two of the declarations below do +# non-trivial work as IAO/CCO bridging assertions: +# - cco:DirectiveInformationContentEntity rdfs:subClassOf iao:0000030 +# - cco:DescriptiveInformationContentEntity rdfs:subClassOf iao:0000030 +# These wire CCO's ICE hierarchy to IAO's iao:0000030 (upstream CCO does +# not formally link cco:InformationContentEntity to iao:0000030). +# +# The remaining declarations (cco:prescribes, cco:has_output, cco:Person, +# cco:Organization) are redundant with cco_bot.owl. They are retained for +# in-file readability so a reader can see the full set of CCO terms used +# without cross-referencing the BOT module. A future cleanup may remove +# them; see audit D2 in the 2026-05-01 technical-files audit. ################################################################# cco:DirectiveInformationContentEntity rdf:type owl:Class ;