图谱本体 — AYXK

怎么理解

两层总览

领域里还有「通用 / 决策」两层；之上另有元层（OWL），见元本体说明。

元层（沿用）

OWL / RDFS：什么叫类、子类、互斥、属性……

不另造文件；Protégé / HermiT 已懂。

通用层

什么都能挂：人、机构、地点、主题、制品、事件、笔记、项目、出处……

决策只是其中一种「东西」，不是整个世界。

决策层

专用零件：决策、目标、约束、风险、选项、证据、结果。

对应网站上「问题 → 限制 → 比较 → 拍板」。

类

种类树

上面是父类，缩进是子类。英文名与库里的 type / OWL 类名一致。

实体 Entity 根

图里一切可寻址的东西。对应 nodes 表一行。

人Person预留

具体的人。录入页尚未做。

机构Org预留

地点Place预留

主题Topic已启用

跨决策枢纽；页眉标签。

制品Artifact预留

文档、代码、成片等人造物。

网页WebPage预留

可寻址的一页内容也是实体。不许孤立由桥接执法。

事件Event预留

笔记Note预留

项目Project预留

出处Source预留

对应 sources 表；链到某节点。

决策相关节点 DecisionNode 决策层父类

下面这些是决策故事的零件，彼此互斥（一个节点不能同时是目标又是选项）。

决策Decision已启用

一次选择的中心。故事页的主角。

已拍板的决策DecidedDecision公理

至少有一条「选择」边（chooses）。

目标Goal已启用

叙事：1 · 问题

约束Constraint已启用

叙事：2 · 限制（硬条件）

风险Risk已启用

叙事：2 · 限制（主要风险）

选项Option已启用

叙事：3 · 比较

证据Evidence已启用

嵌在选项下，或作为拍板理由

结果Outcome已启用

拍板后的结果摘要

对象属性 · 决策

决策怎么连

读作：从左边的种类，用这条关系，连到右边的种类。英文名与库里的 rel 一致。

关系	中文	从	到	说明
`asks`	追问	决策	目标	问题是什么
`constrained_by`	受约束于	决策	约束	硬条件
`considers`	考虑	决策	选项	比过的路
`chooses`	选择	决策	选项	最终走的；本体上是「考虑」的子关系
`rejects`	拒绝	决策	选项	明确没选；也是「考虑」的子关系
`because`	因为	决策	证据	拍板理由
`supported_by`	被支持于	选项	证据	有利
`opposed_by`	被反对于	决策或选项	风险或证据	风险威胁决策，或不利证据反对选项
`supersedes`	取代	决策	决策	改主意：新决策取代旧的
`hasOutcome`	有结果	决策	结果	本体预留；线上暂可用正文/meta
`about`	关于	任意实体	主题	已启用；线上多用决策 → 主题

对象属性 · 通用

通用怎么连

计划给「人 / 事件 / 项目」等用。多数还没进录入界面。

关系	中文	从	到	说明
`related_to`	相关	实体	实体	对称弱关联；计划补
`involves`	涉及	实体	实体	例如事件涉及某人；计划补
`supports`	支持（弱）	实体	实体	跨类型弱支持；区别于选项的 supported_by
`part_of`	属于	实体	实体	可传递的组成关系
`hasSource`	有出处	实体	出处	对应 sources

数据属性

字段

挂在节点上的文字信息，对应库字段。

字段	中文	用在	说明
`nodeId`	节点 ID	实体	对应 `nodes.id`
`title`	标题	实体	必有
`body`	正文	实体	可空
`status`	状态	决策	`open` / `decided` / `obsolete`
`edgeNote`	边注记	（边）	对应 `edges.note`

公理

规矩（机器也能查）

已拍板至少一条 choosesDecidedDecision 必须连到至少一个选项。
chooses / rejects 都算考虑过二者是 considers 的子关系。
决策零件互斥目标、约束、风险、选项、证据、结果、决策两两不能是同一节点。
改主意不改历史用新决策 supersedes 旧决策。
不许孤立节点闭世界规矩，写在桥接：每个实体度数 ≥ 1（含网页）。

和网站的关系

启用状态

层	现在
本体 OWL	本机 `protege-lab/ontologies/ayxk-v1.owl`；本页是人读版
全局结构	/system.html · 库 / 本体 / 桥接 / 推理怎么叠
结构说明书	/structure.html + 仓库 STRUCTURE.md
桥接校验	/validate.html · `GET /api/validate` · 含孤立节点检查
本体 AST	/ontology-ast.html · 种类/连线/公理树 + HermiT 三步推导
库里已能写	Decision / Goal / Constraint / Risk / Option / Evidence / Outcome / Topic 及对应边（含 `hasOutcome`）
库里还不能写	Person / Org / Place / Artifact / WebPage / Event / Note / Project；以及 related_to 等计划边