语义层
定位 · 对象类型 · 属性 · 链接类型
本材料面向已对业务系统与数据平台有一定基础的读者,系统说明 对象类型、属性、链接类型、函数、行为、对象集与业务自动化 的定义、适用条件、彼此边界,以及在军工指挥与供应链履约场景中的映射方式。
定位 · 对象类型 · 属性 · 链接类型
函数 · 双行业伪代码示例 · 行为
对象集 · 业务自动化
总览 · 军工 / 民企映射 · 判断标准
材料按「语义层 → 动能层 → 运营层」组织:概念章节给出定义、边界与方法;案例章节将前述概念映射至具体业务场景,用于检验概念是否可落地,而非另行引入新的概念体系。
| 页码 | 主题 | 本章节回答的问题 |
|---|---|---|
| 03 | 定位 | 本体相对中台、大模型、流程引擎的职责边界 |
| 04 | 对象类型 | 抽象依据、成立条件,以及宏 / 中 / 微分层方法 |
| 05 | 属性 | 静态 / 动态 / 派生;属性升级为对象类型的判别 |
| 06 | 链接类型 | 命名、基数、实现方式;军工关系语义如何理解 |
| 07 | 函数 | 输入输出、可调用能力,以及在本体中的作用 |
| 08–09 | 函数示例 | 军工威胁评分、供应链 ETA:读属性 → 外呼 API → 写回编辑 |
| 10 | 行为 | 组成结构;与函数的本质差异及绑定关系 |
| 11–12 | 对象集 / 自动化 | 集合的适用条件;自动化的触发条件与边界 |
| 13–17 | 总览与案例 | 概念对照、双行业映射、建模顺序与自检 |
定义。本体是组织在数据与模型之上的业务语义层:把分散数据映射为可被业务语言理解、可被应用复用、可被权限与审计约束的对象、关系与受控操作。它不是又一张宽表,也不是单纯的知识图谱展示层。
定义。对象类型是现实世界中某一类实体或事件的 schema:规定这类东西叫什么、有哪些属性、主键如何标识实例。对象实例是该类型下的一条具体记录。没有对象类型,本体缺少可实例化的「名词」。
跨系统协作依赖稳定、可共享的业务名词。将「无人机 / 任务 / 订单」抽象为对象类型后,搜索、链接、权限、行为与函数方可基于同一契约协同,避免各系统以本地表结构各自解释业务语义。
| 层次 | 产出物 | 军工示例 | 供应链示例 | 常见错误 |
|---|---|---|---|---|
| 宏观 | 领域边界与核心名词清单 | 作战指挥域 | 订单履约域 | 一上来建全企业巨型本体 |
| 中观 | 对象类型 + 主链接草图 | 平台 / 任务 / 目标 / 告警 | 订单 / 库存 / 运单 / 异常 | 把报表宽表整表做成一个类型 |
| 微观 | 主键、属性、基数、写路径 | UAV-ID;状态可写 | SO 号;库存量可写 | 主键不稳定、用行号冒充业务键 |
定义。属性是挂在对象类型上的特征 schema;属性值是某实例在该特征上的取值。对象类型回答「是哪一类」,属性回答「这一类有哪些可描述维度」。
出现下列情形时,不宜继续以属性承载,应拆分为独立对象类型(或中间对象类型):
| 判断 | 保留为属性 | 升级为对象类型 |
|---|---|---|
| 标识需求 | 只是宿主对象的一个字段 | 需要独立主键,会被单独检索与引用 |
| 关系需求 | 只从属于一个宿主 | 会被多个对象类型共同关联 |
| 军工例 | 无人机「余油百分比」 | 「机场」——任务、油料、禁飞区多方关联 |
| 供应链例 | 订单「承诺交期」 | 「承运商」——合同、运单、绩效多方关联 |
定义。链接类型是两个对象类型之间关系的 schema;链接是该关系在两个对象实例之间的一次具体出现。可自环(如同类型上的「汇报—下属」)。跨本体通常不建链接。
链接类型通常按业务谓词命名,并在两侧给出可读显示名。例如「无人机 执行 任务」「运单 承运 订单行」。侧上名称决定在对象视图中如何称呼「指向对方的那一边」。
| 实现方式 | 适用 | 说明 |
|---|---|---|
| 外键型 | 一多 / 一对一 | 一侧属性外键对齐另一侧主键 |
| 中间表 | 多对多 | 两端主键组合表;便于关系写回 |
| 对象支撑 | 关系自身带业务字段 | 用中间对象类型承载角色、时段等元数据 |
定义。函数是平台内托管、在隔离环境中服务端执行的业务逻辑。与本体结合时,可接收对象 / 对象集入参,读取属性与链接,做聚合与判断,并可返回「本体编辑」供行为使用。它首先回答「程序如何读算世界」。
声明式配置表达不了的多步读写、复杂派生与外部协同,需要代码承载;同时把逻辑收拢在可版本、可权限、可复用的服务端单元,避免散落在各前端。
入参为威胁告警实例;函数读取属性与待命平台,调用外部分类模型,写回告警评分,并在高优先级时产出「创建任务 + 建链」的本体编辑(由行为提交后生效)。
ThreatAlert:严重度、传感器置信度、位置UAVThreatClassifierAPI 得到威胁类别与模型分priorityScore,写回告警实例MissionTask 并建立「生成」链接function evaluateThreatAndDraftTask(alert: ThreatAlert): OntologyEdits {
// 1) 读属性
severity = alert.severityLevel
confidence = alert.sensorConfidence
location = alert.geoPoint
// 2) 搜索待命且可达的无人机
candidates = Objects.search(UAV)
.filter(u => u.status == "READY")
.filter(u => distance(u.geoPoint, location) <= 80km)
// 3) 外部威胁分类模型 API
model = ThreatClassifierAPI.predict({
severity, confidence,
sensorType: alert.sensorType,
regionCode: alert.regionCode
})
// model.class ∈ {HIGH, MEDIUM, LOW}
// model.score ∈ [0, 1]
// 4) 规则合成优先级
priority = 0.6 * model.score + 0.4 * norm(severity)
if (candidates.isEmpty()) priority += 0.1
edits = OntologyEdits()
// 5) 写回告警实例属性
edits.modify(alert, {
threatClass: model.class,
priorityScore: priority,
lastScoredAt: now()
})
// 6) 高优先级 → 起草待审任务 + 链接
if (priority >= 0.75 && alert.assignedPlatform == null) {
task = edits.create(MissionTask, {
taskId: newId("T"),
status: "PENDING_REVIEW",
requiredCapability: model.suggestedCapability
})
edits.link(alert, "generates", task)
}
return edits // 经「评估并起草任务」行为提交后写回
}
入参为运单实例;函数读取运单与关联订单,调用运力 API 与延误风险分类模型,写回 ETA / 风险分,并在超承诺时创建异常单、回写订单履约风险。
Shipment:当前枢纽、承诺交期、剩余里程SalesOrder 与目的城市CarrierCapacityAPI 获取中位在途时长与备选承运商DelayRiskClassifier 得到延误风险等级与系数predictedEta / delayRisk;必要时创建异常并更新订单function recomputeEtaAndFlagException(shipment: Shipment): OntologyEdits {
// 1) 读运单属性与关联订单
hub = shipment.currentHub
promised = shipment.promisedDeliveryAt
order = shipment.link("carries").SalesOrder
// 2) 外部运力 / 路况 API
capacity = CarrierCapacityAPI.query({
from: hub,
to: order.destinationCity,
cargoType: shipment.cargoType
})
// 3) 延误风险分类模型
risk = DelayRiskClassifier.predict({
historicalDelay: shipment.delayMinutes,
weatherCode: capacity.weatherCode,
congestion: capacity.congestionIndex,
remainingKm: shipment.remainingKm
})
// risk.level ∈ {HIGH, MEDIUM, LOW}
// risk.delayFactor ∈ [0, +∞)
// 4) 重算 ETA
eta = now() + hours(capacity.medianTransitHours * (1 + risk.delayFactor))
edits = OntologyEdits()
// 5) 写回运单实例
edits.modify(shipment, {
predictedEta: eta,
delayRisk: risk.level,
riskScore: risk.score,
lastEtaCalcAt: now()
})
// 6) 超承诺且无未关闭异常 → 建异常 + 回写订单
if (eta > promised && shipment.openException == null) {
ex = edits.create(LogisticsException, {
exceptionId: newId("EX"),
type: "DELAY_RISK",
status: "OPEN",
suggestedCarrierId: capacity.bestAlternateCarrierId
})
edits.link(shipment, "hasException", ex)
edits.modify(order, { fulfillmentRisk: "AT_RISK" })
}
return edits // 经「重算 ETA 并建异常」行为提交后写回
}
定义。行为(动作)是一次单一事务中,按既定逻辑改变对象、属性或链接的操作;行为类型是该类操作的 schema,通常包含参数、规则、提交条件与副作用。它回答「允许谁、在何种条件下、怎样改世界」。
| 维度 | 函数 | 行为 |
|---|---|---|
| 主问题 | 如何读、算 | 如何受控地写 |
| 默认形态 | 可无副作用 | 以本体变更为中心 |
| 治理重心 | 逻辑复用与类型安全 | 权限、条件、审计、副作用 |
| 独立存在 | 可被应用直接调用 | 是写入口契约;可不依赖函数 |
OntologyEdits:预览可跑通逻辑,生产写回须经对应行为(如「评估并起草任务」「重算 ETA 并建异常」)提交。函数返回编辑意图;行为决定能否提交、由谁提交、是否伴随通知。
定义。对象是某一对象类型下的单条实例;对象集是满足给定条件或显式列举的多条实例之集合。它是探查、分析、批量行为目标与自动化条件之间可传递、可复用的工作单元:运营关注的是经筛选界定的对象范围,而非类型下的全部实例。
另可按存留区分临时集(会话内传递)与永久集(可跨应用长期引用)。
定义。业务自动化以「条件 → 效果」为模型:持续或按计划评估条件;条件满足时自动执行效果(提交行为、运行逻辑、发送通知等)。它与人工在界面中提交行为互补,共用同一套行为定义与对象权限,并不另开一条绕过治理的写通道。
一页收束:语义定义世界;函数读算世界;行为改世界;对象集框定批次;自动化在条件满足时调用效果。
| 概念 | 回答的问题 | 典型产出 |
|---|---|---|
| 对象类型 | 世界上有哪一类东西? | 可实例化的名词契约 |
| 属性 | 这一类有哪些特征维度? | 字段 schema 与取值 |
| 链接类型 | 两类东西如何相关? | 可导航的关系契约 |
| 函数 | 如何读、算、派生、对接外部? | 计算结果或编辑意图 |
| 行为 | 谁能在什么条件下改什么? | 受控事务与副作用 |
| 对象集 | 当前关注的是哪一批? | 静态 / 动态工作集合 |
| 业务自动化 | 何时自动执行何种效果? | 条件触发的运营闭环 |
场景:侦察—打击—评估链路中,指挥席需在分钟级对齐「飞了谁、看见了什么、威胁在哪、派谁去、进展如何」。
| 概念 | 示例 | 说明 |
|---|---|---|
| 对象类型 | 无人机、机场、任务、目标、威胁告警 | 宏观作战域下的中观名词;微观再定主键与属性 |
| 属性 | 型号(偏静态);任务状态 / 余油(动态) | 「所属机场」若需多方关联则升为机场对象 + 链接 |
| 链接类型 | 执行、针对、部署于、隶属 | 按作战谓词命名;基数决定外键或中间结构 |
| 函数 | evaluateThreatAndDraftTask(见第 08 页) |
读告警属性 → ThreatClassifierAPI → 写回评分;高优先级时产出创建任务编辑 |
| 行为 | 评估并起草任务、指派无人机、关闭告警 | 绑定上述函数;提交条件如「平台状态=待命」;权限与审计落在行为 |
| 对象集 / 自动化 | 高威胁未分配告警集;进集 → 生成待审任务 | 人审关键决策;机械步骤由自动化触发行为 |
场景:订单—仓储—运输闭环。延误争议往往不是「没有数据」,而是销售、仓储、承运商不承认同一套业务对象。
| 概念 | 示例 | 说明 |
|---|---|---|
| 对象类型 | 客户、销售订单、SKU、仓库、运单、异常单 | 履约域中观名词;避免把 ERP 宽表直接做成一个巨型类型 |
| 属性 | SKU 规格(偏静态);库存量 / ETA(动态) | 承运商若有独立合同与绩效,应是对象而非订单上的字符串 |
| 链接类型 | 占用、承运、影响、发往 | 延误可沿链接追到订单与客户承诺 |
| 函数 | recomputeEtaAndFlagException(见第 09 页) |
读运单 / 订单 → CarrierCapacityAPI + DelayRiskClassifier → 写回 ETA / 异常编辑 |
| 行为 | 重算 ETA 并建异常、改派承运、确认签收 | 绑定上述函数;函数产出编辑,行为提交后写回并留痕 |
| 对象集 / 自动化 | 延误未改派运单集;进集 → 通知并建议改派 | 先有清晰行为契约,再放大触发频率 |
这是可迁移能力的证据:换领域主要换对象与谓词,不换「类型—属性—链接—函数—行为—集合—自动化」的分工。
| 骨架 | 无人机 C2 | 供应链物流 |
|---|---|---|
| 核心对象 | 平台 / 任务 / 目标 / 告警 | 订单 / 库存 / 运单 / 异常 |
| 关键链接 | 执行、针对、部署于 | 占用、承运、影响 |
| 关键函数 | 可用平台、威胁评分 | ETA、改派候选 |
| 关键行为 | 指派、关闭告警 | 改派、确认签收 |
| 典型对象集 | 未分配高威胁告警 | 延误未改派运单 |
| 自动化 | 进集 → 待审任务 | 进集 → 通知与建议改派 |
本材料说明概念与方法,不替代具体行业数据模型、权限策略与接口设计。落地时需结合组织现有系统边界与治理要求做详细设计。