Abstract
Multiple logic-based reconstruction of conceptual data modelling languagessuch as EER, UML Class Diagrams, and ORM exists. 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, availing of this extended process, of evidencegathered of language feature usage, and of computational complexity insightsfrom Description Logics (DL), we specify logic profiles taking into account theontological commitments embedded in the languages. The profiles characterisethe minimum logic structure needed to handle the semantics of conceptualmodels, 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 $\mathcal{ALNI}$). Although hardly anyinconsistencies can be derived with the profiles, it is promising for scalableruntime use of conceptual data models.