属性区类属性

1 类名称

• 概述
  通过属性区的属性名称重命名类名称
• 启动条件
  在当前打开的本体中选中类元素，属性区显示当前选中类元素的的属性
• 操作方式
  1、点击属性区类名称属性属性值的文本框，文本框进入编辑模式，获得焦点选中文本框中类容。
  2、输入新的类名称。
  3、点击文本框以为的其他区域执行保存操作。
• 效果
  1、执行保存操作，开始检查新输入的类名称是否和当前本体中的其他类名称重复。
  1.1 重复则在文本框上提示：输入的类已经存在，取消保存。
  1.2 未重复执行保存。
  2、重命名成功。
  2.1 设计区对应的元素上名称显示新的类名称。
  2.1 检查所有引用了当前类元素的资源，同步修改所有引用类资源的名称。
  3、重命名失败，保持原类名称不变。

  2 类IRI编辑

• 概述
  1、类IRI资源唯一标识，在当前本体中类IRI不能出现重复。
  2、类IRI属性默认值在新建类元素时根据当前本体IRI加上类的LocalName构成。
  3、类IRI的基本数据格式为URI。
• 启动条件
  在当前打开的本体中选中类元素，属性区显示当前选中类元素的的属性。
• 操作方式
  1、点击属性区类名称属性属性值的文本框，文本框进入编辑模式，获得焦点选中文本框中类容。
  2、输入新的类名称。
  3、点击文本框以为的其他区域执行保存操作。
• 效果
  1、指定保存操作。
  1.1 检查IRI是否符合URL格式。

  1.1.1 不符合URL数据格式：取消保存并提示用户属性的IRI格式错误。   
  1.1.1 符合URL数据格式：执行保存操作。   
  

  2、修改类IRI成功。
  2.1 属性区IRI属性值显示新的IRI。
  2.2 同步修改IRI至所有引用了当前类元素的资源。
  3、修改类IRI失败，保持原名IRI不变。

  3 类类型

• 概述
  1、类类型用于切换已创建的类的类型。
  2、类的类型包括：普通类（具名类），匿名类（未具名类），高级类，枚举类。
  3、默认类类型属性值根据当前选中类元素的类型决定。
  4、属性类型不可编辑。

  4 高级类

  4.1 运算方式

• 概述
  1、高级类属性区中显示的高级类运算方式属性，运算方式属性值包括：交集、并集、补集。
  2、运算方式属性的默认值由选中高级类元素的当前的运算方式确定。
  3、新建高级类的默认运行方式为并集。
• 启动条件
  在当前打开的本体中选中类元素，属性区显示当前选中类元素的的属性。
• 操作方式
  1、在图视图区域中高级类类元素，属性区切换为高级类的属性区属性。
  2、通过运算方式属性的下拉菜单切换高级类的运算方式。
• 效果
  1、通过下拉列表选择高级类运算方式。
  1.1 属性区运算方式的下拉列表显示选择后的运算方式。
  1.2 图视图选中的高级类类元素左上角的运算方式切换为对应的运算标识。
  2、切换运算方式失败，保持原运算方式不变。

  4.2 运算成员

• 概述
  运算成员作为高级类的约束通过类表达式的时候构建，成员与成员之间通过高级类的运算方式进行计算。
• 启动条件
  在当前打开的本体中选中类元素，属性区显示当前选中类元素的的属性。
• 操作方式
  1、在图视图区域中高级类类元素，属性区切换为高级类的属性区属性。
  2、在高级类运算成员属性后点击添加成员按钮。
  3、在弹出的类表达式构建器（参见附录类表达构建器）中选择类或构成类表达式作为成员。
  4、点击确定将选择的类表达式保存为高级类的成员。
• 效果
  1、执行保存成员后检查是否添加有相同的类表达式。
  1.1 如果存在相同的类表达式：取消保存，并提示用户成员已存在。
  1.2 如果不存在执行保存操，并在成员属性下的成员列表中添加成员数据。
  2、添加成员成功。
  2.1 在运算成员属性的成员列表中添加成成员属性。
  2.2 在图视图中选中的高级类元素中显示成员信息（类名称或构造）。
  2、添加成员失败，保存原来成员列表数据不变。

  4.2.1 移除成员

• 概述
  在高级类元素中移除高级类的运算成员。
• 启动条件
  选中高级类的运算成员不为空。
