A Design for Coordinated and Logics-mediated Conceptual Modelling

PABLO R. FILLOTTRANI; C. MARIA KEET

Cape Town

Workshop; DL 2016 International Workshop on Description Logics; 2016

University of Cape Town

The past 20 years have seen many efforts to provide logic-based reconstructions of various conceptual modelling languages so asto automatically reason over them, using a myriad of logics and thosein the DL family of languages in particular. Subtle differences in thelanguages as well as modellers? preferences make it difficult to put thepieces together to provide one unified view and system. Therefore, wepropose a mechanism to unify the back-end in the tool yet showing link-able ORM, UML, and ER diagrams in the interface. This is achievedby taking a two-pronged approach: 1) supporting full expressiveness ofthese languages and relying on a unifying metamodel, and 2) a logicsback-end for their evidence-driven profiles in DL. Both have a set ofrules for inter-model assertions. These profiles are tractable. As a result,we propose an architectural design for a tool that would help to integrateheterogeneous conceptual models and link them with ontologies, basedon clear semantic specifications and with tractable algorithms.