Skip to content

Classify cookbook¶

Run OWL classification from the CLI. See Reasoner guide and errors reference.

EL profile (default)¶

strixonomy classify /path/to/ontologies --profile el --format json

Exit: 0 when consistent; non-zero when unsatisfiable classes exist (use in CI gates).

Other profiles¶

strixonomy classify /path/to/ontologies --profile rl --format json
strixonomy classify /path/to/ontologies --profile rdfs --format json
strixonomy classify /path/to/ontologies --profile dl --format json
strixonomy classify /path/to/ontologies --profile auto --auto-profile --format json

From a git clone¶

cargo run -- classify fixtures --profile el

CI note¶

strixonomy classify exits non-zero on unsatisfiable classes. LSP strixonomy/runReasoner returns consistent: false as a successful JSON result — see errors reference.