Reasoner-Checked Crosswalks for the Information Exchange Standard: From Pairs to a Certified Hub
This paper formalizes ontology alignment validation for a national digital twin ecosystem, applying coherence and conservativity checks to crosswalks from the Information Exchange Standard (IES) into thirteen ontologies. Pairwise certification catches many violations but fails to compose, as merging three building crosswalks into a hub causes unsatisfiable classes due to a homonym. The authors show that a hub, not a pair, is the correct unit for certification, and they identify an inconsistency between two published standards that must be resolved.
Why it matters: Provides a concrete, logic-based method for validating ontology alignments and demonstrates a critical compositionality failure, offering practical guidance for digital twin interoperability.