Skip to content

OntoCode

Classify

eddiethedean/ontocode

Classify cookbook¶

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

EL profile (default)¶

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

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

Other profiles¶

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

From a git clone¶

cargo run -- classify fixtures --profile el

CI note¶

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