论文部分内容阅读
为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.
In order to improve the recall and accuracy of semantic Web queries, a method of query processing based on formal ontology is proposed in this paper.Firstly, the domain ontology is formally transformed by describing the grammar and semantics of domain ontology using description logic. Then, Based on the transformed formal ontology, the semi-amethmic ensemble calculus is used as the target language based on formal domain ontology query transformation, and the transformation rule and semantic optimization process of user query to semi-unitary homomorphic query are defined. The query weight Write rules, and finally verify the query performance of the method through experiments.