Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Definition: Formal Context

  • Context: A triple (G, M, I) is a (formal) context if
    • G is a set of objects (Gegenstand)
    • M is a set of attributes (Merkmal)
    • I is a binary relation between G and M called incidence
  • Incidence relation: I ⊆ G x M
    • if g∈G, m∈M in (g,m)∈I, then we know that “ object g has attribute m „ and we write gIm
  • Derivation operators:
    • For A ⊆ G, A‘={m∈M | (g,m)∈I for all g∈A}
    • For B ⊆ M, B‘={g∈G | (g,m)∈I for all m∈B}

Speaker notes:

Content Tools


There are currently no sources for this slide.