A Foundation for Hybrid Knowledge Bases

Authors:
James J. Lu;Neil V. Murray;Erik Rosenthal
Affiliations:
-;-;-
Venue:
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1999

Citing 11
Cited 1

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dealing with granularity of time in temporal databases

CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
Bilattices and the semantics of logic programming

Journal of Logic Programming
Mediators in the Architecture of Future Information Systems

Computer
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
Intelligent integration of information

SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)
A Framework for Automated Reasoning in Multiple-Valued Logics

Journal of Automated Reasoning
Hybrid Knowledge Bases

IEEE Transactions on Knowledge and Data Engineering
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence

Inference for Annotated Logics over Distributive Lattices

ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems

Quantified Score

Hi-index	0.03

Visualization

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.