Extending Reasoning about Constrained Taxonomies

We investigate a new approach which extends the expressive and deductive powers of existing Description Logic (DL) based systems using Inference Fusion   the cooperative reasoning from distributed heterogeneous inference systems.

Our approachintegrates results from a DL reasoner with results from a constraint solver. Thus, our inference fusion system: (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 and presents the overall results.

Funding

• School of Computing (RGU)

Research Team

• Ines Arana (PI)
• Bo Hu

Publications

Hu, B, Arana, I, & E, C. (2003). Facilitating DL-based hybrid reasoning with inference fusion. In Knowledge Based Systems, Elsevier , Vol 16(5-6), page(s) 253-260

Hu, B., Arana, I., & Compatangelo, E. (2003). Inference Fusion: a hybrid approach to taxonomic reasoning. 16th International FLAIRS conference

Hu, B., Compatangelo, E., & Arana, I. (2003). Infusion: a hybrid reasoning system with Description Logics. 21st IASTED International Multiconference on Artificial Intelligence and Applications (AIA2003)

Hu, B., Arana, I., & Compatangelo, E. (2002). Facilitating DL-based Hybrid Reasoning with Inference Fusion. Twenty-second SGAI International Conference on Knowledge Based Systems and Applied Artificial Intelligence - Research and Development in Intelligent Systems XIX , on 10-12 December.

Hu, B., Compatangelo, E., & Arana, I. (2002). Coordinated reasoning with inference fusion. 6th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES'2002) , Podere d'Ombriano (Italy)

Hu, B., Compatangelo, E., & Arana, I. (2001). A hybrid approach to extend DL-based reasoning with concrete domains. KI-2001 workshop on Applications of Description Logics , Vienna, on 18 September 2001.