Abstract
Multiple logic-based reconstructions of conceptual data modelling languagessuch as EER, UML Class Diagrams, and ORM exist. They mainly cover variousfragments of the languages and none are formalised such that the logic appliessimultaneously for all three modelling language families as unifying mechanism.This hampers interchangeability, interoperability, and tooling support. Inaddition, due to the lack of a systematic design process of the logic used forthe formalisation, hidden choices permeate the formalisations that haverendered them incompatible. We aim to address these problems, first, bystructuring the logic design process in a methodological way. We generalise andextend the DSL design process to apply to logic language design more generallyand, in particular, by incorporating an ontological analysis of languagefeatures in the process. Second, we specify minimal logic profiles availing ofthis extended process, including the ontological commitments embedded in thelanguages, of evidence gathered of language feature usage, and of computationalcomplexity insights from Description Logics (DL). The profiles characterise theessential logic structure needed to handle the semantics of conceptual models,therewith enabling the development of interoperability tools. There is no knownDL language that matches exactly the features of those profiles and the commoncore is small (in the tractable DL $\mathcal{ALNI}$). Although hardly anyinconsistencies can be derived with the profiles, it is promising for scalableruntime use of conceptual data models.