P.L. Mott and S. A. Roberts, A Formalism for Context Mediation based on Feature Logic. University of Leeds, School of Computer Studies Research Report 98.04 (1998) (submitted for publication). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Modelling the Semantics of Human-Computer Systems - Hemingway, Rollinson (1998) (Correct)
....users is only meaningful when the user community is aware of the assumptions implicit in the conventional use of the data source. When accessed by a foreign user, such implicit assumptions must be made explicit. Feature logics are one technical approach to encode the context of such data sources [16]. It is instructive to note that concern over context mediation arises from the connection of data sources designed using traditional data modeling techniques, some limitations of which have already been noted. A key motivation for the framework presented below is to consider how the diversity in ....
Mott, P.L., and Roberts, S.A. A Formalism for Context Mediation Based on Feature Logic, Research Report 98.04, School of Computer Studies, University of Leeds, February 1998.
A Formalism for Context Mediation Based on Feature Logic - Mott, Roberts (1998) (1 citation) Self-citation (Mott Roberts) (Correct)
....We call this export . The second thing a broker does is import previously qualified data into a user community (which is thereby a data consumer) The broker translates the data to correspond with the implicit assumptions of the user community, and removes the now unneeded qualification. In [MR98] we gave a context value formalism that allows us both to qualify data and to describe user contexts and defined formal operations of import and export over that formalism. However that paper included no architecture for exploiting the formalism, which we now provide. We shall briefly describe the ....
....to support a more general querying mechanism. Both of these approaches are clearly logic based as is our current (pilot) system which is implemented in XPCE Prolog [WA92] Appendix We give here the formal definitions of the context value formalism and the import and export operations. The paper [MR98] contains a semantics based on feature structures for context value formulas, an equational logic for context value formulas, and a completeness theorem for the logic. The import and export operations are explained in more detail there though they are given in a less general and flexible form than ....
[Article contains additional citation context not shown here]
P.L. Mott and S. A. Roberts, A Formalism for Context Mediation based on Feature Logic. University of Leeds, School of Computer Studies Research Report 98.04 (1998) (submitted for publication).
A Multi-Broker Architecture For Sharing Information Amongst.. - Mott, Roberts Self-citation (Roberts) (Correct)
....database. Some of these assumptions may be made explicit to the intended user community, but much will remain implicit (for example the currency and calendar that are being used) If the data were made more widely available misunderstanding would be likely to arise owing to divergent assumptions [1,2]. To prevent this some form of translation needs to be provided so that at any point the data presented matches so far as is possible the assumptions of the user. Any information system that needs to use widely distributed data will require such functionality which suggests that mechanisms for ....
....function is then invoked on SALARY= 25000 CURRENCY = pounds and SALARY= CURRENCY = dollars to yield the result SALARY=40000 which can be used by dc. This process of translation and stripping using context we call import. This description is very much simplified, full details are in [2]. In particular we there define a Context Value Formalism based on Feature Logic that allows us to represent the qualified items of information in a uniform way. The expressions of this formalism we call cvf s (context value formulas) 1 dp dc dc1 b1 b Figure 1: Consider the simple network ....
Mott, PL and SA Roberts, 1998. A Formalism for Context Mediation based on Feature Logic University of Leeds, School of Computer Studies Research Report 98.04. To appear in the International Journal Of Co-operative Information Systems.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC