本体分子的形式描述的介绍

5.2.2　本体分子的形式描述

在W3C联盟对RDF本体理论模型的形式描述中，指出U定义为本体库中所有的URI本体结点(URIreferences)的集合，B定义为本体库中所有匿名本体结点(RDF blank nodes)的集合，L定义为本体库中所有RDF文本(RDF literals)的集合。

U，B，L三者两两不相交。

定义V为U，B，L的并集:V=U∪B∪L

定义三元组集合T为U，V的笛卡儿乘积:T=V×U×V

定义RDF图集合G为T的幂集合。

根据上述描述和我们对本体分子的定义，将本体分子形式描述如下:

本体分子核子c为:c=func_c(id_c，g_c)，id_c∈U，g_c∈G

其中id_c为本体分子核子c的唯一标识符，g_c表示本体分子核子的范围，func_c是id_c和g_c的映射函数。

根据本体分子核子的定义，getId_c(c)=id_c，getGraph_c(id_ c)=g_c分别表示本体分子核子标识符与本体分子核子范围的映射函数。(www.xing528.com)

定义I_c为本体分子核子集合C的解释，任何一个本体分子核子c∈C，getId_c(c)都应该在解释I_c的词表中，而且满足: I_c(getId_c(c))=c

同理:

本体分子中一个离子o为:o=func_o(id_o，g_o)，id_o∈U，g_o∈G

其中id_o为本体分子一个离子o的唯一标识符，g_o表示本体分子一个离子的范围，func_o是id_o和g_o的映射函数。

根据本体分子一个离子的定义，getId_o(o)=id_o，getGraph_o(id_o)=g_o分别表示本体分子一个离子标识符与本体分子一个离子范围的映射函数。

定义I_o为本体分子离子集合O的解释，任何一个本体分子离子o∈O，getId_o(o)都应该在解释I_o的词表中，而且满足: I_o(getId_o(o))=o

故:

本体分子m为:m=func_m(id_m，{c，O})，id_m∈U，c∈C，o∈O