English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

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.

Evidence-based lean logic profiles for conceptual data modelling languages