模型公理

功能概览

功能定位

模型公理用于定义对象类别之间及属性上的语义约束，包括子类型、等价、互斥、关系定义域和值域、属性范围。

简单理解：用明确规则描述模型中哪些类型相关，以及关系和属性可以连接什么。

主要特性

• 五类公理：按语义目的选择对应配置。
• 引用模型元素：选择已存在的对象类型及属性。
• 级别标识：使用提示、警告、错误区分规则级别。

作用范围

本页资料属于当前项目及版本；进入、编辑、删除和其他操作分别受相应授权控制。切换项目或版本后，应重新核对列表和关联对象。

前置步骤

前置条件

1. 已登录 qOntology，并获得本页及所需操作权限。
2. 已在【基础管理】建立项目，并在【本体建模】顶部选择正确项目与版本。
3. 需引用的对象类型与属性已存在，并已确认各项公理的业务语义。

导航路径

【本体建模】 > 【约束规则】 > 【模型公理】

页面总览

列表按公理名称、公理类型、级别筛选。表单根据所选公理类型切换字段；本页提供规则维护，不提供独立执行验证按钮。

推荐操作流程

准备对象和属性 → 选择公理类型 → 填写对应引用 → 保存 → 查看详情复核。

功能操作说明

查询与重置

1. 在查询区填写或选择公理名称、公理类型和级别。
2. 点击【查询】。
3. 需要恢复条件时点击【重置】。

操作结果：列表按条件重新加载，可继续分页查看。

新增类型关系公理

1. 点击【新增】。
2. 填写名称。
3. 选择【子类型】【等价】或【互斥】。
4. 选择级别。
5. 选择表单要求的两个对象类型。
6. 按需填写描述。
7. 点击【确定】。

字段名	说明	是否必填
名称	公理业务名称，最多 128 字；同一项目版本内不能重复。	是
类型	子类型、等价、互斥、Domain / Range、属性范围。	是
级别	提示、警告、错误；默认提示。	是
描述	补充规则用途，最多 512 字。	否
对象类型字段	子类型填写子/父类型；等价和互斥填写两个类型，两个对象类型必须不同。	对应类型时必填
关系、Domain、Range	关系手工填写名称；Domain 选择起点类别，Range 选择终点类别，两者必须不同。	Domain / Range 时必填
对象类型属性与数据类型	先选对象及属性，再选基础类型或业务类型及对应参数。	属性范围时必填

操作结果：新增成功后，公理列表显示所选类型及级别。

子类型表达“供应商属于组织”等继承语义；等价表示两类含义等同；互斥表示两类不应同时成立。应先由业务人员确认语义，再选择对象。

定义关系的 Domain 和 Range

1. 新增公理时将【类型】设为【Domain / Range】。
2. 填写关系名称。
3. 选择【Domain】对象类型。
4. 选择【Range】对象类型。
5. 补齐名称、级别等公共信息。
6. 点击【确定】。

操作结果：保存关系名称及起终点类别约束。

当前【关系】是文本输入框。请与对象类型关系中维护的名称保持一致；不能按下拉选择关系的方式操作。此处维护允许的类型组合，与对象类型关系的结构定义分别保存；一处名称或起终点调整后，需核对另一处，不会自动同步。

定义属性范围

1. 新增公理时将【类型】设为【属性范围】。
2. 选择对象类型。
3. 选择【对象类型属性】。
4. 选择基础数据类型或业务数据类型。
5. 补充对应类型参数。
6. 补齐公共信息。
7. 点击【确定】。

操作结果：保存该属性的类型范围定义。

对象类型属性从所选对象加载；业务数据类型按【当前项目】与【全局】分组选择，不要求事先被该对象的其他属性引用。切换对象后，应重新核对属性与类型配置。

查看与修改公理

1. 在目标行点击【详情】。
2. 核对类型及其对应参数。
3. 关闭详情。
4. 点击【修改】。
5. 调整需要修改的参数。
6. 点击【确定】。

操作结果：详情展示已保存的公理；修改成功后列表更新。

删除模型公理

1. 在目标记录行点击【删除】。
2. 核对确认框中的目标记录。
3. 确认删除。

操作结果：删除成功后列表重新加载，目标记录不再显示。

也可以勾选记录，使用列表上方的【删除】批量处理。

注意

删除前核对业务用途及关联资料。本页没有提供回收站恢复入口。

常见问题

• 保存后会自动验证全部数据吗？
  本页保存公理定义，没有独立的全量执行入口；不能把保存成功视为数据验证通过。

• 级别为错误是否一定阻止所有后续任务？
  本页记录规则级别，不能仅凭该字段推断所有下游流程都会被阻断。

总结

用明确规则描述模型中哪些类型相关，以及关系和属性可以连接什么。 准备对象和属性 → 选择公理类型 → 填写对应引用 → 保存 → 查看详情复核。