|Date:||2018, May 23|
|Title:||Supporting Conceptual Modelling in ORM by Reasoning|
Conceptual modelling tools are widely used to design software, databases and ontologies; but, they do not take into account the problem of checking whether the semantics of the conceptual diagram is consistent or not. This could lead to implicit consequences that can go undetected especially in complex diagrams, generating unexpected behaviors. In order to prevent these issues and to gain more control over semantics, we apply a methodology which aims to enrich the conceptual modelling tools of reasoning capabilities. Moreover, we also show a tool that implements the discussed methodology.