工具栏

用于显示当前项目或本体的操作功能，具体功能如下：

1. 返回工作台

• 概述
  在编辑器页面返回工作台
• 启动条件
  一打开项目并进入到编辑器
• 操作方式
  1、点击工具栏中的返回按钮。
• 效果
  1、页面自动跳转至工作台页面。

  2. 新建本体（弹出新建本体模态框）

• 概述
  在当前打开的项目中新建本体
• 启动条件
  已打开项目
• 操作方式
  1.在打开的项目中点击工具栏上的新建本体按钮。
  2.在弹出的新建本体模态框中输入本体名称。
  3.根据默认名称空间和本体名称生成本体IRI。
  4.根据当前本体IRI生成本体版本IRI(在当前本体IRI后加上版本号)。
  5.点击保存新建本体。
• 效果
  1.执行保存操作前检查本体名称已存在（本体IRI必须唯一），本体名称不能为空。
  1.1 本体名称已存在取消保存提示用户：当前创建的本体已存在。
  1.1 本体名称为空取消保存并提示用户：本体名称不能为空。
  1.1 检查通过执行保存操作。
  2.新建本体成功。
  2.1 在项目列表中添加一条本体数据。
  2.2 图设计区自动打开新建的本体。
  2.3 属性区自动切换或当前打开本体的属性。
  3.新建本体失败，保持原项目属性和状态不变，并提示失败信息。

  3. 新建类（设计器添加图形元素）

  3.1 新建类 （设计器添加图形元素）

• 概述
  在当前本体中新新建类元素，默认建立类元素与类元素的子类公理。
• 启动条件
  在打开的本体中

• 操作方式
  1.未选中节点（新建按钮不可用）。
  2.选中节点。
  2.1 点击工具栏上的新建类按钮在选中元素的对应位置生成类元素。
  根据选中元素的类型建立默认关系（参见下表）。
  2.2 根据上面关系及位置在图编辑器生成类图形元素，并进入编辑模式。
  2.3 类图形元素进入编辑模式后默认选中当前类的名称，可一键删除类名称。
  2.4 点击其软件其他任意位置执行新建保存数据操作，完成新建类操作。
  
• 效果
  1、新建类元素成功。
  1.1 在图视图生成对应的图形元素，默认选中新建的元素。
  1.2 属性区和编辑区自动显示新元素的相关信息. 1.3 在公理列表中添加对应公理关系的公理及对象。
  2、新建元素失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息.
  2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败, 并可重新提交保存或自动保存。

  3.2 新建高级类 （设计器添加图形元素）

• 概述
  在设计区新建高级类元素。
• 启动条件
  在打开的本体中

• 操作方式
  1.未选中节点（新建按钮不可用）。
  2.选中节点。
  2.1 点击工具栏上的新建类按钮在下拉菜单中选择新建高级类在选中元素的对应位置生成高级类元素。
  根据选中元素的类型建立默认关系（参见下表）。
  
  2.2 根据上面关系及位置在图编辑器生成类图形元素（默认生成并集类图形），并进入编辑模式。
  2.3 高级类类图形元素进入编辑模式后默认选中当前高级类的名称，可一键删除类名称。
  2.4 点击其软件其他任意位置执行新建保存数据操作，完成新建类操作。
  2.4 高级类的显示名称对应高级类注释（Annontation）的lable属性，设置高级名称后自动在注释中添加一条lable属性的注释，值为高级类的显示名称。
• 效果
  1、新建高级类元素成功。
  1.1 在图视图生成对应的图形元素，默认选中新建的元素。
  1.2 属性区和编辑区自动显示新元素的相关信息.
  1.3 在编辑区公理列表中添加对应公理关系的公理及对象。
  2、新建元素失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息。
  2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败, 并可重新提交保存或自动保存。

  3.3 新建匿名类类 （设计器添加图形元素）

• 概述
  在设计区新建匿名类元素。
• 启动条件
  在打开的本体中

