说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 语义集成
1)  semantic integration
语义集成
1.
Using ontology to achieve the semantic integration of the intelligent transport system;
用本体实现智能交通系统的语义集成
2.
Research on Ontology Building and Semantic Integration;
本体构建与语义集成研究
3.
Research on Ontology-based Architecture of Web Data Semantic Integration;
本体驱动的Web数据语义集成体系结构的研究
2)  semantic information integration
语义信息集成
1.
Ontology-based semantic information integration resolves the schema level heterogeneity and part of data level heterogeneity between distributed data sources.
基于本体的语义信息集成主要解决分布异构的数据源之间的模式级异构和部分数据异构(包括同义字和同音异义字)。
2.
The existed semantic information integration solutions reconciled semantic heterogeneity partially,this paper constructed a semantic information integration architecture to resolve all of the three kinds of .
针对已有语义信息集成片面解决三个层次语义异构中的一种的现状,提出了一个语义信息集成的体系结构,能够全面解决三个层次的语义异构。
3.
Ontology-based semantic information integration adopts ontology to construct global schema and establish semantic mappings between ontology and the data sources schema to eliminate the semantic heterogeneity.
基于本体的语义信息集成通过建立本体来描述全局模式,在本体和各个异构的数据源模式之间建立模式映射来消除数据源之间的语义异构。
3)  Semantic data integration
语义数据集成
4)  enterprise information semantic integration(EISI)
企业信息语义集成
5)  DISL
数据集成定义说明语言
6)  Heterogeneous database semantic integration
异构数据库语义集成
补充资料:操作语义


操作语义
operational semantics

式求值的抽象机器的模型,这个机器的存储区分成三部分:栈区st(用作工作区),环境区:(保存数据向量等),控制区。(保存程序)。整个存储区记作(、t,:,。),称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st,s,(el叩eZ)/c)”(st,s,。;/。2/甲/。) (2)(st,:,碑/‘)冷(n/:t,:,。) (3)(st,s,x、/e)”(x、/sr,s,e) (4)(n/m/st,s,叩/e)=>(k/st,s,c)(k=m opn) 第一类规则表示,当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时,抽象机就转移自己的大状态,准备先求子表达式。l和e2的值,然后再按照相应的运算叩(+,一,X或其它算子),求出整个表达式的值,符号“/”用于分割存放的信息。第二类规则表示,当求值的表达式是一个常量时,则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示),表达式的值暂存于栈区。第三类规则表示,当表达式是一个变量时,其值就是环境区中相应单元的当前值,即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示,当运算叩的两个操作数已经求得,则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中,表达式(x:X xZ)+l(在xl,xZ值为2和3时)的求值是由下述大状态的转移序列完成的,转移符号冷的上方标有实现这一转移依 0、,产、,声据的转移规则号,设:=(2,3,s((x;XxZ)+i)/。(s(1)冷(:t,、(x;XxZ)/1/+/。)岑(、‘,:,(二,/二2)又1/+/。)里(2/st,、,二2/又1/+/。)缪(3/2/st,:,x/1/、/。)军(6/、‘,、,l/+/。)里(l/6/::,:,+,/。) (4) 冷(7/:t,s,e) 这个抽象机正确刻画出算术表达式求值的全过程,故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义,可在上述抽象机中添加如下转移规则: (5)(st,s,(x、:=e);/c)今(:t,s,e/x*:=/。) (6)(n/:t,:,吞:=/。)=>(st,:}in,。) 第五类规则表示,当抽象机执行(x‘:=。)时,先求出表达式仑的值,然后再给x*赋值。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条