Modalities for an Allegorical Conceptual Data Model
AbstractAllegories 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.
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Zieliński, B.; Maślanka, P.; Sobieski, Ś. Modalities for an Allegorical Conceptual Data Model. Axioms 2014, 3, 260-279.
Zieliński B, Maślanka P, Sobieski Ś. Modalities for an Allegorical Conceptual Data Model. Axioms. 2014; 3(2):260-279.Chicago/Turabian Style
Zieliński, Bartosz; Maślanka, Paweł; Sobieski, Ścibor. 2014. "Modalities for an Allegorical Conceptual Data Model." Axioms 3, no. 2: 260-279.