1) semantic conflict
语义冲突
1.
By introducing semantic conflicts into web query interface integration and discussing the origins and categories of the semantic conflicts,an ontology-based schema matching method is proposed.
在web查询接口集成中引入语义冲突的概念,通过分析语义冲突的起源和分类,提出了一种基于本体的模式匹配方法。
2.
Moreover, calculation methods of comprehensive similarity based upon data levels and tree structure levels are proposed, based on which semantic conflicts elimination is executed and a global ontology is constructed, resulting in an unified view.
本文在研究和分析已有信息集成技术的基础上,采用本体技术,给出了一个基于本体的异构信息集成框架,并在此框架下进行了相关技术的研究;首先,详述了将关系数据库与XML文档的数据源映射为本体的方法,并加以实例验证;其次,提出了基于数据层的综合相似度的计算方法和基于树层次结构的相似度计算方法,在此基础之上进行了语义冲突的消除并构建了全局本体,得到了一个统一的视图。
3.
Next,detection algorithm for semantic conflict is described.
网络环境下不同关系数据库之间普遍存在着语义冲突,为实现系统互访,需要进行语义映射。
2) semantic conflicts
语义冲突
1.
This paper uses the MultiXQuery language to solve the semantic conflicts of heterogeneous distributed databases,and finally integrates the heterogeneous distributed databases,which is based on an XML data model.
论文基于XML数据模型,使用MultiXQuery查询方法,消除异构和分布式的数据源中语义冲突,实现了异构和分布式的数据源的集成。
3) structural/ semantic conflict
结构/语义冲突
4) Model of semantic conflict elimination
语义冲突消除模型
5) conflict of obligations
义务冲突
1.
The conflict of obligations in criminal law is a branch of excluding criminal subject in criminal law’s theory of continental law system,and it could be understood from both aspects of legal facts and legal evaluation.
刑法中义务冲突是大陆法系刑法理论中排除犯罪性事由的一支,可以从法律事实和法律评价两个层面来理解。
6) duties conflict
义务冲突
1.
when one s duties conflict, law can not force one to do thing which he is unable to do.
当行为人面临道德义务和法律义务冲突时,法律是不能强人所难的。
补充资料：操作语义
操作语义
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*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条