分布式环境下基于形式化领域本体的查询处理

摘要：

为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.

关键词：描述逻辑、本体、查询处理、含半幺群同态、含半幺群概括演算

所属期刊栏目：35

分类号：TP31(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划G20000263;广东省广州市科技攻关项目B2-109-550

在线出版日期：2007-03-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：112-117