git:20260831.f33ce1b to git:20260906.e53cd23

5 added, 5 removed. Audit A to A.

---
name: ontology-logical-model-generation
description: |
- 用于概念模型和业务语义已经确认,需要生成机器可处理的类、属性、关系、词汇、约束、查询和动作接口,用户出现“生成逻辑本体模型”“把概念模型转成RDF OWL SHACL”或 logical ontology generation, TTL, SHACL shapes 等信号时调用。不适用于业务语义尚未确认或只需要审查现有模型质量。
+ 用于已有概念模型或可明确列出假设的业务语义,需要生成机器可处理的类、属性、关系、词汇、约束、查询和动作接口,用户出现“生成逻辑本体模型”“把概念模型转成RDF OWL SHACL”或 logical ontology generation, TTL, SHACL shapes 等信号时调用。不适用于只需澄清业务语义或审查现有模型质量;未确认输入可生成候选逻辑模型。
metadata:
tags: "logical-ontology, rdf, owl, skos, shacl, sparql, formalization, enterprise-ai, ontology-driven"
related-skills: "ontology-conceptual-model-design:depends-on, data-to-ontology-mapping-and-instantiation:feeds-into, ontology-model-multilayer-quality-gate:feeds-into"
---
# 逻辑本体模型生成
## 方法骨架
- - 把已确认的概念模型形式化为机器可解析的类、属性、关系、词汇、约束、规则接口和查询模板。
+ - 把概念模型按已确认或候选状态形式化为机器可解析的类、属性、关系、词汇、约束、规则接口和查询模板。
- 先选择满足场景需求的最小技术组合;RDF/OWL/SKOS/SHACL/SPARQL按实际任务使用,流程、规则和权限可映射到企业现有引擎。
- 业务语义编号和来源必须保留在逻辑元素元数据中,防止形式模型失去业务证据。
- 候选语义与生产语义分模块或分状态发布,禁止在生成过程中把未确认内容自动升级。
- - 逻辑模型生成后进入独立技术与业务质量门。
+ - 按交付用途执行技术自检;正式使用前进入相应技术与业务质量门。
需要形式化映射规则时读取 [逻辑模型契约](references/logical-model-contract.md)。
## 执行步骤
1. **确定形式化配置**
- 动作:选择命名空间、URI、模块、版本、依赖、序列化格式和需要的标准能力。
- 完成标准:技术选择能够支持当前查询、校验、推理和集成需求。
2. **生成类、属性和词汇**
- 动作:把对象、概念继承、数据属性、对象关系、术语和分类转换为逻辑元素。
- 完成标准:元素与概念模型编号一一对应,名称和定义完整。
3. **生成约束与规则接口**
- 动作:把数量、类型、值域、时间、一致性和权限前置约束转为 SHACL 或目标引擎可执行结构。
- 完成标准:每条关键约束有来源、严重级别和测试样本。
4. **生成查询和动作接口**
- 动作:为 Agent 关键任务建立查询模板,并为动作保留输入、输出、前置、效果和权限契约。
- 完成标准:每项关键任务至少有可验证的模型访问路径。
5. **生成元数据与追溯**
- 动作:记录模型标识、版本、状态、适用范围、责任、依赖和语义来源。
- 完成标准:逻辑元素能够回溯场景语义、概念视图和证据。
6. **执行生成后自检**
- 动作:解析文件并检查名称、引用、孤立元素、依赖和候选隔离,生成待独立审核的问题单。
- 完成标准:文件可解析,自检结果不冒充独立质量结论。
## 固定输出
- 本体命名空间、URI 和模块规则
- RDF/OWL 类、属性和关系模型
- SKOS 术语和分类模型
- SHACL 约束模型
- 规则或决策表的目标实现映射
- SPARQL 查询模板
- Action 契约和权限引用
- 模型元数据、版本和依赖
- 语义—逻辑元素追溯表
- 生成后自检报告与独立审核输入
## 使用边界
- - 业务语义来源不明、冲突未裁决或概念模型未确认时,保持草稿并返回前置阶段。
+ - 业务语义来源不明、冲突未裁决或概念模型未确认时,隔离受影响元素,列出假设或冲突分支,继续可完成的草稿生成和技术验证;不赋予其生产效力。
- SWRL、OWL-S、ODRL、BPMN 等根据目标平台选择,不设为所有场景必交格式。
- SHACL 用于数据图约束,规则引擎、流程引擎和 IAM 继续承担各自运行职责。
- - 自检只能发现可解析和显性结构问题,独立质量审核及黄金用例仍然必需。
+ - 自检结果只支持其检查范围;生产准入仍需项目规定的独立质量审核和真实业务用例,候选交付无需等待这些外部环节。
## 相关 Skills
- `depends-on` → `ontology-conceptual-model-design`。
- `feeds-into` → `data-to-ontology-mapping-and-instantiation` 与 `ontology-model-multilayer-quality-gate`。
## 审计信息
- **首次公开版本**:2026-08-31
- **来源说明**:结合开放语义标准和企业本体工程实践独立整理。