Opis

• Tytuł:
  Modalities for an Allegorical Conceptual Data Model
• Twórca:
  Zielinski, Bartosz;
  Maślanka, Paweł;
  Sobieski, Ścibor
• Współtwórca:
  University of Łódź, Faculty of Physics and Applied Informatics;
  bzielinski@uni.lodz.pl
• Opis:
  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.;
  We would like to thank the reviewers for their helpful suggestions.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Uznanie autorstwa 3.0 Polska;
  http://creativecommons.org/licenses/by/3.0/pl
• Data:
  2016.04.26;
  2014
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  MDPI AG
• Relacja:
  Axioms;2;
  3
• Temat i słowa kluczowe:
  allegories;
  data modeling;
  modal logic
• Identyfikator:
  2075-1680;
  http://hdl.handle.net/11089/17875
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy