Infusion: A Hybrid Reasoning System with Description Logics

B. Hu, E. Compatangelo, and I. Arana (UK)


Knowledge Representation, Description Logics, Hybrid Reasoning System, Software tools


We present a new approach which extends the expressive and deductive powers of existing Description Logic (DL) based systems using inference fusion the cooperative rea soning from distributed heterogeneous inference systems. Our approach integrates results from a DL reasoner with results from a constraint solver. Thus, our inference fu sion system (i) fragments heterogeneous input knowledge to generate suitable homogeneous inputs for the DL and constraint reasoners; (ii) passes control to each reasoner, re trieving the results and making them available to the other reasoner for further inferencing; and (iii) dynamically com bines the results of the two reasoners and presents the over all results. We illustrate the main features of inference fu sion using a small example.

Important Links:

Go Back