作　　者： ; ; ;

机构地区： 华南理工大学计算机科学与工程学院

出　　处： 《华南理工大学学报（自然科学版）》 2007年第1期112-117,共6页

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

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]