Ontologyconcept

The controlled vocabulary that classifies every ConceptNode (kind, facets) and every relationship type — giving the curriculum structure beyond free-form linking.

A fixed enum keeps a 150+ concept graph coherent, enables mechanical passes (rank by abstraction, seed parent->child edges), and makes foundations explicit.

Where it appears

compiler/ONTOLOGY.md
SKCE ontology graph view

Descend

Prerequisites

Knowledge Graphs

Dependencies

Foundations

Type Theory

Knowledge Graphs
Concept Node
Curriculum Graph

Historical evolution

Ontology refinement (pass-06c) maps extracted concepts to kinds and flags misfits for human review.

Implementation details

Sources

[compiler/ir.py] compiler/ir.py
[docs/ONTOLOGY.md] docs/ONTOLOGY.md
[compiler/ir.py] compiler/ir.py
[docs/ONTOLOGY.md] docs/ONTOLOGY.md

View in graph →