Query Processing Based on Formal Domain Ontology in Distribute Environment

Gao Ying,Guo He-qing,Zou Zhi-min
DOI: https://doi.org/10.3321/j.issn:1000-565X.2007.01.023
2007-01-01
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 ontology. 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.
What problem does this paper attempt to address?