Infusion: hybrid reasoning system with Description Logics.
Hu, Bo and Compatangelo, Ernesto and Arana, Ines (2003) Infusion: hybrid reasoning system with Description Logics.. In Proceedings of the IASTED International Conference on AI and Applications (AIA'2003), pages 327-332.
This is the latest version of this eprint.
This document is not available online.
We discuss a new approach which uses inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, in order to extend the expressive and deductive powers of existing Description Logic (DL) based systems. More specifically, our approach integrates results from a DL reasoner with results from a constraint solver. Inference fusion (i) fragments heterogeneous input knowledge to generate suitable homogeneous input knowledge for the DL and constraint reasoners; (ii) passes control to each reasoner, retrieving the results and making them available to the other reasoner for further inferencing; (iii)dynamically combines the results of the two reasoners to present the overall conclusion. We also outline the main features of inference fusion by way of a small example.
| Subjects: | AKT Challenges > Knowledge reuse AKT Challenges > Knowledge modelling |
|---|---|
| ID Code: | 289 |
| Deposited By: | Ajit, Suraj |
| Deposited On: | 24 February 2004 |
Available Versions of this Item
- Infusion: hybrid reasoning system with Description Logics. (deposited 24 February 2004) [Currently Displayed]
Contact the site administrator at: hg@ecs.soton.ac.uk