strixonomy-reasoner-0.28.0
- strixonomy-reasoner 0.28.0
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- 28 July 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- eddiethedean
- Dependencies
- hex ^0.4 normal
  horned-owl ^1.4 normal
  ontologos-bridge ^1.1.4 normal
  ontologos-core ^1.1.4 normal
  ontologos-dl ^1.1.4 normal
  ontologos-el ^1.1.4 normal
  ontologos-explain ^1.1.4 normal
  ontologos-facade ^1.1.4 normal
  ontologos-parser ^1.1.4 normal
  ontologos-profile ^1.1.4 normal
  ontologos-rl ^1.1.4 normal
  ontologos-swrl ^1.1.4 normal
  serde ^1 normal
  serde_json ^1 normal
  sha2 ^0.10 normal
  strixonomy-catalog ^0.28.0 normal
  strixonomy-core ^0.28.0 normal
  strixonomy-owl ^0.28.0 normal
  strixonomy-parser ^0.28.0 normal
  strixonomy-swrl ^0.28.0 normal
  tempfile ^3 normal
  thiserror ^2 normal
  strixonomy-catalog ^0.28.0 dev
  tempfile ^3 dev
- Versions
- 12.79% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

check_consistency

strixonomy_reasoner0.28.0

strixonomy_reasoner

Function check_consistency

pub fn check_consistency(
    profile: ReasonerId,
    input: &ReasonerInput,
) -> Result<ConsistencyResult>