一个语义Web构架及其实现

语义Web是国际互联网组织W3C制定的关于未来Web的一个长远蓝图,近两年发展异常迅猛,并显示出诱人的应用前景。该文在概述语义Web基本技术的基础上,设计了一个面向企业门户网站的语义Web体系结构;提出了页面代理的概念及其作用与功能结构;设计了语义Web查询语言CDQL,该语言在跨信息源查询、约束表示等方面扩充了DQL查询语言。

CRL:对语义Web上的Ontology表示语言DAML+OIL的一种扩充方案

Ontologies在语义Web中起着举足轻重的作用,它不仅能为人类用户而且能为软件Agent提供从语法层次到语义层次上的互操作性。DAML+OIL是专门为语义Web设计的一种Ontology描述语言,它将框架系统、描述逻辑和Web标准这三个不同领域的优点结合了起来,采用面向对象的方法用类和属性来描述领域的结构。但是DAML+OIL也有不足之处,其一是约束表达能力较弱,只能表示属性值的基数约束,不能表示属性值的区间约束;其二是不能表示任何规则,而无论是约束表示还是规则表示对Ontology都是非常重要的。该文提出一种对DAML+OIL的扩充方案,使得扩充后的DAML+OIL可以表示简单的规则和属性值的区间约束。

基于奇异值分解的中文Ontology自动学习技术

语义Web是一个美好的构想，Ontology在语义Web中起着举足轻重的作用，它不仅能为人类用户而且能为软件agent提供从语法层次到语义层次上的互操作性。目前Web上主要是各种布局的HTML文档，未来的语义Web页面将是各种领域Ontology的实例以及到其它实例上的链接，因此语义Web的成功强烈依赖于Ontology的增殖，方便快捷地构造各领域Ontologies是实现语义Web的关键。该文提出一种基于奇异值分解的中文Ontology自动学习技术，这种技术的特点是其简易性以及准确的数学理论基础。

约束程序设计语言COPS的设计与实现

约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响，其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来。该文介绍了设计实现的并发约束程序设计语言COPS。COPS系统的主要目标是探索智能语言的实用化与工程化，使其能够真正解决现实世界中用常规语言难以实现的智能应用问题。还介绍了COPS语言的表示及涉及的主要推理技术。