umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The Syntax of Many-Valued Relations
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2016 (English)In: Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, PT II, 2016, 61-68 p.Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we show how many-valued relations syntactically can be formulated using powertype constructors. This in turn enables to describe the syntax of generalized relations in the starting point sense where the category sets and relations is isomorphic to the Kleisli category of the powerset monad over the category of sets. We can then generalize to work over monoidal closed categories, and thereby description logic, formal concepts and rough sets can be viewed as depending on that powertype constructor, and within a setting of many-valued lambda-calculus. In order to achieve this, we will adopt a three-level arrangement of signatures [4], and demonstrate the benefits of using it. Bivalent and untyped relational adaptations typically appear in terminology and ontology, and we will illuminate this situation concerning classifications in health. Extensions to multivalent and typed nomenclatures provides an enrichment that is beneficial in practical use of health classifications and nomenclatures.

Place, publisher, year, edition, pages
2016. 61-68 p.
Series
Communications in Computer and Information Science, ISSN 1865-0929 ; 611
Keyword [en]
Classification, Concept, Functor, Generalized relation, Health, Monad, Nomenclature, Ontology, Signature
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:umu:diva-129933DOI: 10.1007/978-3-319-40581-0_6ISI: 000387430000006ISBN: 978-3-319-40581-0; 978-3-319-40580-3 (print)OAI: oai:DiVA.org:umu-129933DiVA: diva2:1063961
Conference
16th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU), JUN 20-24, 2016, Eindhoven, NETHERLANDS
Available from: 2017-01-11 Created: 2017-01-10 Last updated: 2017-01-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Eklund, Patrik
By organisation
Department of Computing Science
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf