strixonomy-reasoner 0.27.0

OntoLogos-backed reasoner facade for Strixonomy (strixonomy-*)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

use thiserror::Error;

#[derive(Debug, Error)]
pub enum ReasonerError {
    #[error("core error: {0}")]
    Core(#[from] strixonomy_core::StrixonomyError),

    #[error("load error in {path}: {message}")]
    Load { path: std::path::PathBuf, message: String },

    #[error("unsupported profile: {0}")]
    UnsupportedProfile(String),

    #[error("ontology error: {0}")]
    Ontology(String),

    #[error("classification error: {0}")]
    Classify(String),

    #[error("explanation error: {0}")]
    Explain(String),

    #[error("no classification result cached; run reasoner first")]
    NotClassified,

    #[error("class not found: {0}")]
    ClassNotFound(String),

    #[error("explanation not available for class: {0}")]
    ExplanationUnavailable(String),

    #[error("individual not found: {0}")]
    IndividualNotFound(String),

    #[error("reasoner run cancelled")]
    Cancelled,
}

pub type Result<T> = std::result::Result<T, ReasonerError>;