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 υ{phonetic}-resolution, which was introduced in [9]. A generalization of υ{phonetic}-resolution to lattices that are not ordinary is also explored. © Springer-Verlag Berlin Heidelberg 1999.
CITATION STYLE
Lu, J. J., Murray, N. V., & Rosenthal, E. (1999). A foundation for hybrid knowledge bases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1738, pp. 155–167). Springer Verlag. https://doi.org/10.1007/3-540-46691-6_12
Mendeley helps you to discover research relevant for your work.