ABSTRACT
The present paper shows how civil engineering concepts of distinct kinds can be related by means of Galois connections. Relations based on such connections are desirable theoretically as sound foundations for enriching civil engineering ontologies with intensional knowledge, and practically for utilizing such knowledge in software systems. We put the theory of Galois connections to use by formally modelling examples of civil engineering concepts and defining Galois connections between these models. Thereby, we outline a methodology for systematizing the formation of relations between concepts of distinct kinds.
