All news

Reasoner-checked ontology crosswalks for a national digital twin

The work defines a formal criterion for valid mappings between digital twin ontologies: coherence and conservativity of the merged ontology. It is applied to the Information Exchange Standard and thirteen ontologies anchored on BOT, Brick and SAREF4BLDG, through matching, human review, certification and reasoning with HermiT.

Why it matters

Formal validation of ontology mappings underpins consistent data exchange across digital twin ecosystems.

Relevant to DT products

Original headline
From Certified Pairs to a Certified Hub: Reasoner-Checked Crosswalks for the Information Exchange Standard
Read the original: arXiv API — полнотекстовый поиск "digital twin"

Translation and summary are machine-generated from the source. The full article is not republished; its rights belong to the source.