Skip to content

Realize and instance check cookbook¶

ABox realization and instance checking for OntoCore CLI (v0.23+). See Reasoner guide and CLI reference.

Realize individuals¶

ontocore realize /path/to/ontologies --profile rl
ontocore realize /path/to/ontologies --profile dl --format json

Text output lists each individual with inferred types and most_specific types.

# From a git clone
cargo run -- realize fixtures --profile rl

Check instance¶

ontocore check-instance fixtures \
  --individual 'http://example.org/people#alice' \
  --class 'http://example.org/people#Person' \
  --profile rl

ontocore check-instance fixtures \
  --individual 'http://example.org/people#alice' \
  --class 'http://example.org/people#Person' \
  --format json

Exit: 0 when the individual is entailed to be an instance of the class; non-zero when not entailed (useful for CI assertions).

Profiles¶

Realization and instance checking accept the same profiles as classify: el, rl (default), rdfs, dl, auto. Prefer rl or dl when ABox depth matters.