OntoLogos v0.3.0

OntoLogos v0.3.0

RDFS materialization — the first reasoning engine.

Install (Rust)

[dependencies]
ontologos-core = "0.3.0"
ontologos-parser = "0.3.0"
ontologos-profile = "0.3.0"
ontologos-rdfs = "0.3.0"

Docs:

• https://docs.rs/ontologos-core/0.3.0
• https://docs.rs/ontologos-parser/0.3.0
• https://docs.rs/ontologos-profile/0.3.0
• https://docs.rs/ontologos-rdfs/0.3.0

What ships in v0.3.0

• RDFS engine — TBox materialization: subClassOf / subPropertyOf closure, domain/range inheritance
• CLI — ontologos materialize <file> and ontologos classify <file> (RDFS) with text and JSON reports
• Conformance — Family and Pizza corpus tests; HermiT Tier-A RDFS ports in ontologos-conformance
• Profile diagnostics — DL detection explains mapped constructs that rule out EL/RL

Quick start

git clone https://github.com/eddiethedean/ontologos.git
cd ontologos
./benchmarks/scripts/download.sh
cargo build -p ontologos-cli --release
./target/release/ontologos materialize benchmarks/data/family.owl
./target/release/ontologos --format json materialize benchmarks/data/family.owl

Not yet available

• OWL RL / EL classification (v0.4–v0.5)
• Explanations (v0.6)
• Full Python API (v0.9)

See CHANGELOG.md for the full list of changes.

OntoLogos v0.1.0

OntoLogos v0.1.0

First public release of OntoLogos — a modular Rust ontology reasoner in early development.

Install

[dependencies]
ontologos-core = "0.1.0"

Docs: https://docs.rs/ontologos-core/0.1.0

What ships in v0.1.0

Only the ontologos-core crate is published to crates.io. It provides:

• In-memory ontology data model (interned IRIs, entity registry, structured axioms)
• OntologyBuilder for programmatic construction
• JSON snapshot v2 (to_json / from_json) with deserialization limits
• Axiom indexes for downstream reasoning engines

OWL file parsing, profile detection, and reasoning engines are planned for v0.2+.

Breaking changes

• JSON snapshot format is v2 only for untrusted input (v1 rejected)
• AxiomKind replaced by structured Axiom with entity references

Quick start

cargo run -p ontologos-core --example pizza_builder

See CHANGELOG.md for the full list of changes.