本体与边类型目录

把“定义了哪些类型”和“哪些类型已有数据”分开查看，保留精确 canonical 标识。