Now showing items 1-2 of 2

  • Infusion: a hybrid reasoning system with description logics. 

    Hu, Bo; Compatangelo, Ernesto; Arana, Ines (ACTA Press http://www.actapress.com/Content_of_Proceeding.aspx?proceedingid=237, 2003)
    HU, B., COMPATANGELO, E. and ARANA, I., 2003. Infusion fusion: a hybrid reasoning system with description logics. Third IASTED International Conference on Artificial Intelligence and Applications. 8-10 September 2003. Benalmadena, Spain. Pp. 327-332.
    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 ...
  • Knowledge modelling for a generic refinement framework 

    Boswell, Robin; Craw, Susan (Elsevier http://dx.doi.org/10.1016/S0950-7051(99)00018-0, 1999-10)
    BOSWELL, R. and CRAW, S., 1999. Knowledge modelling for a generic refinement framework. Knowledge Based Systems, 12 (5-6), pp. 317-325
    Refinement tools assist with debugging the knowledge-based system (KBS), thus easing the well-known knowledge acquisition bottleneck, and the more recently recognised maintenance overhead. The existing refinement tools ...