Facilitating DL-based hybrid reasoning with inference fusion.

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

Abstract

We present an extension to DL-based taxonomic reasoning by means of the proposed inference fusion, i.e. the dynamic combination of inferences from distributed heterogeneous reasoners. Our approach integrates results from a DL-based system with results from a constraint solver under the direction of a global reasoning coordinator. Inference fusion is performed by (i) processing heterogeneous input knowledge, producing suitable homogeneous input knowledge for each specialised reasoner; (ii) activating each reasoner when necessary, collecting its results and passing them to the other reasoner if appropriate; (iii) combining the results of the two reasoners. We discuss the benefits of our approach and demonstrate our ideas by proposing a language (DL(D)=S) and a reasoning system (Concor) which uses knowledge bases written in DL(D)=S and supports hybrid reasoning. We illustrate our ideas with an example.

Citation

HU, B., ARANA, I. and COMPATANGELO, E. 2003. Facilitating DL-based hybrid reasoning with inference fusion. In Bramer, M., Preece, A. and Coenen, F. (eds.) Research and development in intelligent systems XIX: proceedings of the 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002), 10-12 December 2002, Cambridge, UK. London: Springer [online], pages 91-104. Available from: https://doi.org/10.1007/978-1-4471-0651-7_7

• Conference Name: 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002)
• Conference Location: Cambridge, UK
• Start Date: Dec 10, 2002
• End Date: Dec 12, 2002
• Acceptance Date: Dec 10, 2002
• Online Publication Date: Dec 31, 2003
• Publication Date: Dec 31, 2003
• Deposit Date: Mar 18, 2009
• Publicly Available Date: Mar 18, 2009
• Publisher: Springer
• Pages: 91-104
• ISBN: 9781852336745
• DOI: https://doi.org/10.1007/978-1-4471-0651-7_7
• Keywords: Inference fusion; DL based taxonomic reasoning
• Public URL: http://hdl.handle.net/10059/321