Journal of South China University of Technology (Natural Science Edition) ›› 2007, Vol. 35 ›› Issue (1): 112-117.

• Computer Science & Technology • Previous Articles     Next Articles

Query Processing ßased on Formal Domain Ontology in Distribute Environment

Gao Ying  Guo He-qing  Zou Zhi-min   

  1. 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)

PDF

540

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