本体库

面向线束组件 CAD 绘图自动化的本体资产，覆盖图纸、连接器、引脚、线束、接线表、BOM、标准图块和 PLM 物料的关系与校验规则。

供应链MRP物料需求计划本体，用于知识推理与风险预警。

基于费用报销单、费用行、发票、付款记录、合同订单、出差申请、敏感词、黑白名单与审核规则构建的费用报销智能审核本体。

面向银行客户金融业务合规审查的本体模型，覆盖法规管理、规则提取、内规审查、客户尽调、反洗钱监测、交易监测和审查结果追溯。

面向集团级 EAM 备件共享库的语义与规则推理本体：以统一物料编码为主键整合备件、设备、工厂、库房、库存与供应商，形式化领料决策（本地领取 / 异地调拨 / 请购）、调拨合规校验与呆滞处置共 18 条 SWRL 规则，16 项决策阈值参数集中管理。遵循 GB/T 48000.3-2026 本体建模要求，含 41 项回归测试与 20 项一致性检查。

面向集团 SRM 供应商质量管理的领域本体与知识图谱：以 Supplier 为中枢建立「资质/订单 → 物料 → 来料检验（时序链）→ 客诉 → 现场审核 → 整改闭环 → 综合风险画像」全流程语义链，含 29 类 / 35 对象属性 / 116 数据属性，R1 来料连续不合格、R3 资证失效、R4 审核失分、R5 整改逾期四类 SWRL 推理规则与 SHACL 数据质量约束。支撑 5,045 家供应商、16,914 张来料检验单、30,214 条资质证照的全量风险预警，与官方验收基准 100% 对齐。遵循 GB/T 48000.3-2026 本体建模要求。

面向招标邀请供应商核查的领域本体与知识图谱：以 Enterprise 为中枢建立「投标供应商 → 关联路径（股权 / 任职 / 地址特征）→ 判定规则 → 核查发现」的关联审查链，与「司法风险事件 → 分级判定」的风险链。含 47 类 / 40 对象属性 / 131 数据属性，关联判定 8 条 SWRL 形式化规则与司法风险 14 条 SWRL 规则、SHACL 数据质量形状约束，支撑招标邀约供应商两两关联核查、司法风险三档定级与投标文件智能审查，结论以四态 + 置信度三因子输出，复核 289 项 0 不一致。遵循 GB/T 48000.3-2026 本体建模要求。

面向锂电池制造工艺质量分析与 VD1 电压测试异常归因的领域本体与知识图谱：以海辰储能电池工厂为对象，把浆料、宽/窄幅膜卷、极片、裸电芯到完整电池的物料链，基地/工厂/车间/产线/设备/工位的组织架构，预搅拌到 VD1 测试的 10 道工序，以及参数/批次/追溯三张物理表（约 135 万行）的字段与参数定义，建成 37 类 / 30 对象属性 / 28 数据属性 / 64 个实例个体的 OWL 2 DL 本体（1350 条三元组）。含 6 个传递属性（组织从属、工序先后、物料追溯、批次追溯的多跳推理）、7 对逆属性、3 个函数型属性、18 组 SHACL 数据质量形状、6 条集中性分析路由与 5 个阈值 Metric 个体（规则五层解耦：TBox 公理 / ABox 业务规则 / Metric 指标口径 / hyparam.json 执行权威 / SHACL 闸门），以业务规则 param_value > 0 = NG 为主线，支撑时间-设备-工位-膜卷四维集中性归因并输出带业务语言链路证明的审查报告。

面向 acausal 热模型语义治理的领域本体与知识图谱：以「意式浓缩咖啡在陶瓷杯里冷却」（咖啡液 + 杯体 + 蒸汽顶面 + 金属勺 + 手部，对流 / 导热 / 辐射 / 蒸发 / 接触换热）为对象，把 Dyad/ModelingToolkit 编译期丢失的量纲、单位、温标、边界方向与机制-耦合信息重建为可机读语义。含 69 类 / 31 对象属性 / 44 数据属性，2 条 SWRL 规则（相变候选判定、耦合完备性要求）、10 组 SHACL 数据质量形状与 16 条治理规则注册表，支撑物理模型的机制完备性、拓扑回路、口径一致性、量纲声明与实验配置一致性核查。遵循 GB/T 48000.3-2026 本体建模要求。

面向 acausal 摩擦制动模型语义治理与安全判定的领域本体与知识图谱：覆盖 FrictionBrake（盘片摩擦副）、BrakeThermal（盘片热模型）、SimpleVehicle（整车阻尼与滚动约束）、SimplePowertrain（扭矩链）四个 Dyad 模型，把编译期丢失的量纲、口径、适用域、机制-耦合、守恒律、边界条件与安全限重建为可机读语义。含 69 类 / 26 对象属性 / 48 数据属性，2 条 SWRL 规则（滚动接触样本识别、耦合需求正推）、5 个 SHACL-SPARQL 形状、11 条判据规则与 14 条代码生成约束，4 个安全限与 4 个失效模式支撑刹车失灵风险判定，阈值一律以本体个体供给。遵循 GB/T 48000.3-2026 本体建模要求。

面向 acausal 建筑热模型语义审查的领域本体与知识图谱：以「三热区办公楼」（南区/核心区/北区 + 内隔墙 + 恒温加热器，稳态 HVAC 容量整定与 24 h 动态运行共用一个 Dyad 模型）为对象，把 Dyad/ModelingToolkit 编译期压成普通实数的热容、热阻、温度口径、控制方式、围护拓扑与边界条件语义重建为可机读约束。含 109 类 / 36 对象属性 / 48 数据属性，2 条 SWRL 规则（热区样本判定、耦合需求蕴含）、16 组 SHACL 数据质量形状与 21 条治理规则注册表（六态封闭词表分档，阈值不入公理），支撑稳态-动态一致性、口径碰撞、边界-内源混接、耦合完备性、拓扑一致性与验证体系健康度核查。

面向 acausal 飞行仿真模型语义治理的领域本体与知识图谱：以 NASA HL-20 升力体六自由度飞行动力学（Dyad Agent 全自动生成的气动、大气、刚体动力学与飞控模型）为对象，把编译期丢失的量纲、单位制、坐标系与帧、符号约定、物理身份与接口契约重建为可机读语义。含 88 类 / 43 对象属性 / 55 数据属性、4177 条三元组，新增坐标系与帧、单位边界与接口契约两层（10 接口契约 / 4 换算边界 / 7 换算因子 / 3 坐标系 / 4 符号约定 / 8 物理身份），配 4 条 SWRL 规则、12 个 SHACL-SPARQL 形状与 22 条判据规则注册表（阈值一律以个体供给），支撑帧归属、单位换算、身份碰撞、场景覆盖与规格-代码漂移审查。遵循 GB/T 48000.3-2026 本体建模要求。