• 操作方式
  1、视图中选中高级类元素，属性区切换为选中元素的属性。
  2、选中高级类运算成员列表中的成员，点击移除按钮。
  3、执行移除操作。
• 效果
  1、移除成功。 1.1 在属性区的运算成员列表中移除对应的成员数据。
  1.2 在图视图的选中高级类元素上移除对应的成员信息。
  2、移除失败，保持原高级类成员不变。

  4.2.2 编辑成员

• 概述
  编辑高级类中已添加的成员信息。
• 启动条件
  选中高级类的运算成员不为空。
• 操作方式
  1、视图中选中高级类元素，属性区切换为选中元素的属性。
  2、选中成员列表中需编辑的成员点击编辑按钮。
  3、在弹出的类表达式编辑器上根据成员类型打开对应的类表达式编辑选项卡。
  4、在打开的类表达式编辑选项卡中选中编辑成员对应的数据。
  5、修改成员数据。
  6、执行保存。
• 效果
  1、执行保存前检查编辑的成员类表达式在当前高级类成员列表中是否存在。
  1.1 如果存在相同的类表达式：取消保存，并提示用户成员已存在。
  1.2 如果不存在执行保存操，并在成员属性下的成员列表中更新成员数据。
  2、编辑成员成功。
  2.1 成员列表中选中的编辑成员显示新的编辑的内容。
  2.2 更新图视图选中的高级类元素成员信息。
  3、编辑成员失败，保持原高级类成员信息不变。

  4.2.3 成员添加注释

• 概述
  对成员添加注释信息。
• 启动条件
  选中高级类成员。
• 操作方式
  1、在高级类成员列表中在选中需添加注释的成员，点击注释按钮。
  2、弹出注释编辑器（参见注释编辑器）。
  3、根据注释编辑器的结构添加注释。
  4、保存注释。
• 效果
  1、注释添加成功，原注释标识点亮图标表示有注释。

  5 枚举类

  5.1 枚举类型

• 概述
  1、枚举类型用户显示当前选中的枚举类的实例类型。
  2、枚举类型属性的属性值根据当前选中的枚举类型决定。
  3、新建枚举类的默认值为对象枚举。
  4、枚举类型：对象枚举和数据枚举。
• 启动条件
  选中枚举类元素
• 操作方式
  1、在图视图区域中枚举类类元素，属性区切换为枚举类元素的属性。
  2、通过下拉列表选择当前枚举类元素的枚举类型；
• 效果
  1、选择枚举类型后执行保存枚举类型时提示用户：切换枚举类型将方式枚举类的原有实例,是否切换？。
  2、切换枚举类型成功。
  2.1 枚举类型属性值的下拉列表值显示选中的枚举类型。
  2.2 清除枚举类元素的实列。
  3、切换枚举类型失败，保持原枚举元素数据不变。

  5.2 枚举实例

• 概述 1、枚举实列作为枚举类元素的枚举值。
  2、枚举实例根据枚举类型分类两类：对象枚举和数据枚举。
  3、对象枚举选择当前本体中的实例作为枚举值。
  4、数据枚举根据数据类型添加的文本值作为枚举值。
• 启动条件
  1、 图视图选中枚举类型，属性区切换为选择的没元素属性。
  2、 已选择枚举类型。
• 操作方式
  1、在图视图区域中枚举类类元素，属性区切换为枚举类元素的属性。
  2、在元素属性列表中的枚举实例属性后点击添加枚举实例按钮。
  3、根据枚举类型弹出不同的枚举实例选择器。
  3.1 对象枚举类型选择器：在弹出的模态框中列举当前本体和已引入的本体的实例作为枚举实例的候选项。
  可单选或多选一组实例。点击确定将选择的实例添加在枚举实例属性下的实例列表中。
  3.2 数据美剧类型添加：在弹出的模态框中选择数据类型并根据数据类型设置枚举值。
  点击确定将添加的枚举值添加到枚举实例属性下的实列列表中（枚举值必须符合选择的数据类型）。
• 效果
  1、数据类型枚举。
  1.1 输入的枚举值必须符合选择的枚举类型和类型的侧面约束。
  如不符合约束，组织添加枚举实例并提示用户：输入的枚举值不符合数据类型规范。
  2、添加枚举实例成功：
  2.1 将选择或添加的枚举值添加到枚举实列属性下的实例列表中。
  2.2 将选择或添加的枚举值添加到图视图中选中枚举类元素的图形元素上显示出来。

  6 匿名类

  匿名类有对象属性约束和数据属性约束构成。

