Coordinated reasoning with inference fusion.
Bo Hu, Ernesto Compatangelo, Inés Arana · Open Access Institutional Repository at Robert Gordon University (Robert Gordon University) · 2002
Abstract We discuss a new approach which uses inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, in order to extend the scope of deductions based on description logics. More specifically, our approach integrates results from a description logics reasoner with results from a constraint