Show simple item record

Amalgamating Knowledge Bases, II - Distributed Mediators

dc.contributor.authorAdali, Sibelen_US
dc.contributor.authorSubrahmanian, V.S.en_US
dc.description.abstractIntegrating 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.extent374254 bytes
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-3124en_US
dc.relation.ispartofseriesUMIACS; UMIACS-TR-93-81en_US
dc.titleAmalgamating Knowledge Bases, II - Distributed Mediatorsen_US
dc.typeTechnical Reporten_US
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtUMIACS Technical Reportsen_US

Files in this item


This item appears in the following Collection(s)

Show simple item record