qualia_core_db/modalities/logic/owl/mod.rs
1//! OWL support for QualiaDB.
2//!
3//! Two distinct concerns, one per submodule:
4//!
5//! - [`shacl_convert`] — *vocabulary lowering*: parse OWL (RadLex/DICOM healthcare
6//! ontologies in RDF/XML, Turtle, or N3) and emit `sh:NodeShape` graphs for the
7//! Webizen Sentinel, preserving the agency invariant (a `q42:Principal` may *have*
8//! `q42:Thing` possessions but is never itself a Thing).
9//! - [`materialize`] — *reasoning*: OWL 2 RL forward-chaining entailment closure
10//! over NQuin-style triples (zero-heap, datalog-style fixpoint), with disjointness
11//! contradiction isolation and property-chain unrolling.
12//!
13//! The public surface of both submodules is re-exported here so the historical
14//! module path `crate::modalities::logic::owl::*` is preserved.
15
16pub mod materialize;
17pub mod shacl_convert;
18
19pub use materialize::*;
20pub use shacl_convert::*;