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.