OpenAIR @ RGU >
Design and Technology >
Computing >
Journal articles (Computing) >

Please use this identifier to cite or link to this item:
This item has been viewed 2 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
Arana - Facilitating DL-based hybrid.pdf304.83 kBAdobe PDFView/Open
Title: Facilitating DL-based hybrid reasoning with inference fusion.
Authors: Hu, Bo
Arana, Ines
Compatangelo, Ernesto
Keywords: Descriptive logics
Hybrid reasoning
Constraint reasoning
Issue Date: Jul-2003
Publisher: Elsevier
Citation: HU, B., ARANA, I. and COMPATANGELO, E., 2003. Facilitating DLbased hybrid reasoning with inference fusion. Knowledge Based Systems, 16 (5-6), pp. 42-48.
Abstract: We present an extension to DL-based taxonomic reasoning by means of 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 ( (D)/S) and a reasoning system (Concor) which uses knowledge bases written in (D)/S and supports hybrid reasoning. We illustrate our ideas with an example.
ISSN: 0950-7051
Appears in Collections:Journal articles (Computing)

All items in OpenAIR are protected by copyright, with all rights reserved.


   Disclaimer | Freedom of Information | Privacy Statement |Copyright ©2012 Robert Gordon University, Garthdee House, Garthdee Road, Aberdeen, AB10 7QB, Scotland, UK: a Scottish charity, registration No. SC013781