Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2018, May 23
Author: Sportelli, Francesco
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.

Back to the Oberseminar web page