owl-dl-core 0.2.2

Core IR, normalization, and shared utilities for the rustdl OWL DL reasoner
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

//! Core IR, normalization, and shared utilities for the rustdl OWL DL reasoner.
//!
//! Phase 0 (in progress) lands the interned concept IR with structural sharing.
//! Phase 1 will add NNF, structural transformation, absorption, told-subsumers,
//! and told-disjoints.
//!
//! See `owl-dl-reasoner-rust-strategy-v2.md` at the workspace root for the
//! full plan.

pub mod absorb;
pub mod clause;
pub mod convert;
pub mod convert_back;
pub mod data_axioms;
pub mod definitions;
pub mod ir;
pub mod locality;
pub mod normalize;
pub mod ontology;
pub mod residual_trigger;
pub mod role_hierarchy;
pub mod told;
pub mod transform;
pub mod vocab;

pub use absorb::{AbsorbedTBox, ConceptRule, NominalRule, RoleRule, absorb, absorb_roles};
pub use convert::{
    ConversionError, convert_class_expression, convert_component, convert_individual,
    convert_object_property, convert_ontology,
};
pub use convert_back::{axiom_to_component, concept_to_class_expression, convert_back};
pub use definitions::{Definitions, extract_definitions};
pub use ir::{ClassId, ConceptExpr, ConceptId, ConceptPool, IndividualId, Role, RoleId};
pub use normalize::{is_nnf, nnf_axioms, nnf_complement, to_nnf};
pub use ontology::{Axiom, InternalOntology, SubRolePath};
pub use role_hierarchy::{RoleHierarchy, RoleHierarchyBuilder};
pub use told::{ToldTables, build_told_tables};
pub use transform::transform;
pub use vocab::Vocabulary;