Skip to main content

ontologos_rdfs/
lib.rs

1//! RDFS reasoning facade over [`reasonable`](https://crates.io/crates/reasonable).
2
3mod engine;
4mod reasoner;
5mod report;
6
7pub use engine::RdfsEngine;
8pub use reasoner::{classify_reasoner, materialize_reasoner};
9pub use report::{InferenceRecord, MaterializationReport, RdfsRule};
10
11use ontologos_core::Error as CoreError;
12use thiserror::Error;
13
14pub type Result<T> = std::result::Result<T, Error>;
15
16#[derive(Debug, Error)]
17pub enum Error {
18    #[error("expected profile {expected:?}, got {actual:?}")]
19    WrongProfile {
20        expected: ontologos_core::Profile,
21        actual: ontologos_core::Profile,
22    },
23    #[error(transparent)]
24    Core(#[from] CoreError),
25    #[error(transparent)]
26    Bridge(#[from] ontologos_bridge::Error),
27    #[error(transparent)]
28    Reasonable(#[from] reasonable::error::ReasonableError),
29}