FRESG: A Kind of Fuzzy Description Logic Reasoner

摘要

Based on the fuzzy description logic F-ALC(G), we design and implement a fuzzy description logic reasoner, named FRESG1.0. FRESG1.0 can support the representation and reasoning of fuzzy data information with customized fuzzy data types and customized fuzzy data type predicates. We briefly introduce the reasoning services provided by FRESG1.0. Then, we particularize the overall architecture of FRESG1.0 and its design and implementation of the major components. In the paper, we pay more attention to illustrate the features of the reasoner as well as the algorithms and technologies adopted in the implementations.