> [[Knowledge base]] HAS to be a [[Directed acyclic graph|DAG]]! There is quite a reasoning behind that [^1]: 1. each concept is a [[Composition|composition]] of more basic ideas (meaning broader set), so in other words it is [[Set intersection|set intersection]] - in terms of quering you are interested in finding combinations of given ideas 2. you can create a [[Topological sort|topological order]] of ideas (not chronological) ^reasoning The concept this argues for is [[Knowledge DAG]]. ## Example There is a problem actually with a differentation between a set (defined as [[Intention]]) and actual list of instances ([[Extension]]): ![[Knowledge base HAS to be DAG.excalidraw.png]] ^diagram It also presents that [[Singular or plural]] actually is not a case, as these both options do not represent the same set. [^1]: I came to these ideas sitting in [[ibis Styles Warszawa Airport]] during [[Warsaw 25' Nov]]