Switch to ROBOT BOT slim modules for RO / IAO / CCO#27
Merged
Conversation
…m modules
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) <noreply@anthropic.com>
![greptile-apps[bot]](https://avatars.githubusercontent.com/in/867647?s=60&v=4){kind=small}
There was a problem hiding this comment.
Your free trial has ended. If you'd like to continue receiving code reviews, you can add a payment method here.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
owl:versionInfoannotations + the CCO section header comment inARCO_core.ttlandARCO_governance_extension.ttlso the in-file documentation matches the actual import chain (commit 28ff338)The full-upstream-import alternative was tested in PRs #24 and #25 and produced byte-identical classification outputs at substantially higher reasoning cost (HermiT 30–40 min vs ~7 min on the slim modules; projected 1–3 hours once CCO was added). README §"Why ROBOT BOT slim modules" documents the rationale.
Architectural impact
imports/ro_bot.owl,imports/iao_bot.owl,imports/cco_bot.owl, plus version-controlled seed lists atimports/seeds/AnnexIII1aApplicableSystementailed;HighRiskSystementailed; 9/9 audit queries PASSTest plan
arco-smoke-testworkflow: pipeline ends "ALL CHECKS PASSED" + gate-removal + scenariosarco-demoworkflow: pipeline + 5 artifact files producedrobot-validateworkflow: ROBOT installs, OWL 2 DL profile validation, HermiT reasoning, HermiT-vs-owlrl SPARQL classification diff (informational, all 7/7 should agree)runs/demo/🤖 Generated with Claude Code