6.1 约束类构造

• 概述
  1、根据匿名类类型，设置匿名类的约束范围和方式以及基数约束。
• 启动条件
  1、选中图视图中的匿名类约束。
• 操作方式
  1、在图视图区域中匿名类类元素，属性区切换为匿名类元素的属性。
  2、在视图选中匿名类构造属性中添加编辑按钮，根据匿名类类型弹出的模态框：
  2.1 数据属性约束选项卡：使用向导的方式构建数据属性约束。
  2.1.1 第一步:在显示当前本体和已导入本体的所有数据属性（可新建数据属性和子数据属性），在属性列表中选择一条属性作为数据属性约束的属性，点击下一步 。
  2.1.2 第二步:选择值约束（Some、Only，Value），基数约束（min、max、cardinality）并输入基数范围和受限基数约束（3种）。
  2.1.3 第三步:根据选择的值约束显示限制范围的内容:SomeValueFrom、AllValueFrom、受限基数约束 （显示当前本体和引入本体中的数据类型，在显示的值中选择一项作为数据类型约束的范围），
  value（显示数据类型并根据数据类型输入值），选择的值约束为基数约束（min、max、cardinality）隐藏第三个限制填充向导。
  2.2 对象属性约束选项卡：
  2.2.1 第一步:显示当前本体和已导入本体的所有对象属性（可新建对象属性），在属性列表中选择一条属性作为对象属性约束的属性，点击下一步
  2.2.2 第二步:选择值约束（Some、Only，Value），基数约束（min、max、cardinality）并输入基数范围和受限基数约束（3种）。
  2.2.3 第三步:根据选择的值约束显示限制范围的内容:SomeValueFrom、AllValueFrom（显示当前本体和引入本体中的所有类（树形结构）（可新建类和子类）），
  value（显示当前本体和引入本体中所有的实例（可新建实例）），在显示的值中选择一项作为数据类型约束的范围，选择的值约束为基数约束（min、max、cardinality）隐藏第三个限制填充向导。
• 效果
  1、保存成功，约束构造属性的属性值显示当前构造的最新的属性约束。
  2、保存失败或取消构建，保持原匿名类约束构造类容不变。
  3、点击确定保存选择构建的属性约束。

  7 键属性（haskey）

• 概述
  1、对当前类添加键。
  2、列表显示键值。
• 启动条件
  图视图选种类元素打开属性区域
• 操作方式 1、图视图选种类元素打开属性区域 2、点击键属性后的编辑按钮，弹出键值选择框。 3、选择框中显示当前本体和导入本体中的类。 4、选中类点击添加按钮完成操作。
• 效果
  1、添加成功 1.1 在键属性下的值列表中添加一条选中的类数据。

  7.1 键属性成员注释

  对添加为键成员的数据添加注释（参见高级类成员注释）

  8 类注释（Annotations）

  对当前本体的注释管理

  8.1 新建注释（Annotations）

• 概述
  对当前类添加注释
• 启动条件
  图视图选种类元素打开属性区域
• 操作方式
  1、在类属性窗口的注释（Annotations）属性后添加添加按钮，在弹出的Annotations编辑模态窗口中。
  2、选中注释属性，并根据属性约束设置值。
  3、点击保存在注释。
• 效果
  1、添加注释成功，在注释属性下面列表中增加一条注释记录。
  2、添加失败，保存不变。

  8.2 移除注释（Annotations）

• 概述
  移除当前类元素的注释。
• 启动条件
  打开类属性属性并切注释不为空。
• 操作方式
  1、选中注释列表中的注释。
  2、点击移除按钮。
  3、执行移除操作。
• 效果
  1、移除成功，在列表中不显示移除的注释。
  2、移除失败，保持远注释不变。

  8.3 编辑注释（Annotations）

• 概述
  编辑已添加类元素注释的值。
• 启动条件
  注释不为空。
• 操作方式
  1、选中需编辑值的注释。
  2、点击编辑按钮。
  3、在弹出的注释模态框中选中需编辑值的属性。
  4、输入新的注释属性值。
  5、执行修改保存操作。
• 效果
  1、编辑成功，注释列表中的注释属性值显示新的值。
  2、编辑失败，保持原注释属性值不变。