Next Article in Journal
A Comparative Study of Several Classical, Discrete Differential and Isogeometric Methods for Solving Poisson’s Equation on the Disk
Previous Article in Journal
Classical Probability and Quantum Outcomes
Open AccessArticle

Modalities for an Allegorical Conceptual Data Model

Department of Computer Science, Faculty of Physics and Applied Informatics,University of Łódź ul. Pomorska nr 149/153, 90-236 Łódź, Poland
Author to whom correspondence should be addressed.
Axioms 2014, 3(2), 260-279;
Received: 27 February 2014 / Revised: 12 May 2014 / Accepted: 13 May 2014 / Published: 30 May 2014
PDF [286 KB, uploaded 30 May 2014]


Allegories are enriched categories generalizing a category of sets and binary relations. In this paper, we extend a new, recently-introduced conceptual data model based on allegories by adding support for modal operators and developing a modal interpretation of the model in any allegory satisfying certain additional (but natural) axioms. The possibility of using different allegories allows us to transparently use alternative logical frameworks, such as fuzzy relations. Mathematically, our work demonstrates how to enrich with modal operators and to give a many world semantics to an abstract algebraic logic framework. We also give some examples of applications of the modal extension. View Full-Text
Keywords: allegories; data modeling; modal logic allegories; data modeling; modal logic
This is an open access article distributed under the Creative Commons Attribution License (CC BY 3.0).

Share & Cite This Article

MDPI and ACS Style

Zieliński, B.; Maślanka, P.; Sobieski, Ś. Modalities for an Allegorical Conceptual Data Model. Axioms 2014, 3, 260-279.

Show more citation formats Show less citations formats

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Axioms EISSN 2075-1680 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top