A Foundation for Hybrid Knowledge Bases

Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotated Logic Programming (GAP)[7] and employ an inference mechanism, HKB-resolution, that is considerably simpler than those that have been proposed for GAP. The simplicity of HKB-resolution is explained in this paper by showing that it is a special case of ✵-resolution, which was introduced in [9]. A generalization of ✵-resolution to lattices that are not ordinary is also explored.

• Type: Conference
• Year: 1999
• Where: FSTTCS
• Authors: James J. Lu, Neil V. Murray, Erik Rosenthal
• Keywords: Formal Models, FSTTCS 1999, Hybrid Knowledge Bases, Knowledge Bases, Software Engineering