From Certified Pairs to a Certified Hub: Reasoner-Checked Crosswalks for the Information Exchange Standard
Read the original on arXiv AI →The paper proposes a formal test for validating crosswalks between the Information Exchange Standard (IES) and thirteen ontologies across seven sector groups, using coherence and conservativity criteria borrowed from logic-based alignment repair. It details a multi-stage process—matching, human review, SKOS correspondence certification, and HermiT reasoning—that identifies and resolves inconsistencies, demonstrating that pairwise certification does not compose and that a unified hub is required for a coherent digital twin ecosystem. The study shows that merging certified building crosswalks can expose hidden conflicts, such as unsatisfiable Brick classes, and that the core hub’s consistency depends on the inclusion of certain standards like the Open Energy Ontology and BFO 2020.
Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.