更改

=== 基本定义 ===

=== 基本定义 ===

'''概念类'''

'''实体（entities）：'''“主语”和“宾语”统称为实体，所有实体组成集合<math>E</math>。

“主语”和“宾语”统称为实体（entities），所有实体组成集合<math>E</math>。描述性和关系性的词语统称为属性（properties），所有属性构成集合<math>K</math>。一个概念类（concept class）被定义为一个属性子集<math>K_C \subseteq K</math>，表示属于该类的实体所具备的属性。从一个概念类中随机采样的两个实体，往往共享部分属性——这为训练模型提供了判断它们是否属于同一类的信号。

'''属性（properties）：'''描述性和关系性的词语统称为属性，所有属性构成集合<math>K</math>。

'''类型约束图'''

'''概念类（concept class）：'''一个概念类被定义为一个属性子集<math>K_C \subseteq K</math>，表示属于该类的实体所具备的属性。从一个概念类中随机采样的两个实体，往往共享部分属性——这为训练模型提供了判断它们是否属于同一类的信号。

类型约束图<math>G=\left ( E,K,I \right ) </math>是一个二分图（bipartite graph），其中节点为实体集<math>E</math>与属性集<math>K</math>，边集<math>I</math>表示实体是否具备某一属性（即是否连接）。

'''类型约束图：'''类型约束图<math>G=\left ( E,K,I \right ) </math>是一个二分图（bipartite graph），其中节点为实体集<math>E</math>与属性集<math>K</math>，边集<math>I</math>表示实体是否具备某一属性（即是否连接）。

[[文件:概念类二分图.png|无|缩略图|800x800px|各类实体与描述词、动词之间的连接关系]]

[[文件:概念类二分图.png|无|缩略图|800x800px|各类实体与描述词、动词之间的连接关系]]