Skip to main content

ontologos_rdfs/
lib.rs

1//! RDFS reasoning via graph closure and property propagation.
2
3mod engine;
4mod reasoner;
5mod report;
6mod rules;
7
8pub use engine::RdfsEngine;
9pub use reasoner::{classify_reasoner, materialize_reasoner};
10pub use report::{InferenceRecord, MaterializationReport, RdfsRule};
11
12use ontologos_core::Error as CoreError;
13use thiserror::Error;
14
15pub type Result<T> = std::result::Result<T, Error>;
16
17#[derive(Debug, Error)]
18pub enum Error {
19    #[error("expected profile {expected:?}, got {actual:?}")]
20    WrongProfile {
21        expected: ontologos_core::Profile,
22        actual: ontologos_core::Profile,
23    },
24    #[error(transparent)]
25    Core(#[from] CoreError),
26}