Skip to main content

Research Repository

Advanced Search

Infusion: a hybrid reasoning system with description logics.

Hu, Bo; Compatangelo, Ernesto; Arana, Inés

Authors

Bo Hu

Ernesto Compatangelo

Inés Arana



Contributors

M.H. Hamza
Editor

Abstract

We discussed a new approach using inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, 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 inputs 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; and (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.

Citation

HU, B., COMPATANGELO, E. and ARANA, I. 2003. Infusion: a hybrid reasoning system with description logics. In Hamza, M.H. (ed.) Proceedings of the 2003 International Association of Science and Technology for Development (IASTED) international conference on artificial intelligence and applications (AIA 2003), 8-10 September 2003, Benalmadena, Spain. Calgary: ACTA Press [online], pages 327-332. Available from: http://www.actapress.com/Content_of_Proceeding.aspx?proceedingID=237

Presentation Conference Type Conference Paper (published)
Conference Name 2003 International Association of Science and Technology for Development (IASTED) international conference on artificial intelligence and applications (AIA 2003)
Start Date Sep 8, 2003
End Date Sep 10, 2003
Acceptance Date Dec 31, 2003
Online Publication Date Dec 31, 2003
Publication Date Dec 31, 2003
Deposit Date Apr 2, 2009
Publicly Available Date Apr 2, 2009
Publisher ACTA Press
Peer Reviewed Peer Reviewed
Pages 327-332
ISBN 0889863903
Keywords Knowledge representation; Description logics; Hybrid reasoning system; Software tools
Public URL http://hdl.handle.net/10059/329
Publisher URL http://www.actapress.com/Content_of_Proceeding.aspx?proceedingID=237
Contract Date Apr 2, 2009

Files




You might also like



Downloadable Citations