Guizzardi, GiancarloMichael, JudithWeske, Mathias2024-02-192024-02-192024978-3-88579-742-5https://dl.gi.de/handle/20.500.12116/43611Cyber-human systems are formed by the coordinated interaction of human and computational components. In this talk, I will argue that these systems can only be designed as trustworthy systems if the interoperation between their components is meaning preserving. For that, we need to take the challenge of semantic interoperability between these components very seriously. I will discuss a notion of trustworthy semantic models and defend its essential role in addressing this challenge. Finally, I will advocate that engineering and evolving these semantic models as well as the languages in which they are produced require a hybrid intelligence augmentation program resting on a combination of techniques including formal ontology, logical representation and reasoning, crowdsourced validation, and automated approaches to mining and learning.enText/Conference Paper10.18420/modellierung2024_0011617-5468