设计区
通过脑图的方式显示当前打开的本体结构。
1. 元素图形
在脑图中通过不同的图形表示本体中的各种元素。
下面详细说明每个元素图形的特征和操作
1.1 Thing节点
以Thing为中心展开图结构，Thing为特殊的顶层类。
所有的类都需求或Thing类节点的子类。
1.2 类节点
在脑图中表示本体中的类元素的图形，效果图如下：
- 图形特点:
1、圆角矩形显示图形，图形上显示当前类名称如（类1）。
1.3 高级类节点
在脑图中表示本体中高级类元素的图形，效果图如下：
- 图形特点:
1、高级类使用圆角矩形和运算方式组合的方式显示图型。
2、根据运算方式高级类提供三种图形分别表现当前高级类的运算方式：交、并、补。
3、根据属性中元算方式的切换调整显示的图形。
4、高级类图形中可展开显示当前高级类的运算成员。
1.4 匿名类节点（属性约束）
在脑图中使用圆角矩形的图形表示匿名类，效果图如下：
- 图形特点:
1、圆角矩形显示图形。
2、图形上文本类型显示当前匿名类的构造， 如图：
1.5 枚举类
在脑图中使用圆角矩形加图形标识表示匿名类，效果图如下：
- 图形特点:
1、圆角矩形加左上角的图形标识枚举类。
2、可展开显示枚举成员
1.6 引用类
在脑图中显示引用了类的元素。
- 图形特点:
1、所有类元素在原图形及基础上通过改变边框（虚线）、 背景色（灰色）的方式形成新的图形，表示引用类。
2、引用类图形上的操作和原图形保持一致。
1.7 对象属性节点
在脑图中显示图形元素表示本体中的对象属性。
- 图形特点:
1、六边形和图标标识显示图形
2、显示对象属性名称
1.8 数据属性节点
在脑图中显示图形元素表示本体中的数据属性属性。
- 图形特点:
1、六边形和图标标识显示图形
2、显示对象属性名称
1.9 引用属性节点
在脑图中显示引用了属性的图形
- 图形特点:
1、所有属性元素在原图形及基础上通过改变边框（虚线）、 背景色（灰色）的方式形成新的图形，表示引用属性。
2、引用属性图形上的操作和原图形保持一致。
1.10 实列节点
在脑图中用于标识本体中实例的图形
- 图形特点:
1、使用圆形的图形标识实例 2、显示实例名称
1.11 引用实列节点
在脑图中显示引用了实例的图形
- 图形特点:
1、所有类元素在原图形及基础上通过改变边框（虚线）、 背景色（灰色）的方式形成新的图形，表示引用实例。
2、引用实例图形上的操作和原图形保持一致。
1.12 引入本体结构
在当前本体中引入其他本体的结构中的元素。
- 图形特点:
1、在所有引入元素的右上角添加引入元素标识，参见以下效果图：
1.12 公理
在设计区视图中元素与元素之间的关系（公理）使用连接线类表示：
- 子类
带空心箭头的连接线
- 聚合模式
通过对象属性聚合的其他类之间的聚合关系使用带菱形的连接线表示：
- 其他公理
使用贝塞尔曲线连接
2.元素操作
2.1 选中
2.1.1 选中本体元素
效果
1、被选中元素变宽颜色加深。
2、被选中元素相关的第一集公理连接线颜色加深。
影响
1、[工具栏]工具栏部分功能按钮根据选中元素的的当前状态自动启用或禁用部分功能（参见工具栏章节）。
2、[属性区]属性区属性选项卡中内容自动切换为当前选中元素的属性以及属性值。
3、[编辑区]编辑区元素信息选项卡中内容自动切换为当前选中的相关信息（参见编辑区章节）2.1.2 选中公理
- 效果
1、被选中的公理颜色加深（见效果图）。
2.2 双击
2.2.1 双击类元素
- 效果
1、双击的类元素进入编辑模式
2、点击其他任意位置取消编辑模式保存文本框中数据。 - 影响
1、更新所有显示当前类元素名称的地方和引用当前类的地方。2.2.2 双击高级类元素
- 效果
1、双击的类元素进入编辑模式。
2、点击其他任意位置取消编辑模式保存文本框中数据。 - 影响
1、在当前高级类的注释（Annontations）中自动添加一条Lable属性并将输入的值附给Lable属性。
2、更新所有显示当前类元素名称的地方和引用当前类的地方2.2.3 双击匿名类元素
- 效果
1、双击的类元素进入弹出模态框编辑匿名类构造。
2、点击保存更新匿名类元素的显示信息。 - 影响
1、更新所有显示当前类元素的地方和引用当前类的地方。2.2.4 双击枚举类元素
- 效果
1、双击的类元素进入编辑模式。
2、点击其他任意位置取消编辑模式保存文本框中数据。 - 影响
1、更新所有显示当前类元素名称的地方和引用当前类的地方。2.2.5 双击属性元素
- 效果
1、双击的属性元素进入编辑模式。
2、点击其他任意位置取消编辑模式保存文本框中数据。 - 影响
1、更新所有显示当前属性元素名称的地方和引用当前属性的地方。2.2.6 双击实例元素
- 效果
1、双击的实例元素进入编辑模式。
2、点击其他任意位置取消编辑模式保存文本框中数据。 - 影响
1、更新所有显示当前实例元素名称的地方和引用当前实列的地方。2.2.7 双击公理元素
- 效果
1、在公理连接显示处显示下拉列表，根据公理类型显示公理候选项。
2、选择其中一个候选项自动取消编辑模式保存选中的数据 - 影响
1、当前公理连接的两个元素之间的关系发生改变。
2、编辑区中对应的公理项的公理类型自动调整为新选择的公理。2.3 右键
2.3.1 类元素右键
1.编辑
- 概述
修改当前本体本体中的类（具名类）的名称 - 启动条件
选中当前本体中需要重命名的类 - 操作方式
1、选中类（具名类）元素。
2、通过右键菜单的重命名选项激活类元素的编辑模式，默认选中类名称。
3、输入新的类名称。
4、点击选中元素以外的其他任意位置执行重命名操作。 - 效果
1、重命名成功。
1.1 元素上名称显示新的类名称。
1.2 检查所有引用了当前类元素的资源，同步修改所有引用类资源的名称。
2、重命名失败，保持原类名称不变。2.删除
- 概述
在当前本体中删除当前选中的类元素 - 启动条件
在打开的本体中选中类元素 - 操作方式
1、在打开的本体中选中需删除的类元素。
2、通过右键菜单激活删除操作。
3、执行删除操作。
3.1 检查当前类是否被其他资源引用或有其他公理：
3.1.1 如被引用或有其他公理弹出删除提示：
3.1.2 如未被引则直接删除类资源。“删除的类资源已被其他资源引用，删除后可能影响其他资源结构，是否确定删除”并选择只删除当前节点或当前节点和其他相关的公理。 - 效果
1、删除成功。
1.1 在设计区图中移除被删除元素。
1.2 在公理列表中移除删除元素对应的公理数据。
1.3 根据删除选项的选择执行相关删除。
2、删除失败。
2.1 保持原类元素不变。
3、删除选项。
2.3.2 高级类右键
1.编辑
（参见类右键编辑节）2.删除
- 概述
（参见类删除节） - 启动条件
（参见类删除节） - 操作方式
（参见类删除节） - 效果
- 删除成功。
1.1 在设计区图中移除被删除元素。
1.2 在公理列表中移除删除元素对应的公理数据。
1.3 根据删除选项的选择执行相关删除。
1.4 删除高级类的成员已经引用成员关系 - 删除失败。
2.1 保持原类元素不变。 - 删除选项。
2.3.3 匿名类右键
1.匿名类型
1.1 对象匿名约束：切换匿名类类型为对象约束匿名类
1.2 数据匿名约束：切换匿名类类型为数据约束匿名类
2.编辑
- 概述
编辑选中匿名类元素图形中的显示信息 - 启动条件
选中匿名类 - 操作方式
- 设计区中选中需编辑的匿名类。
- 右键点击编辑元素，在右键菜单中激活编辑选项。
- 根据当前选中匿名类的类型弹出匿名类够着编辑器。
3.1 对象属性约束（匿名类）：第一步选择对象属性，第二部选择对象属性值域，第三部选择值约束或基数约束，完成。 3.2 数据属性约束（匿名类）：第一步选择数据属性，第二部选择选择数据属性值域（数据类型），第三部选择值约束或基数约束，完成。
- 效果
- 编辑成功，显示显示新的匿名类构造。 1.1 更新选中匿名类，属性去对应的属性值。
- 编辑失败，保持原匿名类构造不变。
3.删除
- 概述
（参见类删除节） - 启动条件
（参见类删除节） - 操作方式
（参见类删除节） - 效果
1、删除成功。
1.1 在设计区图中移除被删除元素。
1.2 在公理列表中移除删除元素对应的公理数据。
1.3 根据删除选项的选择执行相关删除。
1.4 删除匿名类的构造内容。
2、删除失败。
2.1 保持原类元素不变。
3、删除选项。
2.3.4 枚举类右键
1.类型
1.1 对象枚举：切换枚举类型为对象枚举
1.2 数据枚举：切换枚举类型为数据枚举2.编辑：
（参见类右键编辑节）3.删除
- 概述
（参见类删除节） - 启动条件
（参见类删除节） - 操作方式
（参见类删除节） - 效果
1、删除成功。
1.1 在设计区图中移除被删除元素。
1.2 在公理列表中移除删除元素对应的公理数据。
1.3 根据删除选项的选择执行相关删除。
1.4 删除枚举成员以及引用枚举成员的关系。
2、删除失败。
2.1 保持原类元素不变。
3、删除选项。
2.3.5 属性右键
1.编辑
（参见类右键编辑节）
2.删除
- 效果
2.1、移除触发右键元素 - 影响
2.2、（参见属性编辑删除效果）2.3.6 实例右键
1.编辑
（参见类右键编辑节）2.删除
- 效果
2.1、移除触发右键元素。 - 影响
2.2、（参见实例编辑删除章节）2.4 拖动
2.4.1 拖动元素到其他位置
- 效果
1.将一个元素通过鼠标左键按下拖动到画布的其他地方。 - 影响
1.改变元素位置2.4.2 拖动元素到其他元素上
2.5 本体引入
- 概述
将项目中的其他本体引入到当前本体中，引入的本体可引用但不可编辑。 - 启动条件
无 - 操作方式
1、选中项目列表中除当前本体外的其他本体或者当前项目中导入项目的本体列表中的本体。 2、拖动本体节点到设计区中任意位置。 - 效果
1、引入成功
1.1 项目列表中当前本体的子本体中显示拖动到设计区的本体。 1.2 将引入的本体结构附加在当前本体的图形设计区。
2、引入失败
1.1 拖动到设计区的本体已导入到当前本体下面，弹出提示说明本体已引入并取消拖动导入操作。
1.2 引入失败，取消引入操作。