《机器翻译用现代藏语语义词典》的设计研究

文章就现代藏语语义词典设计的理论框架、语义分类思想、语义分类体系和属性描述原则.构造了一个初步适应英藏机器翻译的藏语语义分类体系,指出了语义分类和语义属性描述在语义分析中的重要性,阐明了语义分类与语义属性描述两者之间的约束关系,探讨相关的语义分析研究课题.     

一种数据元语义描述方法

随着数据元标准的建立,数据元在数据集成中有重要作用.当前数据元的语义是通过自然语言解释的,难以满足计算机自动应用数据元的需求.采用本体的思想,提出了一种形式化的数据元语义描述方法,以领域本体的概念为原子概念,以数据元为复合概念,按照数据元的语义特点,建立树形语义描述结构,并定义数据元语义的XML描述方法及图形描述方法.     

基于OWL- S的语义Web服务匹配代理的设计与实现

文中提出了一种智能中间代理来执行Web服务语义匹配.匹配过程基于OWL-S本体,它包含服务发现、匹配及执行所需要的语义信息.为了发现满足用户请求的服务,智能代理使用匹配算法和基于描述逻辑自动推理器来匹配服务请求和服务广告描述.     

基于OWL-S的语义Web服务匹配代理的设计与实现

文中提出了一种智能中间代理来执行Web服务语义匹配.匹配过程基于OWL-S本体,它包含服务发现、匹配及执行所需要的语义信息.为了发现满足用户请求的服务,智能代理使用匹配算法和基于描述逻辑自动推理器来匹配服务请求和服务广告描述.     

C-SHOIQ:描述逻辑SHOIQ的云扩展

鉴于经典描述逻辑不能表达不确定知识,文中将云模型、描述逻辑SHOIQ和模糊逻辑相结合,提出了一种基于云的模糊描述逻辑C-SHOIQ,用于表达不确定知识.首先给出了C-SHOIQ的语法和语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力;然后给出了C-SHOIQ的推理方法及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则,并论证了C-SHOIQ和对应的经典SHOIQ之间概念可满足性的一致性关系;最后论证C-SHOIQ是对模糊SHOIQ表达能力的扩展.     

基于语义的关系数据到XML数据的转换

将关系数据转换为XML数据, 可以方便地实现关系数据库的发布. 通过分析关系schema与XML schema之间的对应关系, 提出了一种基于语义的将关系数据转换为XML数据的方法, 并通过一个应用实例描述了此种技术的具体实现算法.     

面向对象数据模型中聚集语义和覆盖语义的ERL语言描述

针对ＥＲＬ描述的语义种类不齐全的问题,在ＥＲＬ已能处理的语义约束之处,又给出了聚集语义、覆盖语义的描述和可满足性的判定方法。     

一种Verilog的操作语义

用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。     

面向语义Web的直觉模糊粗描述逻辑

分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题,基于(I, T)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成,即提出了一种新的直觉模糊粗描述逻辑．针对与本体语言OWL 2等价的描述逻辑SROIQ(D),对SROIQ(D)进行了扩充,具体提出了直觉模糊粗描述逻辑IFRSROIQ(D),给出了IFRSROIQ(D)的语法、语义和性质,证明了IFRSROIQ(D)的推理问题（包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等）都可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理．     

Cloud-SHOIQ: 描述逻辑SHOIQ的云扩展

经典描述逻辑是本体的重要表示方式,但不能表达不确定知识.分析了扩展描述逻辑表达不确定知识的研究现状及存在的问题,通过结合云模型(Cloud model)、描述逻辑SHOIQ及模糊逻辑提出了一种基于云的模糊描述逻辑C-SHOIQ表达不确定知识,给出了C-SHOIQ的语法、语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力.给出了C-SHOIQ的推理方法,及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则.分析说明了C-SHOIQ是对模糊SHOIQ表达能力的扩展.     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

S-粗语义概率及其特性

本文针对web数据挖掘中,具有动态性和不确定性语义web所存在的问题,基于单向S-粗集,提出S-粗语义和S-粗语义概率的概念,对粗语义、S-粗语义、粗语义概率和S-粗语义概率的特性进行了讨论,并给出了应用。利用语义web的概率特性,S-粗语义概率能够更好地描述web数据挖掘中具有动态特性的不确定性语义web问题。     

现有时空数据模型的研究

阐述了时空数据建模的主要定义，分析了时空数据库领域的建模需求，包括时态语义、空间语义、时空语义和查询能力．通过对各模型在时空领域中实际应用的研究，重点比较了现有时空数据模型在这4个需求方面的能力表现，并对模型做出评价．结果表明，面向对象数据模型和移动对象数据模型在时空对象的表达上体现了较强的能力．     

UniNet Description of Dining Philosopher Problem

The UniNet specification of Dining Philosopher Problem we presents not only is graphic and intuitionistic but also explicitly indicates the In the specification, static semantics and the the static properties are dynamic semantics. the recorder of the dynamic properties, and the dynamic properties are the track of the static properties change. Accordingly, Dining Philosopher Problem is formally verified by UniNet. Furthermore, the procedure of properties＇ verification is implemented through the graphic-related computing style.     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

英汉词汇搭配现象的异同比较

语言中能够独立运用的最小表义单位是词,因为词是“语言的最小的独立运用的意义单位”。对词汇搭配的研究是研究词的一个基本的重要内容,汉语和英语两种语言搭配有各自的特点,同时,二者也有共同之处。通过研究汉英词汇搭配中的某些现象,比较二者的相似与不同之处,旨在揭示英汉两种语言在语法规律以及语义范围等方面的特殊规律,对英语教学和翻译研究有一定的指导意义。     

话题及其特征的多维研究

根据三个平面理论，话题是个语用成分，指述说的对象。它在语句线性序列中的位置分布及其形式都与它所承载的信息内容密切相关。当它传递已知信息时，一般位于语句的开头，其形式为表示特指的名词短语、代词或无形的零回指；当它传递新知信息时，则位于语句的结尾或中间，其形式为表示泛指的名词短语。由于任何语句都是句法、语义、语用的结合体，因此，在语用平面表现为话题的成分在语义平面可能表现为施事或受事等语义成分、在句法平面则表现为主语、宾语或状语等句法成分。     

Prolog的语义保持变换

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复转换集语义,但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义,此外,程序的语义等价性证明也往往是难以理解和阅读的,为此,首先用与计算SLD－树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明。     

产品语意与产品形态

产品语意是研究产品的形态在使用环境中的象征意义。产品设计师可以通过对产品的构造、形态，特别是特征部分、操作部分的设计，充分表达产品的物理功能，并满足人的生理需要和心理需要。这里将从产品的语义表达和产品形态的语义表达两个方面对产品语意学的意义和作用加以陈述，以典型的产品设计为例，证明产品语意学在产品设计工作中的重要地位，并对产品设计中“形式追随功能”的观点提出质疑。文章中的观点对从事工业设计的工作者和大专院校的师生有一定参考价值。