Relational concept construction

Concise constructors for composite concepts

Relational concept construction defines composite concepts using relational constructors instead of only internal data properties or binary object properties alone. Properties may combine with operators such as +, ++, -, --, *, : in the treatise’s notation, yielding compact expressions such as (^Air, +°Movement, ^Wind).

Multi-level and powertype perspectives appear in [FoAl2021]; relator-centric analyses in [GuAl2015].

Use relational construction when a concept is naturally a tuple of roles and relata, or when brevity and algebraic structure matter for maintenance. The full operator algebra is on taoke.de.