• 操作方式
  1.未选中节点（新建匿名类按钮不可用）。
  2.选中节点。
  2.1 点击工具栏上的新建类按钮在下拉菜单中选择新建匿名类，在选中元素的对应位置生成匿名类元素。
  根据选中元素的类型建立默认关系（参见下表）。
  
  2.2 根据上面关系及位置在图编辑器生成类图形元素。
  2.4 新建的匿名类类型默认为对象属性约束匿名类。
  2.3 在新建匿名类元素的属性区构造属性中设置匿名类的约束类容。
• 效果
  1、新建匿名类元素成功。
  1.1 在图视图生成对应的图形元素，默认选中新建的元素。
  1.2 属性区和编辑区自动显示新元素的相关信息.
  1.3 在编辑区公理列表中添加对应公理关系的公理及对象。
  2、新建匿名类元素失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息。
  2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败, 并可重新提交保存或自动保存。

  3.4 新建枚举类 （设计器添加图形元素）

• 概述
  在设计区新建枚举类元素。
• 启动条件
  在打开的本体中

• 操作方式
  1.未选中节点（新建枚举类按钮不可用）。
  2.选中节点。
  2.1 点击工具栏上的新建类按钮在下拉菜单中选择新建枚举类，在选中元素的对应位置生成枚举类元素。
  根据选中元素的类型建立默认关系（参见下表）。

  
  2.2 根据上面关系及位置在图编辑器生成类图形元素。
  2.4 新建的枚举类类型默认为实例枚举类。

• 效果
  1、新建匿名类元素成功。
  1.1 在图视图生成对应的图形元素，默认选中新建的元素。
  1.2 属性区和编辑区自动显示新元素的相关信息.
  1.3 在编辑区公理列表中添加对应公理关系的公理及对象。
  2、新建匿名类元素失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息。
  2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败, 并可重新提交保存或自动保存。

  4. 新建子类 （设计器添加图形元素）

  4.1 新建子类 （设计器添加图形元素）

• 概述
  在当前本体中新建子类元素，默认建立类元素与类元素的子类公理。
• 启动条件
  在打开的本体中

• 操作方式
  1、未选中节点。
  1.1 点击工具栏上的新建子类按钮，在图形上对应位置生成类图形元素。
  1.2 默认新建的类和Thing节点建立子类关系。
  1.3 在Thing节点下级生成对应的子类图形元素。
  2、选中节点
  2.1 点击工具栏上的新建子类按钮在选中元素的对应位置生成类元素。

  根据选中元素的类型建立默认关系（参见下表）  
  

  2.2 根据上面关系及位置在图编辑器生成类图形元素，并进入编辑模式。
  2.3 类图形元素进入编辑模式后默认选中当前类的名称，可一键删除类名称。
  2.4 点击其软件其他任意位置执行新建保存数据操作，完成新建类操作。

  

• 效果
  1、新建子类元素成功。
  1.1 在图视图生成对应的图形元素，默认选中新建的子类元素。
  1.2 属性区和编辑区自动显示新元素的相关信息.
  1.3 在公理列表中添加对应公理关系的公理及对象。
  2、新建子类元素失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息。 2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败。并可重新提交保存或自动保存 。

  4.2 新建子高级类 （设计器添加图形元素）

  参见新建高级类的操作过程。
  注释新建子高级类默认元素创建位置参考表格：
  

4.3 新建子匿名类 （设计器添加图形元素）

参见新建匿名类的操作过程。
注释新建子匿名类默认元素创建位置参考表格：

4.4 新建子枚举类 （设计器添加图形元素）

参见新建枚举类的操作过程。
注释新建子枚举类默认元素创建位置参考表格：

6. 新建对象属性 （设计器添加图形元素）

• 概述
  在当前本体和设计区中创建对象属性和对象属性图形。
• 启动条件
  在设计区中选中类元素。
• 操作方式
  1.（类类图和类属图模式下）未选中元素：不可新建对象属性。
  2.选中类元素。
  2.1 点击工具栏的新建对象属性按钮。
• 效果
• 新建成功
  1.2 在选中的类元素后面生成新的对象属性对应图形。
  2.3 默认选中新建对象属性元素并属性区和编辑区切换至选中属性相关信息。
• 新建失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息。
  2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败。并可重新提交保存或自动保存。

  7. 新建数据属性（设计器添加图形元素）

