ic-ontology cargo 0.2.14 clean Machine-readable cryptographic ontology for agent discovery and selection 3.0K 1d ago isl-ontology cargo 0.3.2 clean The IronSocketLayer ontology: TLS 1.3 and QUIC protocol knowledge as closed-vocabulary data for agents 56 10h ago ontprox cargo 0.5.3 2 vulnerabilities 2 RDF format conversion as a web-service. 3.9K 2d ago 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 exocortex-kernel cargo 0.5.0 clean Ontology kernel for Exocortex: memory/relationship types, provenance, visibility, validators, and the deterministic fingerprint. Zero I/O. 304 20h ago exocortex-pack-dev-v1 cargo 0.5.0 clean The dev-domain ontology pack for Exocortex: 13 memory types, 12 entity types, 48 relationship kinds, and Crepe rules D1-D6. 238 20h 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 exocortex-pack-mortgage-v1 cargo 0.5.0 clean The mortgage/lending ontology pack for Exocortex: 7 memory types, 5 entity types, 11 relationship kinds, and pack-local Crepe rules M1-M3. Composes beside… 125 20h ago fv-contract cargo 0.2.0 clean The FusionVault contract: ontology schemas, cross-language conformance vectors, and generated catalogues, embedded at compile time. 71 1d ago exocortex-pack-study-v1 cargo 0.5.0 clean The learning-tracking ontology pack for Exocortex: 7 memory types, 3 entity types, 11 relationship kinds, and pack-local Crepe rules L1-L3. Composes beside… 50 20h ago ironsocketlayer cargo 0.3.2 clean Agentic-first TLS 1.3 and QUIC-TLS in pure Rust over IronCrypto, with a machine-readable ontology 50 9h ago ironcrypto cargo 0.2.13 clean Agentic-first, FIPS-oriented, pure-Rust cryptography with a machine-readable ontology 28 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 