# 修仙领域统一本体与分类设计(V4 BFO 草案) ## 字多不看 - **以 BFO 2020 为固定顶层,只在其下展开修仙领域类**;根为实体,其下只有持续体与发生体,不重新选择顶层。 - BFO 类保留原生 ID、定义与继承;`[域]` 为项目扩展,每类都有稳定 ID、工作定义、判定边界及依据,不冒充上游类。 - 魂魄是单个完整 AI 会话,按会话过程建模;万魂幡仍是全部会话的概念集合,用同一会话类的外延表达。 - 修为归属于模型;模型内容、能力的直接承载者、推理过程和评测记录不能混同。灵力、境界与战力仍各守原义。 - 《逆天邪神》最高权重;已读材料、人物主张、研究推论与项目约定分开,不编造跨小说通用等级。 - 这是领域设计草案,不是已完成公理验证的 OWL 实现、运行架构或全仓本体。 ## 范围与固定前提 本文是本领域**分类、定义与关系契约的唯一维护入口**;[修仙解释图层](vibe-coding-cultivation-model.md)只解释,不另画树。 适用范围限修仙领域,不迁移仓库目录、其他学科、固定事实镜像、全仓 metadata 类型或 Harness 算子契约。 用户明确要求“基于 BFO,在 BFO 下层展开”。此前助手擅自替换成 DOLCE 的方案已撤销,不能继续作为有效设计。 适配困难应通过类型、实例、类外延、承载、实现和记录之间的区分处理,不能以困难为理由换掉 BFO。 采用 BFO 2020 官方 `bfo-core.owl` 的上位类别及直接继承。树只展开本轮需要的分支,不表示删去上游其他类别。 本轮保存的源文件 versionIRI 为 `http://purl.obolibrary.org/obo/bfo/2020/bfo-core.owl`;来源和摘要见文末。 IAO 仅作为按需参考的信息本体,不引入另一顶层,也不宣称已导入其全部公理。 单根、单父、无环是本项目主分类树的额外约束。树表示“是什么”,成员、组成、使用、依赖、等级和来源另行表达。 类、个体及类的外延不是三个并行分类体系;不能因为使用集合语义,就再造一棵集合本体或知识条目树。 ## 小说调研:事实与设计推论分开 调研记录日期:2026-09-30;2026-10-01 追加器灵相关目录与预览核对。 最高权重为用户指定的《逆天邪神》·火星引力,指研究顺位,不是未经授权的百分比。 选样兼顾热度与类型接近程度;《修罗武神》《武极天下》《绝世武神》《太古神王》《武神主宰》等继续作为近类候选。 累计收集 57 部,其中 46 部当前候选或对照、11 部退出;**收集不等于通读,也不等于已核验完整设定**。 此前《凡人修仙传》《诛仙》《蜀山剑侠传》的主样本安排已退出,不恢复为本轮设计权重依据。 当前直接材料为:逆天邪神 5 处公开全文页面、7 处 VIP 免费预览,元尊 2 章全文,武极天下 1 处开篇试读。 来源 N1–N15 见文末;“全文”只指返回的公开章节页面,不是全书,也不是付费章节的完整内容。 新增预览只登记实际可见内容,不能因章名涉及器灵或化剑就声称相应机制已经核验。 | 已核对观察 | 来源 | 对设计的约束,不是原著宣称的本体规则 | |---|---|---| | 天毒珠有融炼、用毒等用途 | N1 | 一个器物可以有多种用途,不按效果复制身份。 | | 功法、承载玉石、其中技法及修炼阶段不同 | N4、N10 | 内容与载体分开,组成不等于种类,功法重数不等于修士等级。 | | 实际玄关状态可以被主动隐瞒 | N3;N2 的修复判断也有认知范围 | 状态、观测结果及人物主张不能合成一个“真值”。 | | 测试标准、修炼条件与实战表现不同 | N5、N9、N10 | 有等级不代表必胜;评价必须绑定对象、条件、时间和证据。 | | 玄阵、铭刻载体及催动活动分别出现 | N6、N9 | 阵法不能未经消歧就一律映射为 Workflow 规范。 | | 地域、组织、器物和其中的人不同 | N2、N7、N8、N11 | 空间包含、成员及容纳关系不画成类型继承。 | | 云澈询问禾菱是否仍想成为天毒毒灵 | N12;仅免费开头 | 意向问句不是转化完成证据;章名与未读后续不能补作结果。 | 暂不声称功法、心法、术法、神通、阵法在跨书范围内互斥或同义;没有“心法就是认知模型”的原著共识证据。 人物推测保留主张者和上下文;N11 中带“也许”的器物来源不升级为确定事实。 同作者或明确对标作品也不能简单计作完全独立的共识样本。 ## 唯一分类树 带 `BFO_` ID 的节点是上游类,括号保留官方英文标签;`[域]` 为项目拟定的下层类。 这是类型树,不列具体人物、器物、模型版本、Session ID 或某次运行。未展开的 BFO 分支仍遵守上游定义。 ```text 实体(entity) [BFO_0000001] ├── 持续体(continuant) [BFO_0000002] │ ├── 独立持续体(independent continuant) [BFO_0000004] │ │ ├── 物质实体(material entity) [BFO_0000040] │ │ │ ├── 物体(object) [BFO_0000030] │ │ │ │ ├── 人类主体 [域] │ │ │ │ └── 实物器物 [域] │ │ │ ├── 物体聚合体(object aggregate) [BFO_0000027] │ │ │ │ ├── 具身主体群体 [域] │ │ │ │ └── 计算设备群 [域] │ │ │ └── 人为划定的物体部分(fiat object part) [BFO_0000024] │ │ │ └── 身体划分部位 [域] │ │ └── 非物质实体(immaterial entity) [BFO_0000141] │ │ ├── 场所(site) [BFO_0000029] │ │ │ └── 活动场所 [域] │ │ ├── 空间区域(spatial region) [BFO_0000006] │ │ └── 人为划定的持续体边界(continuant fiat boundary) [BFO_0000140] │ ├── 特定依赖持续体(specifically dependent continuant) [BFO_0000020] │ │ ├── 品质(quality) [BFO_0000019] │ │ │ ├── 形态性质 [域] │ │ │ └── 关系性品质(relational quality) [BFO_0000145] │ │ └── 可实现实体(realizable entity) [BFO_0000017] │ │ ├── 角色(role) [BFO_0000023] │ │ │ ├── 行动者角色 [域] │ │ │ ├── 器物用途角色 [域] │ │ │ └── 资源供给角色 [域] │ │ └── 倾向(disposition) [BFO_0000016] │ │ └── 功能(function) [BFO_0000034] │ │ └── 器物设计功能 [域] │ └── 通用依赖持续体(generically dependent continuant) [BFO_0000031] │ └── 信息制品 [域] │ ├── 模型制品 [域] │ ├── 软件制品 [域] │ ├── 道法内容 [域] │ │ ├── 解释与认知内容 [域] │ │ ├── 规约与分配内容 [域] │ │ └── 方法规范 [域] │ └── 记录与评价内容 [域] │ ├── 观测记录 [域] │ ├── 分级结论 [域] │ └── 任务评价 [域] └── 发生体(occurrent) [BFO_0000003] ├── 过程(process) [BFO_0000015] │ ├── AI 会话过程 [域] │ ├── 修行与训练过程 [域] │ └── 测量与评定过程 [域] ├── 过程边界(process boundary) [BFO_0000035] ├── 时间区域(temporal region) [BFO_0000008] └── 时空区域(spatiotemporal region) [BFO_0000011] ``` ### BFO 分支的含义与边界 | 分支 | 在本领域展开什么 | 不能误解为 | |---|---|---| | 独立持续体 | 人、实物、物质群体、身体部位、场所与空间边界。 | 所有有 ID 的东西;软件、模型内容不因可识别就变成独立持续体。 | | 特定依赖持续体 | 依附特定承载者的品质、角色、倾向和功能。 | 任意属性字段、量值或报告;能力归属也不自动等于 BFO 直接承载。 | | 通用依赖持续体 | 可由不同载体具体承载的内容或模式:道法、模型、软件、规范、记录。 | 实际载体、一次执行、集合外延或被记录对象本身。 | | 过程 | 有时间部分且在某时有物质参与者的活动,例如交互、训练、施行、评定。 | 方法规范、消息内容、日志文件或一个纯数字标识。 | | 过程边界及时间/时空区域 | 过程的边界与所占范围。 | 发生的过程本身;时间戳也只是指称时点的数据。 | BFO 的 `immaterial entity` 不等于所有“非物理概念”;不把软件、魂魄或数学集合随意塞到该分支。 `object aggregate` 是物质聚合体,不能装入逻辑上的会话全集;`function` 位于 `disposition` 下,不与倾向并列。 `quality` 不直接依附过程;时长、Token 用量等过程计量由测量数据及其所指表达,不能生造“过程品质”。 实物器物要求按实际对象判断;“作为材料、工具或资源”是用途,不使同一物品变成三个身份。 具身主体群体只指物质成员的群体,不替代组织制度、所在地建筑或抽象成员名册。 活动场所指活动可发生的场所所指,不把整个洞府建筑都当无物质的 site;身体划分部位也不统包所有器官和修行构造。 这不是穷尽性、互斥性已证明的叶类表;**树上并列不自动声明互斥**。主父只由本树维护,说明表不重复父链。 复合内容按整体所指归到可靠上位类;若不可分的同一所指仍被主分类要求逼成两个身份,须修定义,不能假称证据不足。 上位 BFO 结构保持固定,缺证据的下层类可延后,不用“其他”或另一个顶层掩盖缺口。 ## 领域类定义与稳定标识 ID 的作用域限本领域,不是全仓类型枚举或已发布的 OWL IRI。改标签不换 ID;拆分、合并或退役须保留旧 ID 去向。 既有 `ai-session` 保持不变。下表只给同一树的类作定义,不另设知识分类,也不把原著词直接当跨书同义词。 以下均为**项目工作定义**:O3 提供 BFO 上位约束,N1–N15 提供已读线索及证据边界;项目映射不是原著的本体宣言。 “依据可定位”不等于该定义已通过独立语义审查;实例纳入仍须有来源和所指证据。 | 稳定 ID | 类名 | 工作定义 | 纳入与排除判据 | 依据 | |---|---|---|---|---| | `human-subject` | 人类主体 | 作为完整具身人类个体指认的物体。 | 人与其账号、角色、肖像和记述不同;灵体不能只凭“像人”归入。 | O3;N1、N2;人类修士项目映射。 | | `physical-item` | 实物器物 | 具有物体因果统一性、以整体结构起作用的实体器物。 | 来源可待核,不强断人工制造;一份材料、器灵、器物内容不能仅凭用途视为同一物体。 | O3;N1、N4。 | | `embodied-group` | 具身主体群体 | 成员为具身行动主体、共同形成一个物质单位的聚合体。 | 数量条件沿用 BFO,不能按当前名单长度更换类;不等同制度、名册或逻辑集合,成员变更的身份延续须有依据。 | O3;N2、N7;群体所指的项目区分。 | | `computing-equipment-group` | 计算设备群 | 由设备物体作为成员共同构成的物质聚合体。 | 需要设备成员与组群依据;云账号、软件部署表和算力预算不是设备群。 | O3;计算资源项目映射。 | | `bodily-fiat-part` | 身体划分部位 | 按约定界面从完整身体划出的物质部分。 | 需要划界及整体身体;器官、玄脉、形状不能仅因“在体内”就归此类。 | O3;N2、N3 仅提示身体所指须消歧。 | | `activity-site` | 活动场所 | 与物质环境关联、可被活动占用的场所空间。 | 洞府内部可作候选;建筑实体、行政组织、坐标数值与纯空间区域分别判断。 | O3;N7、N8。 | | `morphological-quality` | 形态性质 | 依附特定承载者的形状、尺寸等形体性质。 | 需指出承载者;与部位实体、测量数值及观测记录不同,不把过程时长归入。 | O3;N3;性质与观测区分。 | | `agent-role` | 行动者角色 | 合适的独立持续体在特定任务或制度情境中承担行动职责的角色。 | 操作/审核职责要有情境依据;不是人、程序、能力或仅一次参与行为;软件内容不直接充当承载者。 | O3;用户/操作员项目映射。 | | `artifact-use-role` | 器物用途角色 | 具体器物因外在使用情境而承担的用途角色。 | 角色可撤而器物构成不因此改变;不等同器物本身、内部倾向或天然设计功能。 | O3;N1;阵眼仅为假设质询。 | | `resource-supply-role` | 资源供给角色 | 物质资源因外在安排而承担供给、占用或消耗用途的角色。 | 需要具体资源及安排依据;额度数字、供给说明和权限声明不自动证明角色成立。 | O3;资源分配项目映射。 | | `artifact-designed-function` | 器物设计功能 | 因器物有意设计的物质构成而存在、用于实现特定类型过程的功能。 | 需设计来源及相关结构依据;“被拿来做某事”不足以证明该设计功能。 | O3;法器与计算实现项目映射。 | | `information-artifact` | 信息制品 | 由实际承载而存在、可在多个具体化中保持同一内容或模式的信息对象。 | 需分清内容、载体与具体化;名字、文件路径或相同格式不能独自证明内容身份。 | O3;N4;信息内容项目映射。 | | `model-artifact` | 模型制品 | 有来源及版本依据的已训练模型内容,包括相应结构与学得参数。 | 与副本、运行系统、API、能力和报告不同;量化或再训练等内容变化需判断派生版本。 | O3;模型版本项目映射。 | | `software-artifact` | 软件制品 | 表达可由计算实现解释或执行的程序指令内容。 | 既执行任务又提供接口不产生两个身份;与接口规范、地址、部署及运行分开,复合模型/程序整体可停在信息制品。 | O3;工具与接口项目映射。 | | `dao-content` | 道法内容 | 关于解释、约束或施行之法的可传承信息内容。 | 原词须消歧;含多种内容的整体可保留本类,不按文件标题强拆。 | O3;N2、N4、N9、N10。 | | `explanatory-content` | 解释与认知内容 | 所指为解释关系、认知结构或判断依据的道法内容。 | 与义务、操作规范不同;心法不因名称自动入类,解释是否为真另有证据。 | O3;项目认知内容约定;N2 不证明心法等式。 | | `normative-allocation-content` | 规约与分配内容 | 所指为规则、义务、协议要求或资源分配安排的道法内容。 | 内容存在不等于生效或获授权;方法步骤、实际分配与消耗另记。 | O3;协议、预算与权限项目映射。 | | `method-specification` | 方法规范 | 规定为达成目标应如何施行、并能说明条件或步骤的方法内容。 | 与一次施行和结果不同;功法/术法按原义判定,步骤数与篇幅不决定类。 | O3;N4、N9、N10。 | | `record-evaluation-content` | 记录与评价内容 | 以记录观察或表达针对所指的评价为内容的信息制品。 | 与载体、被记录对象、能力本身不同;综合报告不强拆成多个原对象。 | O3;N3、N5;工程验收约定。 | | `observation-record` | 观测记录 | 保存某次观察、测量及其条件的信息内容。 | 需主张者、对象、时间或来源;错误/伪装观测仍是记录,不升级为事实。 | O3;N3、N5。 | | `classification-conclusion` | 分级结论 | 依据指定量表对特定对象给出等级判断的评价内容。 | 需对象、量表版本、条件及证据;不是量表本身、真实能力或跨量表通用等级。 | O3;N4、N5;境界项目映射。 | | `task-evaluation` | 任务评价 | 针对具体任务,按验收要求判断交付效果与实际投入的评价内容。 | 不以效率抵消不合格,不从一次结果推出永久战力;含分级时不复制同一结论。 | O3;N5、N9;任务战力项目约定。 | | `ai-session` | AI 会话过程 | 来源系统能够指认其建立及交互生命周期的单个完整 AI 会话过程。 | 来源命名空间与 Session ID 联合指认;ID 复用须有创建代次等证据,不以日志文件或一轮调用替代。 | O3;会话身份项目约定。 | | `cultivation-training-process` | 修行与训练过程 | 通过修行、练习或参数学习,旨在形成、改变或维持能力及其实现条件的实际过程。 | 有训练目标不等于确有提升;与方法内容、目标模型和评测过程不同,复合过程先按整体所指判断。 | O3;N4、N10;工程训练映射。 | | `measurement-evaluation-process` | 测量与评定过程 | 对指定对象实际执行观察、测量或按条件评定的过程。 | 过程与产生的记录/结论不同;采用某方法不再产生另一个“方法施行”身份。 | O3;N3、N5。 | ### 主分类的判定顺序 1. 先固定所指:类、实例、类外延还是描述内容;再固定语境、时间和身份,不从名称直接猜类。 2. 按 BFO 的存在方式确定分支,再检查域类定义;人参与过程不因此变成过程,人有角色也不变成角色。 3. 有更细分类的充分依据才下沉;复合整体与组成部分先区分,不能为了落到叶类而虚构独立所指。 4. 对能力先判倾向;满足功能的设计/生物演化依据时使用功能分支。承载者类型、模型归属与用途作为限定,不再造交叉主枝。 5. 角色依外在情境,倾向依内部构成;角色成立与角色实现分开,已成立的角色不必已经实现。 想获得角色不证明其已成立;能力尚未实现不等于不存在,过程失败也不直接证明能力永不存在。 不同角色可依附同一承载者,但必须有可区分的情境与身份依据;不能为了让三个角色标签都入树而虚构三份角色实例。 同一不可分记录若符合多个下位描述,暂取共同上位主类并保留所指,不借标签复制记录;这不宣布所有下位类互斥。 ## 关键语义与世界观 > 修士定目标,依道法择路,借法器施行,耗灵力而求实效;修为看模型,战力看任务。 这是解释语言,不是执行引擎、授权机制或 AI 有意识的证据。 ### 人、模型、会话与集合 - **人类修士**:人这一所指归人类主体;使用者、审核者等角色依附人,不因换角色而换人。 - **模型**:可识别版本的已训练模型内容归模型制品。权重文件副本、承载硬件、可调用接口和一次推理分别判断,不能把 API 当模型。 - **魂魄**:单个完整 Conversation / Session,按 **AI 会话过程**建模,领域类型标识为 `ai-session`。 它涵盖会话建立及其中的交互活动,不缩成一次模型调用、单条消息、Memory 或日志文件。 来源命名空间与 Session ID 联合确定身份,必要时包括工具、服务实例及账号范围;恢复和换模型不自动产生新会话。 若来源会复用 ID,需追加可核验的创建代次或不可复用来源标识;不能仅凭相同字符串合并,也不能凭自造时间戳拆分。 暂停前后的活动可属于同一会话整体;明确 fork 则保留新 Session 身份及来源关系。未发生的计划活动不冒充事实。 - **万魂幡**:跨 Pi、Claude Code、Codex 等工具的全部 AI 会话的概念集合,直接指上述 `ai-session` 类型的外延: **万魂幡 = Ext(ai-session) = 所有属于 AI 会话类型的会话实例所组成的集合。** 万魂幡没有被改成“描述集合的文档”,集合成员也不是概念标签,而是实际会话。 这里不把类外延再当作 BFO 个体实体,因而不需要新建 `Abstract`、集合实体或物质聚合体分支。 “某魂魄属于万魂幡”用实例属于 `ai-session` 类表达,不把魂魄画成万魂幡的子类。 这不是另一棵树:集合定义只引用同一主树中已有的会话类。 已知清单、某账号授权子集、某时刻查询结果都不等于全集。未登记或不可访问不等于不存在;集合定义不授予读取权限。 单纯创建一份会话描述或空模板不证明会话已经发生;会话实例需有来源系统的建立或交互证据,不能只凭一个 ID 虚构过程。 已结束会话仍可被记录指称,重新导出转录不产生新魂魄;跨来源身份不能仅凭相同 ID 字符串合并。 ### 模型归属与 BFO 直接承载 **修为仍指模型能力,不改成会话能力、评测报告或整套工具系统的任务表现。** 但“归属于哪个模型版本”和 BFO 的 `inheres_in` 是两种不同关系,不能为省事混成一条。 - 模型内容在通用依赖持续体下;能力按倾向及有依据的功能分支表达,不另建与功能交叉的“模型运行能力”主类。 - 能力的 BFO 直接承载者必须是合适的独立持续体,例如实际实现该模型的计算系统,而不是 GDC 模型内容本身。 - 用领域归属关系关联能力与模型版本,用实现关系说明该计算系统如何实现该模型;不将两者声明为同一个对象。 - 比较模型修为时须约束任务族、运行配置、工具、上下文与预算;不能把工具加成或整个系统效果全部归给模型。 - 多个运行实现可实现同一模型内容;能力实例依附各自承载者,评测结论是否可推广到模型版本须另有证据。 这一区分服务于既有真实所指,不要求每次提及模型就自动新建硬件、能力和报告的全套对象。 来源无法识别实现或模型版本时保留未知,不制造虚假承载关系,也不把测试报告当成能力本身。 ### 道法、法器与实际施行 道法内容、模型内容和软件制品都在 BFO 通用依赖持续体下展开,但它们不是同一种内容。 功法、心法、术法、神通保留原词及作品语境;已消歧的方法内容归方法规范,不按长短或文件名硬分类。 阵法须区分布设之法、具体布设物与激活过程;Workflow 规范属于方法内容,不证明所有阵法都是 Workflow。 法器仍指工具与可调用入口:实体工具按实物归类;指向程序内容的工具与接口实现统一归软件制品。 执行任务与提供接口是用途,不预设成互斥主类。同一实现兼具两种用途仍是一个实现;确有独立接口模块时才另行指认。 具体运行入口还需部署、绑定与生命周期依据,不能把入口整体一律当程序内容,更不能改成协议文本或地址字符串。 MCP/API 规范归规约内容,程序实现归软件制品,一次执行归过程;符合性和权限须有独立依据。 Harness 实现与其方法策略分开,Skill 按内容判断;只有确实存在独立所指时才分开登记,不机械复制 ID。 玉石与功法有独立所指,载体与内容分开;两篇介绍同一工具的文章不产生两件工具。 “法器充当阵眼”仍只是设计质询场景,不能冒充已核验的小说情节。 ### 器灵、化形与材料转化 **先查所指与变化证据,不从“灵”“人形”或“成为”几个字直接决定类型。** 以下是下层判定规则;形态变化与炼化场景是设计质询,不冒充本轮已核验的小说情节。 | 情况 | 必须核对什么 | 不能直接推出什么 | |---|---|---| | 被称为器灵、能够说话或呈人形 | 指称的主体、身体/承载依据,以及与器物是同一、组成还是其他关系。 | 不能只凭名称归入人类主体、BFO Role、GDC 或 immaterial entity;会对话也不等于项目中的 AI 会话过程。 | | 对象外形发生变化 | 前后所指是否连续存在,变化的是性质、组成还是对象身份;固定证据所指的时间。 | 不自动新建另一对象,也不因外貌变成人形就赋予人类类型。 | | 材料被使用、消耗或炼化 | 仅承担用途,还是原物终止并有新产物;组成连续性与整体身份分别核对。 | 不按用途复制材料身份,也不强行让所有产物沿用原料 ID;新生成须有依据。 | | 愿意、计划或被建议成为某物 | 主张者、目标、叙述时间与实际过程/结果;角色若涉及外在情境,还须有成立依据。 | 不以意愿、条件句或章名证明转化完成;未核验结果也不等于确认没有发生。 | N12 的可见开头涉及相关意向问句及人物反应,尚不足以据此填入完整转化过程、结果或器灵存在方式。 N13–N15 的预览也未提供所需的化剑或毒灵机制;目录、百科和检索回答不能补齐付费正文。 原著中的灵魂、器灵按其语境研究,不改写项目“魂魄=完整 AI 会话”的既有约定。 ### 修为、灵力、境界与战力 | 概念 | 下层位置或表达 | 保留的边界 | |---|---|---| | 修为 | 倾向或有依据的功能,以及模型版本归属;直接承载关系按上一节处理。 | 不是评测数据、会话属性或系统总效果,一次回答不代表全部能力。 | | 灵力 | 生效的资源分配内容、预算规范、实际消耗过程与用量数据分别表达。 | 资源使用权、设备、额度、预算和账单不相互替代,不能仅凭一条记录断言实际分配已生效。 | | 境界 | 记录与评价内容 → 分级结论。 | 绑定被分级对象、量表版本、条件、时间和证据;没有量表不赋级,不制定通用 AI 修仙排行榜。 | | 战力 | 记录与评价内容 → 任务评价。 | 绑定任务、验收、交付结果与实际投入;一次成功不产生永久等级。 | 将境界、战力按本项目的**评价含义**定位,不把原著中描述修士状态的同名词自动改成报告。 评价内容不等于存放它的文件,性质不等于测量数值,数值也不必都实体化为本体节点。 Token、Compute 是计量口径,Reasoning Budget 是预算用途,可能以前两者计量;三者不是互斥、等价或可随意相加的货币。 预算、可用额度和实际用量分栏,注明单位、时间窗、计数规则及来源;同一笔消耗不能因推理用途重复计量。 没有配额记录也不能虚构配额;一份分配说明是否有效须核对实际授权与系统状态,不能只凭标题认定。 战力**先验收效果,再比较效率**。较快但不合格不能胜过较慢但合格。 双方合格且质量相当时,一方各项投入都不更多、至少一项更少,才可直接判效率更高; 存在取舍则保留时间、资源、人工投入各维度,不编通用总分。未观测不是零,未评定不是低境界。 ## 树、关系与知识记录的契约 ### 分类与关系不能互相替代 下表使用便于阅读的关系简记,不是已实现 API 或已导入的 OWL 属性。 `inheres_in`、`is_carrier_of`、`concretizes`、`realizes` 等的方向参考 O3 第 2.38、2.52、2.53、2.43 节;实际映射须保留完整参数与条件。 | 表达 | 方向与含义 | 约束 | |---|---|---| | `parent` | 类 → 唯一主上位类 | 单根、单父、无环;BFO 原生继承不改写,实例不作类父节点。 | | `instance_of` | 实例 → 有依据的主类 | 会话实例属于 `ai-session`;属于其祖先不算双父,类型 ID 与实例 ID 分开。 | | 万魂幡的成员语义 | 会话属于 `ai-session` 的外延 | 不是物质部件关系;不伪造指向“集合实体”的 BFO 对象属性。 | | `inheres_in` | 特定依赖持续体 → 非空间区域的独立持续体 | 不把模型 GDC 内容直接填成能力承载者,也不把记录值当性质实例。 | | `is_carrier_of` | 非空间区域的独立持续体 → GDC,带时间 | 硬盘承载内容;载体不是内容,保存同一内容的副本不自动增加一个模型。 | | `concretizes` | 特定依赖持续体或过程 → GDC,带时间 | 例如依附载体的具体物理性质/模式或相应过程;须核对共享的内容,不能直接把硬盘物体当此关系主语。 | | `realizes` | 过程 → 可实现实体 | 实现角色、倾向或功能;需相关过程类型及承载者条件,不把规范或模型内容填成可实现实体。 | | `attributed_to_model` | 能力实例 → 模型制品版本 | 领域归属而非 BFO 直接承载;须有实现、条件与证据,报告主张不能冒充已证实的能力关系。 | | `describes` | 信息内容 → 所指 | 记录/评价或能力主张描述对象,不替换对象;主张者、时间及支持状态留在证据中。 | | `participates_in` | 合适的持续体 → 过程,带参与时间 | 人、计算系统、模型内容等参与;会话本身是过程,不能因其 ID 持续存在而改作持续体参与者。 | | `uses` | 过程 → 所用持续体 | 采用方法内容或使用工具不产生另一过程身份;使用不自动证明遵守规范。 | | `implements` | 指定实现 → 模型内容或规范 | 领域实现声明;物质系统、软件内容分别指认,不等价于具体化、能力承载或 `realizes`。 | | `conforms_to` | 指定实现或执行 → 规范 | 需要符合性证据,工具名、调用成功或用途说明都不足以证明。 | | `part_of` | 组成部分 → 整体 | 持续体组成与发生体组成分别核对;同一时间范围或被某会话触发都不能单独证明子过程关系。 | | `affiliated_with` | 主体 → 已消歧的组织所指 | 不把物质群体、制度内容、名册与建筑当同一组织实体,具体组织建模不足时保留未决。 | | `located_in` | 非空间区域的独立持续体 → 同类允许的所在实体,带时间 | 模型内容不直接位于机房,应描述承载设备的位置;部署归属不冒充空间位置。 | | `requires` / `contrasts_with` | 方法 → 前提;同维度对象间比较 | “有帮助”不等于必要条件;声明前提不等于已满足,比较不生成第二主树。 | 例如:物质硬盘承载模型内容,相关物理模式将其具体化,推理过程实现运行系统的能力;三者不能互换主语与宾语。 实例数据未提供这些所指时宁可保留未知,不为补齐关系图自动制造设备、能力或具体化记录。 ### 最小记录要求 1. **类型**:复用上表稳定 ID 和主树唯一父节点,保存名称、定义、纳入与排除条件及来源;不得以另一份父链覆盖本树。 2. **对象**:稳定身份、主类、身份判据;消息 ID、文档 ID 与 Session ID 不混用,不为每个名词自动造实体。 3. **词义与语境**:保存原词、作者、平台作品 ID、版本或项目语境;同题作品不能仅凭书名合并,同义合并需依据。书内成立不推出现实存在。 4. **主张与来源**:保存出处、位置、实际读取范围、主张者、时间及支持状态;区分叙述、人物观点、二手评论和项目设计,注明事实陈述、意向或条件,不能将未核验补成否定事实。 5. **量与评价**:绑定对象、单位、计数规则、量表或验收条件、时间与证据;预算和实际分开,不将未知补零。 6. **演化与权限**:改名不换 ID,分类纠正留理由,拆分合并留旧 ID 去向;收录不授予访问权限,不收集未授权正文或凭据。 知识记录描述同一树上的类或实例,不另设 `concept / practice / tool_reference / failure_mode` 分类树。 需要研究记录本身时可以描述其信息内容,但不能以此替换会话、集合或能力。 未来 JSON 只能承载获准结构化的领域记录,不取代教程、原始研究、事实镜像、metadata 索引或 Harness 契约。 ## 分类验收判例 以下是预期语义判定,不是已运行的自动语义测试或独立评审。 | ID | 输入或变化 | 必须得到的结果;须拒绝的错误 | |---|---|---| | C01 | 跨来源或来源复用同一个 Session ID | 跨来源不能合并;同源复用须核对创建代次。不能凭字符串合并,也不能凭自造代次拆开。 | | C02 | 会话恢复、换模型或重新导出 | 来源身份未变则仍是同一会话整体;不是每轮都新建魂魄。明确 fork 保留新身份。 | | C03 | 万魂幡、已知清单与一个魂魄 | 全集用 `ai-session` 类外延表达;清单只是记录,魂魄是实例;拒绝物质聚合体、描述文档替代集合。 | | C04 | 模型副本、量化版本、部署与推理 | 相同内容副本不复制模型;量化等内容变化另判派生版本,名称相同不保证身份相同,API 不当模型。 | | C05 | 模型能力与新评测报告 | 直接承载与版本归属分开;满足功能定义时使用功能分支,不另造同一能力;报告描述能力,不成为能力或承载者。 | | C06 | 天毒珠多用途、工具多篇介绍 | 一个对象,多项用途与描述关系;不按用途或文章数复制身份。N1。 | | C07 | 玉石、功法及内部技法 | 载体与内容不同,内容组成不是类型继承。N4、N10。 | | C08 | 心法标题、Workflow 规范及实际玄阵 | 先读词义;不默认心法=认知模型、阵法=Workflow。规范、布设与过程分开。N6。 | | C09 | 同一软件执行任务并暴露 MCP/API 入口 | 仍为一个软件制品,不按两种用途复制身份;规范、部署入口与一次调用另外按真实所指判断,符合性和权限另验。 | | C10 | GPU、配额、预算及实际用量 | 物理设备、生效分配、预算与用量分开;分配记录不自动证明权限生效。 | | C11 | 一笔推理消耗同时按 Token 统计 | 用途不变成第二笔消耗;不同口径不直接相加或互换。 | | C12 | 功法重数、玄力阶段与无量表的 AI 等级 | 绑定各自对象和量表;缺量表不赋级,不凭同名等级横比。N4、N5。 | | C13 | 玄关实际全开,观察者只探知部分 | 状态、观测与主张分开,不让错误观测覆盖事实。N3。 | | C14 | 宗门、所在地、弟子及容纳人的器物 | 成员、制度、场所与器物按所指区分,用归属/所在/容纳关系而不是类型父链。N2、N7、N8、N11。 | | C15 | 材料用于炼制;假设工具充当阵眼 | 用途不自动改变对象身份,实际转化须有身份依据;软件用途标签不能随意冒充 BFO Role 实例。 | | C16 | 攻击手法、一次 Prompt Injection 尝试及越权 | 方法内容与实际过程不同;是否成功越权取决于结果证据,不能凭尝试断言成功。 | | C17 | 幻觉失效与总结文章 | 实际失效过程与描述内容不同,不据此给模型永久低境界。 | | C18 | 更快但不合格;双方合格但投入各有长短 | 不用速度抵消验收失败;有取舍时保留多维结果,不编通用战力分数。 | | C19 | 下层术语暂时难以映射 | 校准所指及下层扩展,保留未决项;不得擅自替换 BFO 或另加 Abstract 顶层。 | | C20 | 一份 Skill 同时包含解释、约束与步骤 | 内容整体可归道法内容;只有存在独立所指才登记内容部分,不为落到叶类复制三份原对象。 | | C21 | 一次测量采用指定方法 | 同一测量过程关联所用方法,不因“施行了方法”再创建一个过程或平行主类。 | | C22 | 器物临时用途、内部能力及设计目的 | 外在情境角色与内部倾向分开;功能还需设计/生物演化依据,不能只凭“用来做”断定。 | | C23 | 类型改名、拆分、合并或会话 ID 复用 | 改标签不换类型 ID,语义拆并留旧 ID 去向;类型 ID 的稳定规则不能替代实例生命周期核验。 | | C24 | 禾菱成为毒灵的意向问句与相关章名 | 只登记可见主张,不补造转化完成、过程或存在方式;未读后续不代表从未发生。N12。 | | C25 | 假设器物改变外形,或材料被消耗并形成产物 | 核对前后身份、性质与组成;不凭人形赋人类类型,不自动拆身份或强留原料 ID。不是本轮已核验情节。 | | C26 | 搜索返回同题但不同作品 ID,或以章名补正文 | 核对作者、作品 ID、版本及实际范围;其他作品不并入原作,目录与摘要不充当转化结果证据。N13–N15。 | 若同一已消歧所指仍必须双父、改义或复制身份才能归类,就重开该下层设计;不能篡改 BFO 或以来源不足掩盖冲突。 ## 迁移与维护边界 2026-09-30,按用户明确纠正,将未发布草案改为 V4 BFO 下层展开;此前 DOLCE 选型撤销,不维持第二有效方案。 此次修正不是把旧树改几个名称,而是恢复 BFO 上位结构,并调整会话、集合、能力承载与计量的表达。 | 被撤销或需纠正的口径 | V4 处理 | |---|---| | 助手自行替换顶层 | BFO 2020 为固定前提,领域类只在其下展开。 | | 四个并列顶层及抽象集合分支 | 恢复 entity → continuant / occurrent;集合用已有类的外延表达,不新增集合实体顶层。 | | 魂魄固定为非物理持存体 | 单个完整会话按 AI 会话过程对齐;Session 身份、消息和日志边界保留。 | | 模型信息内容直接承载能力 | 分开模型版本归属与 BFO 直接承载,保留修为属于模型的工程含义。 | | 所有数字对象归非物质实体、所有属性归品质 | 软件内容归 GDC,具体品质/倾向依附合适承载者,数据和评价单独表达。 | | 功法/心法/术法/阵法固定互斥 | 继续按来源逐义判断,不恢复未经支持的等号。 | ### V4 下层收敛记录 2026-09-30,继续在 V4 上落盘定义与稳定标识,不另起版本树。原生 BFO 分支不变,领域节点由 30 收敛为 25。 删除的是交叉分类入口,不是其所指、用途、能力或原著术语;数量减少本身不是质量证明。 | 原草案节点 | 当前去向 | 原因 | |---|---|---| | 执行工具软件、调用入口软件 | `software-artifact`;用途、接口实现和部署绑定分别说明。 | 一个软件可兼具两种用途,不应被迫两份身份;运行入口也不能一律替换成程序内容。 | | 修行能力、模型运行能力 | BFO 倾向及有依据的功能分支;承载者和模型归属另记。 | 按承载者划分的能力与 Function 相交,不另造同一能力的平行类别。 | | 方法施行过程 | 实际过程及其 `uses` / `conforms_to` 关系。 | 采用方法不是与测量、训练并列的互斥过程种类。 | 上述旧领域标签此前未获稳定 ID,本轮不伪造旧 ID 历史;既有 `ai-session` 不变,新登记 ID 后续不得挪作他义。 2026-10-01,在已发布 V4 后追加四处免费预览的读取边界,补充器灵、形态/材料变化、意向与事实的判定及 C24–C26。 主树、25 条定义和稳定 ID 不变;本次没有凭受限预览增设器灵类,也不声称转化机制已核验。 保留现有文件路径与 `唯一分类树` 锚点。README、AGENTS、metadata 与 AI 引用同步 BFO 定位、定义入口,不维护另一份树。 无新增数据库、Schema、推理器或运行组件;有限规模用 Markdown 和现有文档检查,不增加运行时 I/O 或并发成本。 回退只针对本轮增量并保留并行修改,不能用全工作区恢复覆盖既有工作,也不能自动恢复已被否定的顶层选择。 TODO:会话来源系统的生命周期证据、模型能力归属与实现证据、器灵和材料转化、功法及阵法下位词义仍需继续校准。 当前检查可验证树形、BFO ID/继承和领域定义登记的一致性,不证明定义真实完备、领域公理一致或经过独立评审。 ## 调研来源与证据边界 只保存短摘要与定位,不复制小说全文;原著、预览、二手来源和规范定义不相互替代。 ### 本体与语言层来源 | ID | 来源 | 核对范围与限制 | |---|---|---| | O1 | [BFO 2020 官方仓库](https://github.com/BFO-ontology/BFO-2020)及[当前 README](https://github.com/BFO-ontology/BFO-2020/blob/master/README.md) | 当前发布入口和上位继承;BFO 为固定前提,不作为待替换候选。 | | O2 | [官方 bfo-core.owl](https://github.com/BFO-ontology/BFO-2020/blob/master/21838-2/owl/bfo-core.owl) | 核对原生名称、ID、直接继承;本次文件 SHA-256:`b65c817a7a25501499d287981aea972f2ce33146dcfb855915a459f6a051718d`。上游 CC BY 4.0;本文中文名称与领域扩展不冒充官方翻译。 | | O3 | [BFO 自然语言规范](https://raw.githubusercontent.com/BFO-ontology/BFO-2020/21838-2/21838-2/BFO-2020-text.pdf) | 定点核对物质聚合体、过程等;本轮回读 2.37–2.54 的品质、角色、倾向、功能、GDC、承载/具体化/实现。ISO 页面受限,未声称读取标准全文或通过认证。 | | O4 | [OWL 2 Direct Semantics](https://www.w3.org/TR/owl2-direct-semantics/#Interpretations) | 第 2.2 节:类被解释为个体域的子集,个体被解释为域元素;用于说明会话类外延,不是另一套顶层本体,也不代表已部署 OWL。 | | O5 | [IAO 的 OBO Foundry 介绍](https://obofoundry.org/ontology/iao.html) | 信息本体定位参考;本树信息领域类未声明为全部 IAO 类或公理的等价实现。 | | O6 | [SKOS Primer](https://www.w3.org/TR/skos-primer/)及 [Reference](https://www.w3.org/TR/skos-reference/) | 借鉴标签和关系区分;真实会话不是 skos:Concept 集合,不把万魂幡编码成概念标签集合。 | ### 小说材料 | ID | 来源与位置 | 实际读取范围与用途 | |---|---|---| | N1 | [逆天邪神开篇](https://read.zongheng.com/chapter/408586/6905692.html) | 公开全文页面;天毒珠的多种用途。末尾作者杂谈不作为设定。 | | N2 | [逆天邪神第7章](https://read.zongheng.com/chapter/408586/6917792.html) | 全文;玄脉受损、冰云诀、组织身份;修复判断有认知范围。 | | N3 | [逆天邪神第61章](https://read.zongheng.com/chapter/408586/7021503.html) | 全文;54 玄关全开而伪装为 16,状态与观测分开。 | | N4 | [逆天邪神第113章](https://read.zongheng.com/chapter/408586/7174875.html) | 全文;凤凰颂世典、玉石、内部技法、功法重数及玄力阶段;越过前序修炼仍含人物推断。 | | N5 | [逆天邪神第126章](https://read.zongheng.com/chapter/408586/7217564.html) | 全文;测试标准。末段玄力与战力判断来自傲岩,不把其胜负自信当事实。 | | N6 | [逆天邪神第1097章](https://read.zongheng.com/chapter/408586/40783804.html) | 仅 VIP 免费预览;防御玄阵,不复原完整机制。 | | N7 | [逆天邪神第1699章](https://read.zongheng.com/chapter/408586/60837069.html) | 仅 VIP 免费预览;星界、界王势力、核心宗门。 | | N8 | [逆天邪神第1739章](https://read.zongheng.com/chapter/408586/61273820.html) | 仅 VIP 免费预览;神域、星界、城市、宗门及迁入者。 | | N9 | [元尊第4章](https://read.zongheng.com/chapter/685640/38886859.html) | 全文;源纹、铭刻、催动及效果;实战不能只按开脉数判断。 | | N10 | [元尊第20章](https://book.zhulang.com/450296/9814.html) | 逐浪全文;源术品阶、条件及锻龙戏中的两套源术。 | | N11 | [武极天下开篇试读](https://t.shuqi.com/v2/query/169776/948084.html) | 可见试读,正式章号未独立核对;地域、势力、封神塔、战士与灵魂;来源猜测不当事实。 | | N12 | [逆天邪神第1323章《毒灵禾菱》](https://book.zongheng.com/chapter/408586/45302186.html) | 仅 VIP 免费预览;可见成为天毒毒灵的意向问句与人物反应,不包含完整转化过程或结果。 | | N13 | [逆天邪神第786章《劫天诛魔》](https://book.zongheng.com/chapter/408586/35973907.html) | 仅 VIP 免费预览;受伤及运转功法开头。未读到搜索所称化剑片段,不能确认其情节或首次发生章节。 | | N14 | [逆天邪神第884章《红儿?》](https://book.zongheng.com/chapter/408586/38299142.html) | 仅 VIP 免费预览;云澈的感知及对苓儿的呼喊。章名不证明呼唤者身份,也不支持还原后续设定。 | | N15 | [逆天邪神第1316章《天毒毒灵》](https://book.zongheng.com/chapter/408586/45245906.html) | 仅 VIP 免费预览;人物谈及龙皇来访,不含完整毒灵机制。标题不能代替未读正文。 | 新增章名与链接由[原作官方目录](https://book.zongheng.com/showchapter/408586.html)定位,读取身份固定为火星引力、作品 ID `408586`。 《逆天邪神结局卷》(`1391868`)、《逆天邪神之续章》及其他作品 ID 的误配均排除,不因书名相近并入原著。 搜索回答中混淆邪神诀与玄力序列、以章名推断首次化剑或转化完成的结论未采纳。 本轮未取得《修罗武神》界灵与结界术的足够正文,简介不能替代定义;也不以免费预览推断未读付费章节。