Module ontology_align 

Ontology alignment (CI-SKM ch 4) — the engine behind “machine proposes closeMatch, signed human ratifies exactMatch”. Given two ontologies’ entity similarity, it proposes a graded correspondence set as review-required closeMatch — never an asserted exactMatch (the human-ratification invariant, enforced by correspondence).

• correspondence — result types + the guardrail.
• [align] — alignment-as-optimization (greedy + hill-climbing).

Re-exports

pub use align::align;

pub use correspondence::Alignment;

pub use correspondence::Correspondence;

pub use correspondence::ProposedStatus;

Modules

align

Ontology alignment as optimization (CI-SKM ch 4) — given a similarity matrix between two ontologies’ entities, find the injective correspondence set that maximizes total alignment quality. Greedy initialization refined by hill-climbing (reusing optimization::metaheuristics, no new optimizer).

correspondence

Ontology-alignment result types + the human-ratification guardrail.