1.编辑区元素信息选项卡
1. 基本功能
1.1 编辑区面包屑
- 概述
编辑区中元素信息选项卡中的资源面包屑 - 启动条件
打开元素信息选项卡 - 操作方式
1、选中设计区中选元素,元素信息选项卡中显示当前选中元素的信息。
2、点击元素信息选项卡中的资源(类,属性,实例); - 效果
1、将点击的资源添加到面包屑中。
2、元素信息选项卡显示当前点击的资源的信息。1.2 放大区域
- 概述
扩展编辑区的显示区域大小 - 启动条件
编辑区已打开 - 操作方式
1、点击编辑去右上角的局部放大或缩小按钮。 - 效果
1、根据编辑区的状态在设计区的大小范围内扩大或缩小(恢复默认)编辑区的大小。2.类元素
根据选中元素显示元素相关信息,具体如下:2.1 公理
对设计区选中类元素的功能进行管理。2.1.1 公理显示
- 概述
1、列表显示选中类元素的所有第一级公理。 - 启动条件
1、设计区选中类元素。 - 操作方式
1、设计区中选中类元素。
2、编辑区公理列表自动当前选中类元素的公理。 - 效果
1、表格分两列显示公理信息,第一列为公理类型、第二列为公理对象数据。 2、鼠标移入表格中的行在行的右侧显示注释图标标识。2.1.2 添加公理
- 概述
在当前公理列表中添加新的公理。 - 启动条件
1、设计区选中类元素
2、编辑区公理列表显示当前选中类元素公理。 操作方式
1、点击列表左上角的新建公理按钮。
2、在公理列表中增加一条默认公理信息:公理类型默认子类,公理对象默认空。
3、点击添加行的公理类型列在下拉列表选择公理类型。
公理类型下拉列表项:
4、点击添加行的公理对象列中的设置设置按钮,弹出类表达式构建模态框。
5、根据模态框中的内容操作构建类表达式后点击确定。
6、将构建的类表达式显示在公理列表中添加行的公理对象列中。
效果
1、添加公理成功
1.1 在公理列表中显示添加的公理。
1.2 在添加添加按钮后自动在设计选中类元素后添加对应公理及元素。
2、添加公理失败,保持原公理列表数据不变。2.1.3 删除公理
- 概述
删除已添加的类公理。 - 启动条件
1、公理列表中选中公理行 - 操作方式
1、公理列表中选中行。
2、点击公理行后面的删除按钮,执行删除操作。 - 效果
1、执行删除公理项,弹出提示:删除公理将影响当前类的约束范围。是否确定删除?
2、删除公理成功
2.1 在当前类的公理列表中删除选中的项。
2.2 在设计器的脑图中删除公理对应的连接线,及连接的公理对象。
2.3 删除公理同时删除连接公理的对象如对象是引用则删除引用关系,如不是引用则删除实体对象。 3、删除失败,保持原公理数量不变。2.1.4 编辑公理
- 概述
对已添加公理的公理类型编辑或公理对象编辑。 - 启动条件
设计区选中需编辑公理的类元素。 - 操作方式
1、编辑公理类型
1.1 点击添加行的公理类型列在下拉列表选择公理类型。
2、编辑公理对象
2.1、点击添加行的公理对象列中的设置设置按钮,弹出类表达式构建模态框。
2.2、根据模态框中的内容操作构建类表达式后点击确定。
2.3、将构建的类表达式显示在公理列表中添加行的公理对象列中。
- 效果
1、编辑成功
1.1 公理列表中的公理列显示新的数据。
1.2 设计区选中类元素的对应公理显示新的对象数据。2.1.5 添加公理注释
- 概述
为添加的公理项添加注释。 - 启动条件
编辑区公理列表中选中公理行。 操作方式
1、编辑区公理列表中选中公理行。
2、点击注释按钮,弹出注释添加模态框。
2.1 点击右侧的添加按钮,打开注释编辑器(如下图)。
3、根据模态框中内容编辑添加注释,并点击确定完成注释添加。
- 效果
1、注释添加成功。
1.1 公理行右侧的注释标识图标在鼠标移入的改变颜色。
1.2 鼠标移入注释标识图标弹出提示:显示编辑的注释。
2、注释添加失败或取消注释添加,保持原公理注释状态不变。 2.1.5.1 删除注释
- 概述
删除已添加的注释 - 启动条件
选中注释 - 操作方式
1、打开公理注释窗口。
2、选中需删除的注释。
3、点击右上角删除按钮,弹出确认提示。
4、点击确认执行删除。 - 效果
1、删除成功,移除注释。
1.1 如果将选中公理的所有注释全部删除后,选中公理右侧的注释标识也消失。
2.删除失败,保持原注释数据不变。2.1.6 筛选公理
- 概述
在公理列表中根据公理类型或公理对象筛选列表数据。 - 启动条件
设计区选中类元素。 - 操作方式
1、设计区选种类元素,公理列表中显示当前选中类元素的所有公理。
2、点击表格列的表头单出下拉菜单,菜单内容为当前列中所有数据去掉重复的数据项的数据列表。
3、通过选择下拉菜单中的数据项的复选框,选择赛选条件。
4、选择完成点击下拉列表以为的其他地方执行筛选。 - 效果
1、公理列表根据筛选条件显示所有符合条件的数据。2.2 属性
1、显示当前选种类关联的所有本体属性。
2、通过表格的方式显示属性相关数据:属性名称,属性类型,约束类型,约束值域。2.2.1 添加属性
- 概述
设置本体属性关联到类元素(添加类属性约束)。 - 启动条件
选中类元素 - 操作方式
1、设计区选中类元素,编辑区显示当前当前选中类元素。
2、编辑区切换到属性选项卡,点击添加属性按钮。
3、在弹出的属性约束模态框中显示对象属性约束或和数据属性约束两个选项卡。
4、根据选项卡中的编辑向导完成属性约束的构建,点击添加完成属性添加操作。 - 效果
1.属性添加成功。
1.1 编辑区属性列表中添加一条数据。
1.1 根据选择添加的属性类型在设计区选中类元素后生成对应的属性元素。
2.属性添加失败,保持原属性列表数据不变。2.2.2 编辑属性
编辑当前类中的属性相关类容。2.2.2.1 编辑属性名称
- 概述
编辑当前选中属性的名称,功能如同重命名属性。 - 启动条件
早当前属性选项卡中选中属性。 - 操作方式
1、编辑区打开属性选项卡,选中需编辑的属性。
2、编辑属性名称。
1.1 单击选中属性行属性名称列中的属性名称文字,属性名称单元格切入编辑模式。
1.2 在编辑模式的文本框中输入新的属性名称,点击其他任意地方保存新的名称。
1.3 属性名称编辑的影响参见(属性区属性重命名)。 - 效果
1、编辑属性名称后检查名称是否重复,如果重复取消编辑。2.2.2.2 编辑属性类型
属性类型不可编辑2.2.2.3 编辑属性定义域
- 概述
添加或删除属性的定义域。 - 启动条件
在当前属性选项卡中选中属性。 操作方式
添加定义域
1 点击选中属性行属性定义域列对应的单元格后的编辑按钮,弹出定义域编辑模态框。
2 在模态框中列表显示当前选中属性的所有定义域。
3 模态框中的添加按钮弹出新的窗口(类表达式编辑器)根据内容构建类表达式,点击确定将构建的类表达式添加到定义域列表中。
删除定义域
1 点击选中属性行属性定义域列对应的单元格后的编辑按钮,弹出定义域编辑模态框。
2 在模态框中列表显示当前选中属性的所有定义域。
3 选中模态框列表中的类表达式,点击删除按钮,执行删除。- 效果
添加
1、编辑成功
1.1 在编辑区对应属性的的定义域单元格内显示新的编辑数据。
1.2 如果定义域元素展开更新设计区中选中类元素对应属性的定义域元素。
1、编辑失败,保持原定义域数据不变。
删除
1、弹出删除提示:提示用户是否确定删除此类表达式?
2、删除成功
2.1 在编辑区对应属性的的定义域单元格内显示新的编辑数据。
2.2 如果定义域元素展开更新设计区中选中类元素对应属性的定义域元素。 3、编辑失败,保持原定义域数据不变。
2.2.2.4 编辑属性值域
- 概述
添加或删除属性的值域。 - 启动条件
在当前属性选项卡中选中属性。 - 操作方式
添加值域
1 点击选中属性行属性值域列对象的单元格中的编辑按钮,弹出值域编辑模态框。
2 在模态框列表中显示当前选中该属性的所有值域。
3 在模态框中点击添加值域按钮根据属性类型弹出值域编辑器。
3.1 对象属性值域: 弹出类表达式编辑器。
3.2 数据属性值域:弹出数据类型选择器。
删除值域
1 点击选中属性行属性值域列对象的单元格中的编辑按钮,弹出值域编辑模态框。
2 在模态框列表中显示当前选中该属性的所有值域。 3 在列表中选中要删除的值域表达式。点击删除按钮执行删除操作。 - 效果
添加
1、编辑成功
1.1 在编辑区对应属性的的值域域单元格内显示新的编辑数据。
1.2 如果值域元素展开更新设计区中选中类元素对应属性的值域元素。
1、编辑失败,保持原值域数据不变。
删除
1、弹出删除提示:提示用户是否确定删除此类表达式?
2、删除成功
2.1 在编辑区对应属性的的值域单元格内显示新的编辑数据。
2.2 如果值域元素展开更新设计区中选中类元素对应属性的值域元素。 3、编辑失败,保持原值域数据不变。2.2.3 移除属性
- 概述
删除已添加到当前选中类中的属性。 - 启动条件
设计区选中类元素。 - 操作方式
1、在设计区选中类元素,编辑区切换为当前选中元素类的信息, 2、激活属性选项卡并在属性列表选中须删除的属性行。 3、点击删除按钮执行删除操作。 - 效果
1、删除成功 1.1 属性列表中移除删除属性。 1.2 设计区删除选中类对应你的属性。2.2.4 属性注释
2.2.4.1 添加属性注释
- 概述
为添加的属性项添加注释。 - 启动条件
编辑区属性列表中选中属性行。 操作方式
1、编辑区属性列表中选中属性属性行。
2、点击注释按钮,弹出注释添加模态框。
2.1 点击右侧的添加按钮,打开注释编辑器(如下图)。
3、根据模态框中内容编辑添加注释,并点击确定完成注释添加。
- 效果
1、注释添加成功。
1.1 属性行右侧的注释标识图标在鼠标移入属性行后改变颜色。
1.2 鼠标移入注释标识图标弹出提示:显示编辑的注释。
2、注释添加失败或取消注释添加,保持原属性注释状态不变。 2.2.4.2 删除注释
- 概述
删除已添加的注释 - 启动条件
选中注释 - 操作方式
1、点击行右侧的注释标识图标,打开属性注释窗口。
2、选中需删除的注释。
3、点击右上角删除按钮,弹出确认提示。
4、点击确认执行删除。 - 效果
1、删除成功,移除注释。
1.1 如果将选中属性的所有注释全部删除后,选中属性右侧的注释标识也消失。
2.删除失败,保持原注释数据不变。
2.3 实列
管理当前本体中类型为选中类的实列或满足当前选中类的实例。
2.3.1 添加实例
- 概述
设置本体类的实例类型为当前选中类。 - 启动条件
设计区选中类元素 操作方式
1、设计区选中类元素。
2、在编辑区的实例选项卡中点击添加实例按钮。
3、弹出实例选择模态框,在模态框中选择本体实例,点击确定添加实例(可新建实例)。
效果
1、将选择的实例添加到实例列表中(在实例的类型属性中添加当前类)。
2、在设计区选中的类元素后面生成添加的实例图形。2.3.2 删除实例
- 概述
将已添加当前类的实例删除。 - 启动条件
设计区选中类元素 - 操作方式
1、设计区选中类元素。
2、编辑区在实例选项卡中选择须删除的实例。
3、点击删除按钮,激活删除。 - 效果
1、删除成功。
1.1 实例表中删除当前选中的实例。
1.2 设计区移除对象应的实例图形元素。2.3.3 编辑实例
- 概述
编辑已存在实例的属性值 - 启动条件 选中实例
- 操作方式
1、在编辑区实例表中单击实例行在点击编辑按钮或双击实例行。 2、弹出实例编辑模态框。模态框内容根据当前选中的实例动态生成表单并显示数据。 3、修改实例属性值并通过属性的值域验证。 4、点击保存按钮,执行保存操作。 - 效果
1、保存数据成功,实例列表中对应行显示新的数据。 1.1 如设计区实例显示断言数据,则更新断言元素。 2、保存失败,保持原实例数据不变。2.3.4 实例注释
2.3.4.1 添加属性注释
- 概述
为添加的实例项添加注释。 - 启动条件
编辑区属性列表中选中属性行。 操作方式
1、编辑区属性列表中选中属性属性行。
2、点击注释按钮,弹出注释添加模态框。
2.1 点击右侧的添加按钮,打开注释编辑器(如下图)。
3、根据模态框中内容编辑添加注释,并点击确定完成注释添加。
- 效果
1、注释添加成功。
1.1 属性行右侧的注释标识图标在鼠标移入属性行后改变颜色。
1.2 鼠标移入注释标识图标弹出提示:显示编辑的注释。
2、注释添加失败或取消注释添加,保持原属性注释状态不变。 2.3.4.2 删除注释
- 概述
删除已添加的注释 - 启动条件
选中注释 - 操作方式
1、点击行右侧的注释标识图标,打开属性注释窗口。
2、选中需删除的注释。
3、点击右上角删除按钮,弹出确认提示。
4、点击确认执行删除。 - 效果
1、删除成功,移除注释。
1.1 如果将选中属性的所有注释全部删除后,选中属性右侧的注释标识也消失。
2.删除失败,保持原注释数据不变。3.属性
设计区选中属性元素时编辑区元素信息选项卡显示的内容。3.1 属性公理
对设计区选中类元素的功能进行管理。3.1.1 公理显示
- 概述
1、列表显示选中属性元素的所有第一级公理。 - 启动条件
1、设计区选中属性元素。 - 操作方式
1、设计区中选中属性元素。
2、编辑区公理列表自动当前选中属性元素的公理。 - 效果
1、表格分两列显示公理信息,第一列为公理类型、第二列为公理属性数据。 2、鼠标移入表格中的行在行的右侧显示注释图标标识。3.1.2 添加公理
- 概述
在当前公理列表中添加新的公理。 - 启动条件
1、设计区选中属性元素
2、编辑区公理列表显示当前选中属性元素公理。 - 操作方式
1、点击列表左上角的新建公理按钮。
2、在公理列表中增加一条默认公理信息:公理类型默认子属性,公理属性默认空。
3、点击添加行的公理类型列在下拉列表选择公理类型,下拉列表中的公理类型根据选中属性的类型自动加载(参见下表)。
4、点击添加行的公理属性列中的点击设置按钮,弹出本体属性选择模态框。
5、模态框根据当前设计区选中属性的类型加载本体中相同类型属性,并选择属性。 6、将以选择的属性作为属性的公理属性值。 - 效果
1、添加公理成功
1.1 在公理列表中显示添加的公理。
1.2 在设计区选中属性元素后添加对应公理及元素。
2、添加公理失败,保持原公理列表数据不变。3.1.3 删除公理
- 概述
删除已添加的属性公理。 - 启动条件
1、公理列表中选中公理行 - 操作方式
1、公理列表中选中行。
2、点击删除公理按钮,执行删除操作。 - 效果
1、执行删除公理项,弹出提示:删除公理将影响当前类的约束范围。是否确定删除?
2、删除公理成功
2.1 在当前类的公理列表中删除选中的项。
2.2 在设计器的脑图中删除公理对应的连接线,及连接的公理对象。
2.3 删除公理同时删除连接公理的对象如对象是引用则删除引用关系,如不是引用则删除实体对象。
3、删除失败,保持原公理数量不变。3.1.4 编辑公理
- 概述
对已添加公理的公理类型编辑或公理对象编辑。 - 启动条件
设计区选中需编辑公理的类元素。 - 操作方式
1、编辑公理类型
1.1 点击添加行的公理类型列在下拉列表选择公理类型。
2、编辑公理属性
2.1、点击添加行的公理对象列中的设置设置按钮,弹出类表达式构建模态框。
2.2、模态框根据当前设计区选中属性的类型加载本体中相同类型属性,并选择属性。 2.3、将以选择的属性作为属性的公理属性值。 - 效果
1、编辑成功
1.1 公理列表中的公理列显示新的数据。
1.2 设计区选中类元素的对应公理显示新的对象数据。3.1.5 添加公理注释
- 概述
为添加的公理项添加注释。 - 启动条件
编辑区公理列表中选中公理行。 操作方式
1、编辑区公理列表中选中公理行。
2、点击注释按钮,弹出注释添加模态框。
2.1 点击右侧的添加按钮,打开注释编辑器(如下图)。
3、根据模态框中内容编辑添加注释,并点击确定完成注释添加。
- 效果
1、注释添加成功。
1.1 公理行右侧的注释标识图标在鼠标移入的改变颜色。
1.2 鼠标移入注释标识图标弹出提示:显示编辑的注释。
2、注释添加失败或取消注释添加,保持原公理注释状态不变。 3.1.5.1 删除注释
- 概述
删除已添加的注释 - 启动条件
选中注释 - 操作方式
1、打开公理注释窗口。
2、选中需删除的注释。
3、点击右上角删除按钮,弹出确认提示。
4、点击确认执行删除。 - 效果
1、删除成功,移除注释。
1.1 如果将选中公理的所有注释全部删除后,选中公理右侧的注释标识也消失。
2.删除失败,保持原注释数据不变。3.1.6 筛选公理
- 概述
在公理列表中根据公理类型或公理属性筛选列表数据。 - 启动条件
设计区选中类元素。 - 操作方式
1、设计区选种类元素,公理列表中显示当前选中类元素的所有公理。
2、点击表格列的表头单出下拉菜单,菜单内容为当前列中所有数据去掉重复的数据项的数据列表。
3、通过选择下拉菜单中的数据项的复选框,选择赛选条件。
4、选择完成点击下拉列表以为的其他地方执行筛选。 - 效果
1、公理列表根据筛选条件显示所有符合条件的数据。
4.实例
4.1 公理
对设计区选中实例元素的功能进行管理。
4.1.1 公理显示
- 概述
1、列表显示选中实例元素的所有第一级公理。 - 启动条件
1、设计区选中实例元素。 - 操作方式
1、设计区中选中实例元素。
2、编辑区公理列表自动加载当前选中实例元素的公理。 - 效果
1、表格分两列显示公理信息,第一列为公理类型、第二列为公理实例数据。 2、鼠标移入表格中的行在行的右侧显示注释图标标识。4.1.2 添加公理
- 概述
在当前公理列表中添加新的公理。 - 启动条件
1、设计区选中实例元素
2、编辑区公理列表显示当前选中属性元素公理。 - 操作方式
1、点击列表左上角的新建公理按钮。
2、在公理列表中增加一条默认公理信息:公理类型默认相等实例,公理实例默认空。
3、点击添加行的公理类型列在下拉列表选择公理类型(实例公理参见下表)。
4、点击添加行的公理实例列中的点击设置按钮,弹出本体实例选择模态框。
5、模态框加载本中所有实例,并选择实例。 6、将以选择的实例作为实例的公理实例值。 - 效果
1、添加公理成功
1.1 在公理列表中显示添加的公理。
1.2 在设计区选中属性元素后添加对应公理及元素。
2、添加公理失败,保持原公理列表数据不变。4.1.3 删除公理
- 概述
删除已添加的实例公理。 - 启动条件
1、公理列表中选中公理行 - 操作方式
1、公理列表中选中行。
2、点击删除公理按钮,执行删除操作。 - 效果
1、执行删除公理项,弹出提示:删除公理将影响当前类的约束范围。是否确定删除?
2、删除公理成功
2.1 在当前类的公理列表中删除选中的项。
2.2 在设计器的脑图中删除公理对应的连接线,及连接的公理对象。
2.3 删除公理同时删除连接公理的对象如对象是引用则删除引用关系,如不是引用则删除实体对象。
3、删除失败,保持原公理数量不变。4.1.4 编辑公理
- 概述
对已添加公理的公理类型编辑或公理对象编辑。 - 启动条件
设计区选中需编辑公理的类元素。 - 操作方式
1、编辑公理类型
1.1 点击添加行的公理类型列在下拉列表选择公理类型(参见下表)。
2、编辑公理属性
2.1、点击添加行的公理对象列中的设置设置按钮,弹出类表达式构建模态框。
2.2、模态框加载本体所有的实例,并选择实例。 2.3、将以选择的实例作为实例公理实例的值。 - 效果
1、编辑成功
1.1 公理列表中的公理列显示新的数据。
1.2 设计区选中类元素的对应公理显示新的对象数据。4.1.5 添加公理注释
- 概述
为添加的公理项添加注释。 - 启动条件
编辑区公理列表中选中公理行。 操作方式
1、编辑区公理列表中选中公理行。
2、点击注释按钮,弹出注释添加模态框。
2.1 点击右侧的添加按钮,打开注释编辑器(如下图)。
3、根据模态框中内容编辑添加注释,并点击确定完成注释添加。
- 效果
1、注释添加成功。
1.1 公理行右侧的注释标识图标在鼠标移入的改变颜色。
1.2 鼠标移入注释标识图标弹出提示:显示编辑的注释。
2、注释添加失败或取消注释添加,保持原公理注释状态不变。 4.1.5.1 删除注释
- 概述
删除已添加的注释 - 启动条件
选中注释 - 操作方式
1、打开公理注释窗口。
2、选中需删除的注释。
3、点击右上角删除按钮,弹出确认提示。
4、点击确认执行删除。 - 效果
1、删除成功,移除注释。
1.1 如果将选中公理的所有注释全部删除后,选中公理右侧的注释标识也消失。
2.删除失败,保持原注释数据不变。4.1.6 筛选公理
- 概述
在公理列表中根据公理类型或公理属性筛选列表数据。 - 启动条件
设计区选中类元素。 - 操作方式
1、设计区选种类元素,公理列表中显示当前选中类元素的所有公理。
2、点击表格列的表头单出下拉菜单,菜单内容为当前列中所有数据去掉重复的数据项的数据列表。
3、通过选择下拉菜单中的数据项的复选框,选择赛选条件。
4、选择完成点击下拉列表以为的其他地方执行筛选。 - 效果
1、公理列表根据筛选条件显示所有符合条件的数据。4.2 断言
- 概述
显示或编辑当前设计区选中实例元素的所有断言。 - 启动条件
设计区选中实例。 - 操作方式
1、设计区选中实例元素。
2、编辑器实例选项卡中通过列表的方式显示当前选中实例的所有断言。
第一列显示:断言属性,第二列显示断言值。
3、断言属性不可修改。
3、编辑断言值。
3.1 点击断言值后的编辑按钮,弹出编辑模态框。
3.2 模态框内容根据当前断言属性类型自动生成对应的编辑框。
3.3 重新输入断言值并通过断言属性的值域验证。
3.4 点击确定保存编辑的断言属性值。 - 效果
1、编辑成功
1.1 实列断言列表中对应的属性值跟新为新设置的值。4.2 删除断言
- 概述
删除选中实例的断言属性和值。 - 启动条件
设计区选中实例。 - 操作方式
1、设计区中选中实例,编辑区选择断言选项卡。
2、在断言列表总选中须删除断言行。
3、点击删除按钮,激活删除操作。 - 效果
1、删除陈功 1.1 在断言列表中移除删除的断言属性行。 2、删除失败,保持原断言数据不变。5.数据类型属性
5.1 数据类型名称
- 概述
当前选中数据类型的显示名称。 - 操作方式
1、点击属性后文本框
2、删除文本框数据
3、输入新的数据类型名称 - 效果
选中元素更新为新的名称5.2 数据类型
- 概述
显示当前数据类型的类型 - 操作方式
下拉列表中显示当前本体所有的数据类型。 - 效果
跟新当前选中数据类型的类型。5.3 数据类型侧面约束
(后期扩展现在jena不支持)5.4 数据类型注释