• 概述
  在当前本体和设计区中创建对象属性和对象属性图形。
• 启动条件
  在设计区中选中类元素。
• 操作方式
  （参见新建对象属性）
• 效果
  （参见新建对象属性）

8. 新建实例 （设计器添加图形元素）

• 概述
  在当前本体和设计区中创建实例和实例图形。

• 启动条件
  在设计区中选中类或实例元素。

  |选中元素|新建说明| |---|---| |类元素|创建类型为选中类的实例| |实例元素|创建实例的相等实例|

• 操作方式
  1、（类类图和类属图模式下）未选中元素：不可新建对象属性。
  2、选中类元素
  2.1 点击工具栏的新建对象属性按钮。
• 效果
  1、 新建成功
  1.2 在选中的类元素后面生成新的实例对应图形。
  2.3 默认选中新建新建实例元素并属性区和编辑区切换至选中实例相关信息。
  2、 新建失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息。
  2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败。并可重新提交保存或自动保存。

  9. 新建公理 （弹出新建公理模态框）

• 概述
  在当前本体和设计区中创建公理图形。
• 启动条件
  在设计区中选中元素。

• 操作方式
  1、设计区选中元素（类，属性，实例）。
  2、点击工具栏上的新建公理按钮，弹出新家公理模态框。
  

  2.1 第一步根据选中的元素类型选中公理类型（参加下表）。

2.2 在根据选中元素的类型加载选择公理元素和公理连接元素并默认选中设计区选中的元素。

• 效果
• 新建成功
  1.1 在选中元素后面自动生成对应的公理连接线和对象。
  2.1 在编辑区选中元素的公理列表中添加一条对应的公理记录。
• 新建失败。
  2.1 在图视图生成对应的图形元素，默认选中新建的元素。
  2.2 属性区和编辑区自动显示新元素的相关信息。
  2.3 在图视图生成对应的图形元素并在图形元素上通过标识表示保存元素失败。并可重新提交保存或自动保存。

  10 类公理 （弹出二级菜单）

  工具栏公理相关功能主要用户隐藏和显示设计区脑图中对应的图形元素，方便用户针对性的查看本体结构。

  10.1 子类（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中元素的的子类。
• 启动条件
  打开相应本体
• 操作方式
• 未选中任何类元素。
  1.1 点击工具栏上的类公理菜单中的子类选项并勾选子类选项。
  1.2 显示或隐藏当前本体中打开所有展开层级的子类公理对于应的元素和公理连接线。
• 元素类元素。
  2.1 点击工具栏上的类公理菜单中的子类选项。
  2.2 显示或隐藏当前选中类元素的所有子类元元素和子类公理连接线。
• 效果
• 如果当前子类为显示状态则隐藏对应的子类元素。
• 如果当前子类为隐藏状态则显示对应的子类元素。

  10.2 相等类（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中元素的的相等类元素。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子类）
• 效果
  （参见公理子类）

  10.3 不相交类（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中元素的的不相交类元素。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子类）
• 效果
  （参见公理子类）

  10.4 不相交的并（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中元素的的不相交的并类元素。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子类）
• 效果
  （参见公理子类）

  11. 属性公理（弹出二级菜单）

  工具栏公理相关功能主要用户隐藏和显示设计区脑图中对应的图形元素，方便用户针对性的查看本体结构。

  11.1 子属性（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中属性元素的的子属性。
• 启动条件
  打开相应本体
• 操作方式
• 未选中任何属性元素。
  1.1 点击工具栏上的属性公理菜单中的子属性选项并勾选子属性选项。
  1.2 显示或隐藏当前本体中打开所有展开层级的子属性公理对于应的元素和公理连接线。
• 选中属性元素。
  2.1 点击工具栏上的属性公理菜单中的子属性选项并勾选子属性选项。
  2.2 显示或隐藏当前选中属性元素的所有子属性和子属性公理连接线。
• 效果
• 如果当前子属性为显示状态则隐藏对应的子属性元素。
• 如果当前子属性为隐藏状态则显示对应的子属性元素。

  11.2 相等属性（图形显示效果）

• 概述
  用于显示或隐藏前本体中选中属性元素的相等属性。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子属性）
