Baltor Get started

Library / Skill

Compute every triple an RDF graph entails under the RDFS or OWL 2 RL rule table

baltor_rdfs_owl_rl_closure

Compute every triple an RDF graph entails under the RDFS or OWL 2 RL rule table, with one checkable derivation per derived triple.

Files, names only

  • LICENSE 1.0 KB
  • SKILL.md 2.9 KB
  • contracts/input.schema.json 724 bytes
  • contracts/output.schema.json 2.3 KB
  • examples/example.expected.json 2.4 KB
  • examples/example.input.json 496 bytes
  • references/provenance.json 4.4 KB
  • scripts/rdf_terms.py 22.7 KB
  • scripts/rule_closure.py 8.6 KB
  • scripts/tool.py 4.1 KB
  • verification/test_tool.py 4.5 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, max_closure_triples, include_derivations
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
Seventeen rules, not the whole of OWL 2 RL: no `owl:sameAs` replacement, no list rules (intersections, unions, `owl:hasKey`), no clash detection. An answer says what this table derives and nothing about consistency.

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/native_engine.py
Size
11 files, 54.1 KB
Identity
baltor_rdfs_owl_rl_closure
Version
9bfb237491e8a2728c904a0eb8d29fcdda47bc67ebfd7d6ba8b6a489d56d8683

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

Where it is shown

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.