Abstract
We use situation theory to model context of agents’ actions in heterogeneous P2P system of semantic data integration. This formal basis is also suitable to cope with information partiality, open-world and non-monotonic reasoning. Operational semantics of asking and answering queries by the agents is presented as a set of context-dependent rules. Situations are represented by facts and rules and Prolog-like reasoning mechanisms are used in the system. Specification of sample actions is presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akman, V., Surav, M.: The Use of Situation Theory in Context Modeling. Computational Intelligence 12 (4) (1996)
Brzykcy G., Bartoszek J., Pankowski T.: Semantic data integration in P2P environment using schema mappings and agent technology. In: Proceedings of AMSTA 2007 (to appear, 2007)
Barwise, J., Perry, J.: Situations and attitudes. MIT Press, Cambridge (1983)
Devlin, K.: Logic and information. Cambridge University Press, New York (1991)
Loke, S.W.: Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog. Journal of Systems and Software 79(4), 523–536 (2006)
Manzalini, A., Zambonelli, F.: Towards Autonomic and Situation-Aware Communication Services: the CASCADAS Vision. In: IEEE DIS Workshop, Prague (2006)
Zambonelli, F., Van Dyke Parunak, H.: Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis. The Knowledge Engineering Review (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Brzykcy, G., Bartoszek, J. (2007). Context in Rules Used in P2P Semantic Data Integration System. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)