• 效果
  （参见公理子属性）

  11.3 不相交属性（图形显示效果）

• 概述
  用于显示或隐藏当前本体选中属性元素的不相交属性。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子属性）
• 效果
  （参见公理子属性）

  11.4 逆反属性（图形显示效果）

• 概述
  1、用于显示或隐藏当前本体中选中属性元素的逆属性属性。
  2、设计区选中元素为数据属性元素时禁用逆反属性公理。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子属性）
• 效果
  （参见公理子属性）

  11.5 定义域（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中属性元素的定义域。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子属性）
• 效果
  （参见公理子属性）

  11.6 值域（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中属性元素的值域。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理子属性）
• 效果
  （参见公理子属性）

  12. 实例公理（弹出二级菜单）

  12.1 相等实例（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中属性元素的的相等实例元素。
• 启动条件
  打开相应本体。
• 操作方式
• 未选中任何实例元素。
  1.1 点击工具栏上的实例公理菜单中的相等实例选项并勾选相等实例选项。
  1.2 显示或隐藏当前本体中打开所有展开层级的相等实例公理对于应的元素和公理连接线。
• 选中实例元素。
  2.1 点击工具栏上的实例公理菜单中的相等实例选项并勾选相等实例选项。
  2.2 显示或隐藏当前选中属性元素的所有相等实例和相等实例公理连接线。
• 效果
• 如果当前相等实例为显示状态则隐藏对应的相等实例元素。
• 如果当前相等实例为隐藏状态则显示对应的相等实例元素。

  12.2 不相同实例（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中实例元素的不相同实例。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理相等实例）
• 效果
  （参见公理相等实例）

  12.3 类断言（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中实例元素的类断言元素。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理相等实例）
• 效果
  （参见公理相等实例）

  12.4 对象属性（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中实例元素的对象属性。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理相等实例）
• 效果
  （参见公理相等实例）

  12.5 数据属性（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中实例元素的数据属性。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理相等实例）
• 效果
  （参见公理相等实例）

12.6 否定对象属性（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中实例元素的否定对象属性。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理相等实例）
• 效果
  （参见公理相等实例）

  12.7 否定数据属性（图形显示效果）

• 概述
  用于显示或隐藏当前本体中选中实例元素的否定数据属性。
• 启动条件
  打开相应本体
• 操作方式
  （参见公理相等实例）
• 效果
  （参见公理相等实例）

13. 视图切换（弹出二级菜单）

切换当前脑图中的元素显示模式。

13.1 类类图（图形显示效果）

• 概述
  1、主要显示当前本体中类与类之间的公理关系。
• 启动条件
  打开相应本体
• 操作方式
  1、 点击工具栏上视图菜单中的类类图模式。
• 效果
  1、 当前展开的所有元素中对象属性切换类显示模式，参见效果图：
  

1.1 连接属性的公理显示为带菱形标识的曲线的公理线。
1.2 隐藏所有对象属性，使带菱形标识的公里线连接值对象属性的值域。
1.3 在带菱形的公理连接线上显示当前值域所在的属性。

13.2 类属性图（图形显示效果）

• 概述
• 主要显示当前本体中类与属性之间的公理关系。
• 启动条件
  打开相应本体
• 操作方式
• 点击工具栏上视图菜单中的类属图模式。
• 效果
• 当前展开的所有元素中对象属性切换值属性显示模式，参见效果图：

1.1 连接属性的公理显示不带任何图形标识的曲线的公理线。

