Facilitating DL-based hybrid reasoning with inference fusion.
2003) Facilitating DL-based hybrid reasoning with inference fusion.. Knowledge-Based Systems, volume 16, number 5-6, pages253-260, Elsevier Science, 2003 (Revised version of paper originally presented at ES' 2002). (
This is the latest version of this eprint.
Full text available as:
|PDF - Requires Adobe Acrobat Reader or other PDF viewer.|
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.
|Subjects:||AKT Challenges > Knowledge reuse|
AKT Challenges > Knowledge modelling
|Deposited By:||Ajit, Suraj|
|Deposited On:||24 February 2004|
Available Versions of this Item
- Facilitating DL-based hybrid reasoning with inference fusion. (deposited 24 February 2004) [Currently Displayed]
Contact the site administrator at: email@example.com