Download:
|
by Sibel Adali, V. S. Subrahmanian
Univ. of Maryland
ftp://ftp.cs.umd.edu/pub/papers/papers/ncstrl.umcp/CS-TR-3243/CS-TR-3243.ps.Z
Add To MetaCart
Abstract:
Integrating knowledge from multiple sources is an important aspect of automated reasoning systems. In the first part of this series of papers, we presented a uniform declarative framework, based on annotated logics, for amalgamating multiple knowledge bases when these knowledge bases (possibly) contain inconsistencies, uncertainties, and non-monotonic modes of negation. We showed that annotated logics may be used, with some modifications, to mediate between different knowledge bases. The multiple knowledge bases are amalgamated by embedding the individual knowledge bases into a lattice. In this paper, we briefly describe an SLD-resolution based proof procedure that is sound and complete w.r.t. our declarative semantics. We will then develop an OLDT-resolution based query processing procedure, MULTI OLDT, that satisfies two important properties: (1) efficient reuse of previous computations is achieved by maintaining a table-- we describe the structure of this table and show that table operations can be efficiently executed, and (2) approximate, interruptable query answering is achieved, i.e. it is possible to obtain an "intermediate, approximate " answer from the QPP by interrupting it at any point in time during its execution. The design of the MULTI OLDT procedure will include: (1) development of data structures for tabling (substitution, truth value) pairs, and (2) the development of algorithms to incrementally and efficiently update the table. 1
Citations
|
845
|
Federated Database Systems for Managing Distributed, Heterogeneous and Autonomous Databases
– Larson
- 1990
|
|
284
|
An efficient unification algorithm
– Martelli, Montanari
- 1982
|
|
254
|
Magic Sets and Other Strange Ways to Implement Logic Programs
– Bancilhon, Maier, et al.
- 1986
|
|
188
|
A.: An alternating fixpoint of logic programs with negation. Journal of computer and system sciences 47
– Gelder
- 1993
|
|
183
|
OLDT resolution with tabulation
– Tamaki, Sato
- 1986
|
|
139
|
Theory of Generalized Annotated Logic Programming and its Applications
– Kifer, Subrahmanian
- 1992
|
|
128
|
Classifying Schematic and Data Heterogeneity in Multidatabase Systems
– Kim, Seo
- 1991
|
|
125
|
Language features for Interoperability of Databases with Schematic Discrepancies
– Krishnamurthy, Litwin, et al.
|
|
121
|
Magic templates: A spellbinding approach to logic programs
– RAMAKRISHNAN
- 1991
|
|
106
|
Memoing for logic programs
– Warren
- 1992
|
|
102
|
Database systems: Achievements and opportunities
– Silberschatz, Stonebraker, et al.
- 1991
|
|
96
|
Combining knowledge bases consisting of first-order theories
– Baral, Kraus, et al.
|
|
96
|
Amalgamating Knowledge Bases
– Subrahmanian
- 1994
|
|
91
|
HERMES: A heterogeneous reasoning and mediator system,” UMCP
– Subrahmanian, Adah, et al.
- 1996
|
|
83
|
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
– Baral, Subrahmanian
- 1991
|
|
67
|
Combining multiple knowledge bases
– Baral, Kraus, et al.
- 1991
|
|
63
|
Updating Logical Databases
– Fagin
- 1986
|
|
61
|
Dealing with granularity of time in temporal databases
– Wiederhold, Jajodia, et al.
- 1991
|
|
47
|
On the Power of Alexander Templates
– Seki
|
|
39
|
A goal-oriented approach to computing well founded semantics
– Chen, Warren
- 1992
|
|
35
|
Hybrid knowledge bases
– Lu, Nerode, et al.
- 1996
|
|
27
|
A Database-Complete Proof Procedure Based on SLD-Resolution
– Vieille
- 1987
|
|
25
|
A query evaluation method for stratified programs under the extended CWA
– Seki, Itoh
- 1988
|
|
16
|
Conflict Resolution of Rules Assigning Values to Virtual Attributes
– IOANNIDIS, SELLIS
- 1989
|
|
13
|
Paraconsistent disjunctive deductive databases
– Subrahmanian
- 1992
|
|
9
|
An algebra and calculus for relational multidatabase systems
– Grant, Litwin, et al.
- 1991
|
|
8
|
Extension Tables: Memo Relations
– Dietrich
- 1987
|
|
7
|
On the Power of
– Beeri, Ramakrishnan
- 1987
|
|
7
|
On the semantics of Updates
– Fagin, Ullman, et al.
- 1983
|
|
6
|
Querying Heterogeneous Databases: A Case Study, draft manuscript
– Lefebvre, Bernus, et al.
- 1992
|
|
5
|
RI: A Logic for Reasoning with
– Kifer, Lozinskii
- 1989
|
|
5
|
Computing Annotated Logic Programs
– Leach, Lu
- 1994
|
|
5
|
Logic-Based Approach for Realizing a Federated Information System
– Whang, Navathe, et al.
- 1991
|
|
4
|
On Maintaining
– Agrawal, Cochrane, et al.
- 1991
|
|
4
|
Extension Tables
– Dietrich, Warren
- 1986
|
|
2
|
Dealing with Multi-Source Information
– Dubois, Lang, et al.
- 1992
|
|
2
|
Signed Formulas and Annotated Logics, draft manuscript. Preliminary version in
– Lu, Murray, et al.
- 1993
|
|
1
|
A Useful Four Valued Logic, Modern Uses of Many Valued Logic, pp 8--37
– Belnap
- 1977
|
|
1
|
Amalgamating Knowledge Bases, Univ. of Maryland
– Subrahmanian
- 1992
|
