Representation and Reasoning of Fuzzy XML Model with Fuzzy Description Logic

Abstract

By analyzing the relationships between description logics and XML models,the paper investigates the representation and reasoning of fuzzy XML models with fuzzy description logics. The formal definition of fuzzy XML models(including fuzzy XML documents and fuzzy DTDs) is proposed.Then,aiming at the characteristics and reasoning requirement of fuzzy XML models,a kind of new fuzzy description logic called f-ALCQ_(wf-reg) is developed,and the syntax,semantics, knowledge base and reasoning algorithm are given.On this basis,representation and reasoning of fuzzy XML models with f-ALCQ_(wf-reg) is investigated,including:Fuzzy XML models are translated into f-ALCQ_(wf-reg) knowledge bases;Based on the translated f-ALCQ_(wf-reg) knowledge bases, how to reason on fuzzy XML models(e.g.,conformance,inclusion,equivalence and disjointness) through the reasoning mechanism of f-ALCQ_(wf-reg) is investigated;Also it is briefly discussed that how to support query processing over a document base more efficiently based on the translation and reasoning results above.