Sciweavers

Share
FSTTCS
1999
Springer

A Foundation for Hybrid Knowledge Bases

8 years 9 months ago
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.
James J. Lu, Neil V. Murray, Erik Rosenthal
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where FSTTCS
Authors James J. Lu, Neil V. Murray, Erik Rosenthal
Comments (0)
books