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.