dc.contributor.author | Adali, Sibel | en_US |
dc.contributor.author | Subrahmanian, V.S. | en_US |
dc.date.accessioned | 2004-05-31T22:24:01Z | |
dc.date.available | 2004-05-31T22:24:01Z | |
dc.date.created | 1993-08 | en_US |
dc.date.issued | 1998-10-15 | en_US |
dc.identifier.uri | http://hdl.handle.net/1903/597 | |
dc.description.abstract | Integrating knowledge from multiple sources is an important
aspect of automated reasoning systems.In previous work, we presented
a uniform declarative and operational framework, based on annotated logics,
for amalgamating multiple knowledge bases and data structures (e.g.
relational, object-oriented, spatial, and temporal structures) 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 <em>mediate</em> between different
knowledge bases. The multiple knowledge bases are amalgamated
by embedding the individual knowledge bases into a lattice.
In this paper, we describe how, given a network of sites
where the different databases reside, it is possible to define
a distributed semantics for amalgamated knowledge bases.
More importantly, we study how the mediator may be distributed
across multiple sites so that when certain conditions are
satisfied, network failures do not affect the end results of queries that
a user may pose. We specify different ways of distributing the mediator
to protect against different types of network link failures and develop
alternative soundness and completeness results.
(Also cross-referenced as UMIACS-TR-93-81) | en_US |
dc.format.extent | 374254 bytes | |
dc.format.mimetype | application/postscript | |
dc.language.iso | en_US | |
dc.relation.ispartofseries | UM Computer Science Department; CS-TR-3124 | en_US |
dc.relation.ispartofseries | UMIACS; UMIACS-TR-93-81 | en_US |
dc.title | Amalgamating Knowledge Bases, II - Distributed Mediators | en_US |
dc.type | Technical Report | en_US |
dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |