Skip to content
Open-Source Registry

Search 11 packages

Found
Build behaviour
Packages1–11 of 11VersionFindingsDescriptionDownloadsWhen
owl-dl-core cargo0.4.36clean Core IR, normalization, and shared utilities for the rustdl OWL DL reasoner7432d ago
jsonld-syntax cargo0.24.0clean JSON-LD syntax6111d ago
owl-dl-datatypes cargonot built Datatype reasoners (xsd:boolean, xsd:integer, xsd:string, ...) for rustdl5892d ago
jsonld-core cargo0.24.0clean JSON-LD core types and traits5841d ago
owl-dl-saturation cargo0.4.36clean Consequence-based saturation engine for the EL fragment, used by rustdl5452d ago
owl-dl-tableau cargo0.4.36clean Tableau-based reasoning engine for SROIQ used by rustdl5102d ago
owl-dl-reasoner cargonot built Hybrid saturation+tableau OWL DL reasoner — public API for rustdl4222d ago
rustdl cargo0.4.36clean OWL 2 DL (SROIQ) reasoner in Rust — umbrella crate re-exporting owl-dl-reasoner and its pinned horned-owl1581d ago
owl-dl-cli cargo0.4.362 vulnerabilities 2Command-line interface for the rustdl OWL DL reasoner1571d ago
radeau-plugin cargo0.1.10clean Protocol shared by radeau and its radeau-* plugins101d ago
radeau cargo0.1.10clean command-line interface for working with Dolfin ontology files. It provides tools for linting, formatting, building, and managing Dolfin packages (`.dlf` files).81d ago