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

华南理工大学学报（自然科学版） ›› 2007, Vol. 35 ›› Issue (1): 112-117.

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

高英郭荷清邹智敏

华南理工大学计算机科学与工程学院，广东广州 510640

收稿日期:2006-01-11 出版日期:2007-01-25 发布日期:2007-01-25
通信作者: 高英(1974-)，女，讲师，博士，主要从事软件工程、信息系统的集成与安全方面的研究。 E-mail:worldstargao@163.com
作者简介:高英(1974-)，女，讲师，博士，主要从事软件工程、信息系统的集成与安全方面的研究。
基金资助:
国家"973" 计划项目(G2∞∞263) ;广州市重点科技攻关计划项目( B2-109-550)

Query Processing ßased on Formal Domain Ontology in Distribute Environment

Gao Ying Guo He-qing Zou Zhi-min

School of Computer Science and Engineering, South China Univ. of Tech. , Guangzhou 510640 , Guangdong , China

Received:2006-01-11 Online:2007-01-25 Published:2007-01-25
Contact: 高英(1974-)，女，讲师，博士，主要从事软件工程、信息系统的集成与安全方面的研究。 E-mail:worldstargao@163.com
About author:高英(1974-)，女，讲师，博士，主要从事软件工程、信息系统的集成与安全方面的研究。
Supported by:
国家"973" 计划项目(G2∞∞263) ;广州市重点科技攻关计划项目( B2-109-550)

摘要/Abstract

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

关键词: 描述逻辑, 本体, 查询处理, 含半么群同态, 含半么群概括演算

Abstract:

In order to increase the completeness and correctness in the query of semantic Web , this paper presents a query processing method based on the formal domain ontology. In the investigation , first , the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.Next , the Monoid Comprehension Calculus is used as the target language of query transformation based on the formal domain ontology. Then , the translation rules from user query to Monoid Homomorphism query are defined ,
followed by the optimized semantic process and query rewritten rules. Finally , experiments are carried out to verify the query performance of the proposed method.

Key words: description logic, ontology, query processing, Monoid Homomorphism, Monoid Comprehension Cal-culus

高英郭荷清邹智敏. 分布式环境下基于形式化领域本体的查询处理[J]. 华南理工大学学报（自然科学版）, 2007, 35(1): 112-117.

Gao Ying Guo He-qing Zou Zhi-min. Query Processing ßased on Formal Domain Ontology in Distribute Environment[J]. Journal of South China University of Technology (Natural Science Edition), 2007, 35(1): 112-117.

[1]	王体春华洋秦家祺. 机械产品方案设计的可拓本体相关网推理模型[J]. 华南理工大学学报（自然科学版）, 2020, 48(9): 61-70.
[2]	武园浩罗攀峰张承巍田凌尤政. 基于本体的仿真物性参数适应性管理模型[J]. 华南理工大学学报（自然科学版）, 2016, 44(9): 9-15.
[3]	宫运启吕民王刚付宜利. 基于知识的产品制造过程能耗的计算与预测[J]. 华南理工大学学报（自然科学版）, 2009, 37(2): 14-19.
[4]	刘波齐德昱林伟伟庞雄文 . 基于本体的语义数据融合方法[J]. 华南理工大学学报（自然科学版）, 2009, 37(1): 96-101.
[5]	刘杰樊孝忠陈康林培光 . C—SHOIQ：描述逻辑SHOIQ的云扩展[J]. 华南理工大学学报（自然科学版）, 2009, 37(1): 106-112.
[6]	张东民廖文和胡建郭宇程筱胜黄晔. 基于本体的设计知识建模[J]. 华南理工大学学报（自然科学版）, 2005, 33(5): 26-31.