Search 11 packages
| Packages1–11 of 11 | 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 |
| jsonld-syntax cargo | 0.24.0 | clean | JSON-LD syntax | 611 | 1d ago |
| owl-dl-datatypes cargo | not built | Datatype reasoners (xsd:boolean, xsd:integer, xsd:string, ...) for rustdl | 589 | 2d ago | |
| jsonld-core cargo | 0.24.0 | clean | JSON-LD core types and traits | 584 | 1d 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 |
| radeau-plugin cargo | 0.1.10 | clean | Protocol shared by radeau and its radeau-* plugins | 10 | 1d ago |
| radeau cargo | 0.1.10 | clean | command-line interface for working with Dolfin ontology files. It provides tools for linting, formatting, building, and managing Dolfin packages (`.dlf` files). | 8 | 1d ago |
