Context in rules used in P2P semantic data integration system

Authors:
Grażyna Brzykcy;Jerzy Bartoszek
Affiliations:
Technical University of Poznan, Institute of Control and Information Engineering, Poznan, Poland;Technical University of Poznan, Institute of Control and Information Engineering, Poznan, Poland
Venue:
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Year:
2007

Citing 4
Cited 3

Logic and information

Logic and information
Towards a paradigm change in computer science and software engineering: a synthesis

The Knowledge Engineering Review
Towards Autonomic and Situation-Aware Communication Services: the CASCADAS Vision

DIS '06 Proceedings of the IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications
Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog

Journal of Systems and Software

Information Flow in a Peer-to-Peer Data Integration System

KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Data integration in a system with agents' models

KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
Information flow based specification of data integration problem

KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I

Quantified Score

Hi-index	0.00

Visualization

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 nonmonotonic 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.