14. 自动布局 (图形显示效果）

自动调整脑图中所有元素的位置，功能直接使用百度脑图的自动布局功能。

15. 快照 (图形显示效果）

• 概述
• 对当前设计区中的的元素状态、位置。展开层级信息进行保存。
• 用户选择打开快照后可快速定位并显示保存快照时元素的位置和状态。
• 同一本体可任意保存快照，快照可删除。
• 可编辑快照内容，如快照内容在其他元素中同步编辑后（添加元素，编辑元素）根据编辑结果显示元素。
• 所有保存的快照属于快照创建人，用户只能对自己的快照操作。

15.1 保存快照

• 概述
• 对当前设计区中的的元素状态、位置。展开层级信息进行保存。
• 启动条件
  打开本体
• 操作方式
• 点击工具栏中的保存快照按钮，直接保存当前视图信息。
• 效果
• 点击保存按钮后弹出模态框，在模态框中提供快照名称编辑文本框（快照名称默认使用当前时间，如：20160528122613，时间精确到秒）。
• 保存成功在工具栏中的保存快照的下拉菜单中显示当前保存的快照。

16. 查找（弹出浮动窗口）

• 概述
  1.使用关键字查找当前本体中所有图形袁术上的显示至（不包括公理线上的值）。
  2.功能以及交互直接参考百度脑图中的查找功能。

  17. 放大 (图形显示效果）

• 放大当前设计区的所有元素，直接只用百度脑图的放大效果。

  18. 缩小(图形显示效果）

• 缩小当前设计区的所有元素，直接只用百度脑图的缩小效果。

  19. 规则编辑（编辑器添加新的选项卡）

  （暂不做）

  20. 查询（编辑区添加新的选项卡）

  （暂不做）

  21. 导出本体（弹出导出本体模态框）

• 概述
  将当前打开的本体导出生成文件并下载。
• 启动条件
  当前打开本体。
• 操作方式
  1、打开需导出的本体。
  2、激活导出功能，在弹出的模态窗口中选择导出文件的类型（jena支持的类型)。
  导出文件类型支持：RDF/XML，Turtle，N-Triples，JSON-LD，RDF/JSON，JSON-LD，TriG，N-Quads，CSV，RDF Thrift，NQ，TRIX，RDFNULL 3、设置导出文件的名称，默认使用本体名称。
  4、执行导出操作。
• 效果
  1、导出成功，直接通过浏览器或下载软件下载文件。
  2、导出失败，保持原本体不变。

  22 本体权限设置

• 概述
• 管理当前本体中的共享成员以及权限。
• 本体成员默认继承至项目成员。
• 同一时间统一本体只能是有编辑权限中的一人编辑本体。

  22.1 添加成员

• 概述
  对当前本体添加新的成员。
• 启动条件
  当前打开本体。
• 操作方式
  1、点击共享弹出共享成员编辑模态框，列出可访问当前本体的所有成员。
  2、点击添加成员按钮弹出成员搜索框，输入用户帐号（邮箱）进行模糊查询。
  3、在搜索结果列表中选中成成员，天机添加将成员添加到当前本体的成员列表中。
• 效果
  1、成员添加成功在工具栏列表当前本体成员（参见效果图）。

  22.2 移除成员

• 概述
  删除当前本体中成员列表中的成员
• 启动条件
  当前打开本体。
• 操作方式
  1、点击共享弹出共享成员编辑模态框，列出可访问当前本体的所有成员。
  2、选中成员列表中的成员，点击移除按钮。
• 效果
  1、 移除成功
  1.1 在成员列表中移除成员。
  1.2 在工具栏上显示成员区域中移除成员。

  22.3 编辑成员权限

• 概述
  编辑当前本体中成员对本体的操作权限（默认成员有可读权限，可设置为可写权限）。
• 启动条件
  当前打开本体。
• 操作方式
  1、点击共享弹出共享成员编辑模态框，列出可访问当前本体的所有成员。
  2、选中成员列表中的成员，点击权限下拉列表切换权限（可读和可写）。
• 效果
  1、设置权限成功
  1.1 设置为可读权限：用户只能查看当前本体中的所有数据。
  1.2 设置为可写权限：用户可对当前本体数据进行编辑但同一时刻下只能有一人编辑。

23 签入/签出

• 概述
  1.用户控制当前本体的编辑状态。
  2.同一时间只能有一个有编辑权限的用户编辑。
  3、签入签出为互斥按钮，统一时刻至显示一个。
• 启动条件
  打开本体，当前用户对当前本体有可写权限。
• 操作方式
  1.打开本体，
• 效果
  1、签出
  1.1 点击签出按钮，签出成功启用所有编辑按钮功能。
  1.2 签出失败，提示失败信息和当前正在编辑的用户。
  2、签入
  1.1 签入成功，锁定所有编辑功能。