CLI Reference

Binary: ontologos (from ontologos-cli crate).

v0.5: classify routes by --profile (default auto) to OWL EL taxonomy, OWL RL saturation, or RDFS materialization — matching Protégé/HermiT "Classify" semantics for EL. Use materialize for explicit RDFS.

Install

ontologos-cli is not published to crates.io (publish = false). Build from a repository clone or install from git.

Build from clone

git clone https://github.com/eddiethedean/ontologos.git
cd ontologos
cargo build -p ontologos-cli --release
./target/release/ontologos --help

Install from git

Requires Rust 1.88+:

cargo install --git https://github.com/eddiethedean/ontologos ontologos-cli
ontologos --help

Global options

Flag	Values	Default	Description
--profile	auto, el, rl, rdfs	auto	Engine for classify
--format	text, json	text	Output format

Subcommands

Command	Status	Description
profile <file>	Works	Detect OWL profile (EL/RL/QL/DL)
classify <file>	Works	Profile-routed classification / saturation
materialize <file>	Works	Explicit RDFS TBox materialization
explain <file>	v0.6	Proof graph JSON/text; supports --profile

classify

--profile	Engine	Output
el	ontologos-el	Taxonomy (subsumptions, equivalences, unsatisfiable)
rl	ontologos-rl	Materialization report
rdfs	ontologos-rdfs	Materialization report
auto	detect → EL or RL	Taxonomy or materialization report

DL-detected ontologies with --profile auto return an error; use an explicit profile or materialize for RDFS.

Examples

ontologos classify --profile el benchmarks/data/pizza.owl
ontologos classify --profile rl benchmarks/data/family.owl
ontologos classify --profile rdfs ontology.owl
ontologos classify --profile auto ontology.owl
ontologos materialize ontology.owl
ontologos --format json classify --profile el pizza.owl

Migration from v0.4

v0.4 classify always ran RDFS. See v0.4.x → v0.5.0.