Bo Hu
Infusion: a hybrid reasoning system with description logics.
Hu, Bo; Compatangelo, Ernesto; Arana, Inés
Authors
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
HU 2003 Infusion - a hybrid reasoning
(198 Kb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by-nc-nd/4.0/
You might also like
Real-time relative permeability prediction using deep learning.
(2018)
Journal Article
Dynamic agent prioritisation with penalties in distributed local search.
(2013)
Presentation / Conference Contribution
Multi-HDCS: solving DisCSPs with complex local problems cooperatively.
(2010)
Presentation / Conference Contribution
Downloadable Citations
About OpenAIR@RGU
Administrator e-mail: publications@rgu.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search