本体集成中上下文驱动协调   总被引：1，自引：0，他引：1  

李玲  唐胜群  肖如良  房丽娜  邓新国  徐有威  徐杨 《东南大学学报》2007,23(3):365-368

为了解决本体集成中因上下文的不同所引起的语义不协调的问题,提出了一个上下文驱动的协调机制.该机制基于先前的工作,即一种基于上下文的形式化Context-SHOIQ (D ) DL,采用描述逻辑和范畴论显示表示本体的上下文信息.为了扩展这个形式化,添加了4个迁移规则(包含、选择、优先和映射规则),用来规定输入到集成上下文中的内容;还添加了3个互操作能力依次递增的上下文集成操作(输入、部分协调和完全协调).该机制不是完备的,但足以解决提出的5种语义不协调的问题,有助于本体从一个上下文集成到另一个上下文.  相似文献   

一种使用挖掘中的模糊本体论生成方法     

蒋涛  张彬 《湖南科技学院学报》2006,27(5):282-285

在语义Web中,用户访问行为模型可以作为本体论共享.如何把Web访问活动转变成为本体论是一个非常关键的问题.为了解决这个技术问题,本文提出了一种在Web使用挖掘中集成模糊逻辑和形式化概念分析的本体论自动生成方法.文章首先对Web使用挖掘以及语义Web和本体论进行了介绍,然后该方法的体系结构及其生成过程也被详细地论述.  相似文献   

UML状态图到B形式化规范的转换实现     

滕飞  杨静 《教育技术导刊》2017,16(1):6-10

统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化描述和分析,确保模型的可靠性。通过研究从UML状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用Java语言实现了自动转换工具UML2B。  相似文献   

分布式CAD环境中基于操作语义的实时协同设计   总被引：1，自引：0，他引：1  

陈纯  张申生  李磊  张敬谊 《东南大学学报》2004,20(4):442-447

提出了一种应用于分布式CAD环境中的基于操作语义的协同设计模型. 主要目的是为了减少数据转换的耗时量以及降低对网络带宽的需求, 从而改善协作能力, 提高实时同步的效果. 首先回顾了实时协同设计的发展现状, 讨论了3种实时协同设计模型. 其次, 给出了操作语义的定义, 并提出了一个操作语义模型框架. 操作语义包含原始设计数据和实际操作过程, 表达CAD系统中的设计者意图和操作活动. 最后, 根据操作语义模型, 定义了CAD操作原语, 该原语可以从CAD操作中提取也可以映射成CAD操作命令; 给出了一种基于该模型的分布CAD协同体系结构, 并通过一个实例加以验证.  相似文献   

基于B方法的体系结构描述语言的精化研究     

丁湘陵 《怀化师专学报》2012,(2):37-41

通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.  相似文献   

关系数据集成中的语义查询处理技术     

苗壮  张亚非  王进鹏  陆建江  周波 《东南大学学报》2011,27(1):22-25

为解决基于语义的关系数据集成中的查询处理正确性问题,形式化定义了SPARQL查询语句的语义.在查询重写过程中,发现查询相关的数据表并将其分解为最小可连接单元,再根据查询语义连接最小可连接单元来产生正确的查询.给出了基于语义的查询重写和查询转换算法.对算法复杂性进行了讨论,在最坏情况下,查询分解算法可在O(n2)时间内完...  相似文献   

一种Web个性化中的本体论生成方法     

张彬  蒋涛  徐雨明 《衡阳师范学院学报》2007,28(3):97-100

在语义W eb中,用户访问行为模型可以作为本体论共享。如何把W eb访问活动转变成为体体论是一个非常关键的问题。为了解决这个技术问题,本文提出了一种在W eb个性化中集成模糊逻辑和形式化概念分析的本体论自动生成方法。文章首先对W eb个性化语义W eb和本体论进行了介绍,然后该方法的体系结构及其生成过程也被详细地论论述。  相似文献   

基于指称语义的UML序列图的语义分析     

刘玥波 《赤峰学院学报(自然科学版)》2012,(23):33-35

统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析.  相似文献   

一种基于概念的信息检索方法     

