umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
The Syntax of Many-Valued Relations
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2016 (Engelska)Ingår i: Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, PT II, 2016, s. 61-68Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2016. s. 61-68
Serie
Communications in Computer and Information Science, ISSN 1865-0929 ; 611
Nyckelord [en]
Classification, Concept, Functor, Generalized relation, Health, Monad, Nomenclature, Ontology, Signature
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
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 (tryckt)OAI: oai:DiVA.org:umu-129933DiVA, id: diva2:1063961
Konferens
16th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU), JUN 20-24, 2016, Eindhoven, NETHERLANDS
Tillgänglig från: 2017-01-11 Skapad: 2017-01-10 Senast uppdaterad: 2018-06-09Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Eklund, Patrik

Sök vidare i DiVA

Av författaren/redaktören
Eklund, Patrik
Av organisationen
Institutionen för datavetenskap
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 143 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf