Modelling Theory and Practice/Modelling with Concepts

	composite	even	odd	prime	square
1			√		√
2		√		√
3			√	√
4	√	√			√
5			√	√
6	√	√
7			√	√
8	√	√
9	√		√		√
10	√	√

Start: single property R(x). Now: extend by further properties R(x), S(x), T(x).

Can be shown in a table like:

Problem: how to keep the overview? Solution: by introducing concepts.

What is a concept:

1. Intuition
2. Characteristics
3. Definition
4. Hasse diagram

Basic structures

1. linear order
2. taxonomy (tree)
3. diamond

Formal concept analysis

Fundamental theorem of concept analysis: the set of concepts are a lattice.

More complex structures.