吴晨  张全  贾宁 《东南大学学报》2006,22(3):324-329

为了获取词语在文章中的语义权重,解决词语的同义、多义模糊问题,提升信息检索的效率,提出了一种基于概念的检索模型,模型中设计了一种形式化的文本内容表示框架,框架由2部分构成:文章的“领域”以及“情景与背景”信息,并由概念(形式化语义)加以表示.同时,提出了提取该概念框架的方法,给出了用于框架与检索要求间匹配的两阶段平滑算法.实验表明,在TREC6提供的小规模语料集下,采用所提出方法的信息检索模型与传统模型相比,平均召回准确率提升了约10%,效果显著,充分说明了基于本文描述方法构建的、以概念作为处理中介的信息检索系统的有效性和可行性.  相似文献   

Web服务组合规范WS-CDL的类型化形式化模型     

辜希武  李瑞轩  卢正鼎 《东南大学学报》2008,24(3)

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.  相似文献   

逻辑和语言研究的交叉互动     

邹崇理  李可胜 《西南师范大学学报(人文社会科学版)》2009,35(2):66-71

逻辑和语言的研究分为句法、语义和语用几个领域。在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法。这些理论自上世纪下半叶诞生起就呈现出逻辑和语言研究的交叉互动：尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究,但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新。  相似文献   

执行LOTOS形式说明的编译器支持     

李伟  郭宏亮 《平原大学学报》2006,23(6):125-127

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体,抽象实体与实际实体都有效地作用于环境,并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO编译器。  相似文献   

文档变换语义学述评     

刘强 《语文学刊:高等教育版》2008,(2):19-23

文档变换语义学（FCS）是一种动态地描述自然语言意义的形式语义学理论。它从传统的蒙太古形式语义学发展而来,将语境纳入到自然语言的话语意义的解释,动态地分析话语的意义对语境的依赖关系,突破了传统形式语义学静态地分析句子意义的局限性。同时,FCS也为形式语用学的发展起到了重要的启示作用。  相似文献   

谓词数据流图的功能性语义     

高晓雷  缪淮扣  刘玲 《上海大学学报(英文版)》2004,8(3):309-316

SOZL (structured methodology object-oriented methodology Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).  相似文献   

用形式语义探讨局部变量的作用域     

叶晓波  支蕾 《楚雄师范学院学报》2011,26(6):1-4

本文采用形式语义研究方法,结合实例重点探讨了高级语言程序设计中局部变量在语句块中的作用域问题,从而帮助高级语言程序学习者从另一个角度分析局部变量的作用域。  相似文献   

语义学与英语词汇教学方法探索     

盛美兰  章文君 《金华职业技术学院学报》2005,5(2):112-114

语义学是研究语言意义的一门学科。本文应用语义学和词汇语义学的有关原理，从分析语义成分、搭配关系和语义场等方面入手．对英语词汇教学的方法进行初步探索。  相似文献   

篇章表述理论初探     

李应洪 《湖南科技学院学报》2007,28(5):102-103

篇章表述理论（Discourse Representation Theory,简称DRT）是动态的自然语言意义的形式语义理论,由篇章语义的构造算法和语义的正确性验证两部分组成,它是在MG（Montague Grammar）的基础上起来的而又克服了MG的局限性的语义理论。文章从与MG的对比研究中探讨DRT的理论意义及其对自然语言部分语句系统的句法构造及其语义解释的方法论意义。  相似文献   

量的准则对句子意义理解的影响——兼谈逻辑学习中的一个疑点     

王自万 《绥化学院学报》2014,(8):64-68

形式语义学和语用学从不同角度研究句子的意义,前者以真值条件为基础来理解句子逻辑语义,后者结合语用原则分析句子的会话含义。量的准则是影响句子语用意义的重要因素,它直接造成了自然语言交际中理解的语义与形式语义学中语义之间的矛盾,这也是人们理解直言命题和假言命题的某些真值条件时常常存在疑惑的深层原因。  相似文献   

描述面向对象语言抽象语义的几个关键概念     

潘红军  亓常松  王巧玲 《通化师范学院学报》1999,(5)

本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模型框架。  相似文献