Conceptual models are an important repository for knowledge in companies and public institutions. The retrieval of this knowledge can prepare reorganisations projects and support IT investment decisions. However, so far this information source has hardly been utilized in automated analyses. We argue that if modelling languages are endowed with specific characteristics the resulting models can be analysed in an automatic manner. We formally show that with such languages: (1) type, synonym,

more »

... m, and abstraction conflicts are eliminated as well as (2) the identification of semantically equivalent model elements can be traced back to finding syntactic ones.