Ontology & inheritance
The ontology is a directory tree under kb/ that is not just
organization — it carries meaning: a fact placed at a higher level applies
to everything beneath it, so a fact at kb/invariants/ is
inherited by kb/invariants/concurrency/branch-lock/.
The ontology is configurable. knomit ships with two:
General Knowledge — a broad taxonomy derived from
Wikipedia's main topic classifications, covering
technology, science, geography,
history, and more — and Source Code Knowledge
— a codebase taxonomy for AI agents, with topics like
invariants, conventions,
decisions, and gotchas.
An ontology also carries validation rules — expressions
evaluated against every fact on write — so it does not just say where a
claim is filed, it decides whether the claim may enter the corpus at
all. Writing an ontology.