reasonable 0.2.0-alpha

An OWL 2 RL reasoner with reasonable performance
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97

use oxigraph::sparql;
use oxigraph::model;

use std::io;
use std::fmt;
use std::sync::mpsc::RecvError;

#[cfg(feature = "sqlite")]
#[derive(Debug)]
pub enum ReasonableError {
    ManagerError(String),
    IO(io::Error),
    SPARQLParse(sparql::ParseError),
    IriParse(model::IriParseError),
    BNodeParse(model::BlankNodeIdParseError),
    Eval(sparql::EvaluationError),
    SQLite(rusqlite::Error),
    ChannelRecv(RecvError),
}

#[cfg(not(feature = "sqlite"))]
#[derive(Debug)]
pub enum ReasonableError {
    ManagerError(String),
    IO(io::Error),
    SPARQLParse(sparql::ParseError),
    IriParse(model::IriParseError),
    BNodeParse(model::BlankNodeIdParseError),
    Eval(sparql::EvaluationError),
    ChannelRecv(RecvError),
}

impl fmt::Display for ReasonableError {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        match self {
            ReasonableError::ManagerError(e) => write!(f, "{}", e),
            ReasonableError::IO(e) => write!(f, "{}", e.to_string()),
            ReasonableError::SPARQLParse(e) => write!(f, "{}", e.to_string()),
            ReasonableError::IriParse(e) => write!(f, "{}", e.to_string()),
            ReasonableError::BNodeParse(e) => write!(f, "{}", e.to_string()),
            ReasonableError::Eval(e) => write!(f, "{}", e.to_string()),
            ReasonableError::ChannelRecv(e) => write!(f, "{}", e.to_string()),
        }
    }
}

impl From<io::Error> for ReasonableError {
    fn from(err: io::Error) -> ReasonableError {
        ReasonableError::IO(err)
    }
}

impl From<sparql::ParseError> for ReasonableError {
    fn from(err: sparql::ParseError) -> ReasonableError {
        ReasonableError::SPARQLParse(err)
    }
}

impl From<sparql::EvaluationError> for ReasonableError {
    fn from(err: sparql::EvaluationError) -> ReasonableError {
        ReasonableError::Eval(err)
    }
}

impl From<model::IriParseError> for ReasonableError {
    fn from(err: model::IriParseError) -> ReasonableError {
        ReasonableError::IriParse(err)
    }
}

impl From<model::BlankNodeIdParseError> for ReasonableError {
    fn from(err: model::BlankNodeIdParseError) -> ReasonableError {
        ReasonableError::BNodeParse(err)
    }
}

#[cfg(feature = "sqlite")]
impl From<rusqlite::Error> for ReasonableError {
    fn from(err: rusqlite::Error) -> ReasonableError {
        ReasonableError::SQLite(err)
    }
}

impl From<RecvError> for ReasonableError {
    fn from(err: RecvError) -> ReasonableError {
        ReasonableError::ChannelRecv(err)
    }
}

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

#[cfg(feature = "python-library")]
impl Into<PyErr> for ReasonableError {
    fn into(self) -> PyErr {
        exceptions::PyTypeError::new_err("Error message")
    }
}