一种基于形式概念分析理论的术语定义方法及系统技术方案

本发明专利技术公开了一种基于形式概念分析理论的术语定义方法及系统，采用形式概念分析的理论对本体中的术语进行形式化的释义，提高本体构建的自动化程度，降低手工编辑过程的人工花费。

Term definition method and system based on formal concept analysis theory

The invention discloses a method and a system analysis of definitions based on the theory of formal concept and formal definition of Ontology terms in the theory of formal concept analysis, improve the degree of automation of ontology construction, reduce the cost of manual editing process manual.

【技术实现步骤摘要】

本专利技术涉及互联网
，特别涉及一种基于形式概念分析理论的术语定义方法及系统。
技术介绍
随着互联网应用逐渐向智能化和自动化方向发展，本体作为概念模型和概念间关系的规范描述，被广泛应用于信息系统和下一代互联网语义网领域。现阶段，本体的构造多采用半自动化的方法，其中本体中术语的定义大多由专家手工编辑完成，效率不高，因而需要一种形式化的方法来完成术语的自动化定义。
技术实现思路
本专利技术实施例提供了一种基于形式概念分析理论的术语定义方法及系统，用以解决现有技术中存在的问题。一种基于形式概念分析理论的术语定义方法，所述方法包括：获取本体的形式背景K＝(G，M，I)，并根据所述形式背景建立对应的概念格L(K)，其中G和M为两个集合，I表示G和M之间的二元关系，G中的元素g称为对象，用来表示所述本体中的术语，M中的元素m称为属性，用来描述所述术语的特征；计算所述概念格L(K)中每一个概念的最小产生子R；根据所述最小产生子R计算每一个对象a∈G的描述d(a)，即每一个术语的形式化定义；其中，计算所述最小产生子R具体包括：从所述概念格L(K)中的最大概念开始采用宽度优先遍历访问所述概念格L(K)中的每一个概念；对于访问的每一个概念，若这个概念是属性概念，则这个概念的最小产生子R是这个概念的属性标签；否则，这个概念的最小产生子R是其任意两个上近邻的最小产生子的并集；计算所述描述d(a)具体包括：在所述形式背景K＝(G，M，I)中，定义定义对于每一个所述对象a∈G，在所述概念格L(K)中找出所述对象a的概念(g(f(a))，f(a))，并标记所述概念为C＝(A，B)，其中A代表概念C的外延，B代表概念C的内涵；存在对象b∈G并且时，将C＝(A，B)的下近邻标记为S＝(As，Bs)，当存在概念(Af，Bf)为概念C的上近邻，概念(Afs，Bfs)为S的上近邻，并且满足Af-Afs＝A-As时，则将概念C更新为(Af，Bf)，将概念S更新为(Afs，Bfs)，其中As，Bs分别表示概念S＝(As，Bs)的外延和内涵，Af，Bf分别表示概念(Af，Bf)的外延和内涵，Afs，Bfs分别表示概念(Afs，Bfs)的外延和内涵；确定所述描述其中rt为R中的元素，T为标集，{hs本文档来自技高网...

【技术保护点】
一种基于形式概念分析理论的术语定义方法，其特征在于，所述方法包括：获取本体的形式背景K＝(G，M，I)，并根据所述形式背景建立对应的概念格L(K)，其中G和M为两个集合，I表示G和M之间的二元关系，G中的元素g称为对象，用来表示所述本体中的术语，M中的元素m称为属性，用来描述所述术语的特征；计算所述概念格L(K)中每一个概念的最小产生子R；根据所述最小产生子R计算每一个对象a∈G的描述d(a)，即每一个术语的形式化定义；其中，计算所述最小产生子R具体包括：从所述概念格L(K)中的最大概念开始采用宽度优先遍历访问所述概念格L(K)中的每一个概念；对于访问的每一个概念，若这个概念是属性概念，则这个概念的最小产生子R是这个概念的属性标签；否则，这个概念的最小产生子R是其任意两个上近邻的最小产生子的并集；计算所述描述d(a)具体包括：在所述形式背景K＝(G，M，I)中，定义定义对于每一个所述对象a∈G，在所述概念格L(K)中找出所述对象a的概念(g(f(a))，f(a))，并标记所述概念为C＝(A，B)，其中A代表概念C的外延，B代表概念C的内涵；存在对象b∈G并且时，将C＝(A，B)的下近邻标记为S＝(As，Bs)，当存在概念(Af，Bf)为概念C的上近邻，概念(Afs，Bfs)为S的上近邻，并且满足Af‑Afs＝A‑As时，则将概念C更新为(Af，Bf)，将概念S更新为(Afs，Bfs)，其中As，Bs分别表示概念S＝(As，Bs)的外延和内涵，Af，Bf分别表示概念(Af，Bf)的外延和内涵，Afs，Bfs分别表示概念(Afs，Bfs)的外延和内涵；确定所述描述其中rt为R中的元素，T为标集，{hs}s∈S是C和S的内涵的差集。...

【技术特征摘要】
1.一种基于形式概念分析理论的术语定义方法，其特征在于，所述方法包括：获取本体的形式背景K＝(G，M，I)，并根据所述形式背景建立对应的概念格L(K)，其中G和M为两个集合，I表示G和M之间的二元关系，G中的元素g称为对象，用来表示所述本体中的术语，M中的元素m称为属性，用来描述所述术语的特征；计算所述概念格L(K)中每一个概念的最小产生子R；根据所述最小产生子R计算每一个对象a∈G的描述d(a)，即每一个术语的形式化定义；其中，计算所述最小产生子R具体包括：从所述概念格L(K)中的最大概念开始采用宽度优先遍历访问所述概念格L(K)中的每一个概念；对于访问的每一个概念，若这个概念是属性概念，则这个概念的最小产生子R是这个概念的属性标签；否则，这个概念的最小产生子R是其任意两个上近邻的最小产生子的并集；计...

【专利技术属性】
技术研发人员：智慧来，晁浩，王岩，朱林杰，
申请(专利权)人：河南理工大学，
类型：发明
国别省市：河南;41