Evidence-based lean logic profiles for conceptual data modelling languages

09/09/2018
by   Pablo Rubén Fillottrani, et al.
0

Multiple logic-based reconstruction of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exists. They mainly cover various fragments of the languages and none are formalised such that the logic applies simultaneously for all three modelling language families as unifying mechanism. This hampers interchangeability, interoperability, and tooling support. In addition, due to the lack of a systematic design process of the logic used for the formalisation, hidden choices permeate the formalisations that have rendered them incompatible. We aim to address these problems, first, by structuring the logic design process in a methodological way. We generalise and extend the DSL design process to apply to logic language design more generally and, in particular, by incorporating an ontological analysis of language features in the process. Second, availing of this extended process, of evidence gathered of language feature usage, and of computational complexity insights from Description Logics (DL), we specify logic profiles taking into account the ontological commitments embedded in the languages. The profiles characterise the minimum logic structure needed to handle the semantics of conceptual models, enabling the development of interoperability tools. There is no known DL language that matches exactly the features of those profiles and the common core is small (in the tractable ALNI). Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models.

READ FULL TEXT
research
01/15/2014

The DL-Lite Family and Relations

The recently introduced series of description logics under the common mo...
research
04/18/2013

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

Our aim is to investigate ontology-based data access over temporal data ...
research
09/25/2012

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

We design temporal description logics suitable for reasoning about tempo...
research
11/14/2019

Tractable reasoning about Agent Programming in Dynamic Preference Logic

While several BDI logics have been proposed in the area of Agent Program...
research
06/01/2022

Games for Hybrid Logic – From Semantic Games to Analytic Calculi

Game semantics and winning strategies offer a potential conceptual bridg...
research
01/16/2014

Defeasible Inclusions in Low-Complexity DLs

Some of the applications of OWL and RDF (e.g. biomedical knowledge repre...
research
07/25/2017

A Decidable Very Expressive Description Logic for Databases (Extended Version)

We introduce DLR^+, an extension of the n-ary propositionally closed des...

Please sign up or login with your details

Forgot password? Click here to reset