基于形式概念的知识模型及其性质

吉林大学学报(工学版) ›› 2011, Vol. 41 ›› Issue (03): 745-749.

基于形式概念的知识模型及其性质

赵健^1,2,刘磊¹,丁蕾³

1.吉林大学计算机科学与技术学院|长春 130012;2.长春工程学院软件学院|长春 130012;3.沈阳工业大学理学院|沈阳 110870

收稿日期:2010-03-31 出版日期:2011-05-01 发布日期:2011-05-01
通讯作者: 刘磊（1960-）,男,教授,博士生导师.研究方向：程序分析技术,语义网与本体工程. E-mail:E-mail：liulei@mail.jlu.edu.cn
作者简介:赵健（1980-）,男,博士研究生.研究方向：本体工程与知识演化.E-mail:zhaojian08@mails.jlu.edu.cn
基金资助:
国家自然科学基金项目（60873044）

Knowledge model and its properties based on formal concept

ZHAO Jian^1,2,LIU Lei¹,DING Lei³

1.College of Computer Science and Technology,Jilin University,Changchun 130012,China|2.College of Software,Changchun Technology Institute 130012,China|3.School of Science, Shengyang University of Technology, Shengyang 110870

Received:2010-03-31 Online:2011-05-01 Published:2011-05-01

摘要/Abstract

摘要：

基于形式概念分析理论以及Galois连接对概念与概念之间的关联和演化进行形式化描述，构造了以形式概念射族为基本单元的概念空间，以及蕴含概念之间互操作规则和逻辑的环境空间，证明了环境空间的完备性，并研究了概念空间的基本性质。该理论为以概念为核心的复杂系统的演化分析及本体工程中知识演化研究提供了参考。

关键词: 计算机软件, 形式概念分析, 概念空间, 环境空间, 概念射族

Abstract:

Formal concept analysis theory and Galois connection are adopted for formal descriptions of concepts and interconnection along with evolvement between concepts. Concept space is constructed by employing formal concept mapping family as basic elements, researching the basic properties of concept space. Environmental space is also constructed, which contains concept interoperability rules and logic, proving the integrality of the environmental space. The theory mentioned fits into the evolvement analysis, which is based on a complex system centering on concepts, and offers consultable model to evolvement analysis of knowledge that are for ontology engineering and other methods.

Key words: computer software, formal concept context, concept space, environmental space, concept mapping family

中图分类号:

TP182

赵健,刘磊,丁蕾. 基于形式概念的知识模型及其性质[J]. 吉林大学学报(工学版), 2011, 41(03): 745-749.

ZHAO Jian,LIU Lei,DING Lei. Knowledge model and its properties based on formal concept[J]. 吉林大学学报(工学版), 2011, 41(03): 745-749.

参考文献

相关文章 15

[1]	马健, 樊建平, 刘峰, 李红辉. 面向对象软件系统演化模型[J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[2]	罗养霞, 郭晔. 基于数据依赖特征的软件识别[J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[3]	应欢, 王东辉, 武成岗, 王喆, 唐博文, 李建军. 适用于商用系统环境的低开销确定性重放技术[J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[4]	李勇, 黄志球, 王勇, 房丙午. 基于多源数据的跨项目软件缺陷预测[J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[5]	王念滨, 祝官文, 周连科, 王红卫. 支持高效路径查询的数据空间索引方法[J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[6]	特日跟, 江晟, 李雄飞, 李军. 基于整数数据的文档压缩编码方案[J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[7]	康辉, 王家琦, 梅芳. 基于Pi演算的并行编程语言[J]. 吉林大学学报(工学版), 2016, 46(1): 235-241.
[8]	陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[9]	刘磊, 王燕燕, 申春, 李玉祥, 刘雷. Bellman-Ford算法性能可移植的GPU并行优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[10]	冯晓宁, 王卓, 张旭. 基于L-π演算的WSN路由协议形式化方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[11]	李明哲, 王劲林, 陈晓, 陈君. 基于网络处理器的流媒体应用架构模型(VPL)[J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[12]	王克朝, 王甜甜, 苏小红, 马培军. 基于频繁闭合序列模式挖掘的学生程序雷同检测[J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.
[13]	黄宏涛，王静，叶海智，黄少滨. 基于惰性切片的线性时态逻辑性质验证[J]. 吉林大学学报(工学版), 2015, 45(1): 245-251.
[14]	范大娟^{1, 2}, 黄志球¹, 肖芳雄¹, 祝义¹, 王进¹. 面向多服务交互的相容性分析与适配器生成[J]. 吉林大学学报(工学版), 2014, 44(4): 1094-1103.
[15]	贺秦禄¹, 李战怀¹, 王乐晓¹, 王瑞². 云存储系统聚合带宽测试技术[J]. 吉林大学学报(工学版), 2014, 44(4): 1104-1111.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed