Search 7 packages
| Packages1–7 of 7 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| owl-dl-core cargo | 0.4.36 | clean | Core IR, normalization, and shared utilities for the rustdl OWL DL reasoner | 743 | 2d ago |
| owl-dl-datatypes cargo | not built | Datatype reasoners (xsd:boolean, xsd:integer, xsd:string, ...) for rustdl | 589 | 2d ago | |
| owl-dl-saturation cargo | 0.4.36 | clean | Consequence-based saturation engine for the EL fragment, used by rustdl | 545 | 2d ago |
| owl-dl-tableau cargo | 0.4.36 | clean | Tableau-based reasoning engine for SROIQ used by rustdl | 510 | 2d ago |
| owl-dl-reasoner cargo | not built | Hybrid saturation+tableau OWL DL reasoner — public API for rustdl | 422 | 2d ago | |
| rustdl cargo | 0.4.36 | clean | OWL 2 DL (SROIQ) reasoner in Rust — umbrella crate re-exporting owl-dl-reasoner and its pinned horned-owl | 158 | 1d ago |
| owl-dl-cli cargo | 0.4.36 | 2 vulnerabilities 2 | Command-line interface for the rustdl OWL DL reasoner | 157 | 1d ago |
