Skip to main content

Research Repository

Advanced Search

Facilitating DL-based hybrid reasoning with inference fusion.

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

Authors

Bo Hu

Inés Arana

Ernesto Compatangelo



Contributors

Max Bramer
Editor

Alun Preece
Editor

Frans Coenen
Editor

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

Files





You might also like



Downloadable Citations