owl_dl_core/
lib.rs

1//! Core IR, normalization, and shared utilities for the rustdl OWL DL reasoner.
2//!
3//! Phase 0 (in progress) lands the interned concept IR with structural sharing.
4//! Phase 1 will add NNF, structural transformation, absorption, told-subsumers,
5//! and told-disjoints.
6//!
7//! See `owl-dl-reasoner-rust-strategy-v2.md` at the workspace root for the
8//! full plan.
9
10pub mod absorb;
11pub mod clause;
12pub mod convert;
13pub mod convert_back;
14pub mod data_axioms;
15pub mod definitions;
16pub mod ir;
17pub mod locality;
18pub mod normalize;
19pub mod ontology;
20pub mod residual_trigger;
21pub mod role_hierarchy;
22pub mod told;
23pub mod transform;
24pub mod vocab;
25
26pub use absorb::{AbsorbedTBox, ConceptRule, NominalRule, RoleRule, absorb, absorb_roles};
27pub use convert::{
28    ConversionError, convert_class_expression, convert_component, convert_individual,
29    convert_object_property, convert_ontology,
30};
31pub use convert_back::{axiom_to_component, concept_to_class_expression, convert_back};
32pub use definitions::{Definitions, extract_definitions};
33pub use ir::{ClassId, ConceptExpr, ConceptId, ConceptPool, IndividualId, Role, RoleId};
34pub use normalize::{is_nnf, nnf_axioms, nnf_complement, to_nnf};
35pub use ontology::{Axiom, InternalOntology, SubRolePath};
36pub use role_hierarchy::{RoleHierarchy, RoleHierarchyBuilder};
37pub use told::{ToldTables, build_told_tables};
38pub use transform::transform;
39pub use vocab::Vocabulary;
owl_dl_core/lib.rs

owl_dl_core/
lib.rs
