List the entailed triples an ontology change adds and removes

baltor_ontology_change_consequences

List the entailed triples an ontology change adds and removes, each with an independently checked trace, bound to the digests of the graph before and after.

Files, names only

LICENSE 1.0 KB
SKILL.md 3.1 KB
contracts/input.schema.json 1.2 KB
contracts/output.schema.json 6.9 KB
examples/example.expected.json 3.7 KB
examples/example.input.json 694 bytes
references/provenance.json 4.7 KB
scripts/rdf_terms.py 22.7 KB
scripts/rule_closure.py 8.6 KB
scripts/tool.py 7.6 KB
scripts/trace_checker.py 8.6 KB
verification/test_tool.py 5.1 KB

Full files in your harness.

What it takes and gives

Command: python3 -B scripts/tool.py < examples/example.input.json
Input fields: version, profile, format, document, base_digest, added, removed, max_listed and 1 more
Test: python3 -B -m unittest discover -s verification -p 'test_*.py' -v
Files: SKILL.md, contracts/input.schema.json, contracts/output.schema.json, scripts/rdf_terms.py, scripts/rule_closure.py
Placed for: Claude Code, Codex, OpenCode, Pi

Limits and scope

Limits: The same seventeen rules as the `rdfs-owl-rl-closure` package: no `owl:sameAs` replacement, no list rules, no clash detection. A change cannot name blank nodes.

Details

Kind: Skill
Licence: MIT
Declared effects: reads files, runs commands
Placed for: Claude Code, Codex, OpenCode, Pi
Source: src/loop_engine/core/ontology_change/component.py
Size: 12 files, 73.9 KB
Identity: baltor_ontology_change_consequences
Version: f54255070825f31e7be8bca2860e9674915aee27fa94bb9d121d1caed779aa6c

The version is the SHA-256 of the item your harness downloads; every file in it names its own checksum.

Where it is shown

Algorithms that show their workDeterministic skills

Related components

Something wrong with this item, its rights or its safety? Report it on the support page, or from your harness after a download.