Vid integrering av peer-to-peer-data, uppnås varje peer-export data i form av sin egen schema, och data interoperation genom kartläggningar bland peer-scheman. Peers är autonoma system och kartläggningar skapas dynamiskt och ändras. En av utmaningarna i dessa system är att besvara frågor som ställs till en kamrat med hänsyn till kartläggningarna. Det är uppenbart att svar på frågor i hög grad beror på semantiken i det övergripande systemet. I detta dokument jämför vi den allmänt använda metoden att tolka peerto peer-system med en första ordningens semantik, med en alternativ metod baserad på epistemisk logik. Vi tar hänsyn till flera centrala egenskaper hos peer-to-peer-system: modularitet, generalitet och decisionability. Vi hävdar att den metod som bygger på epistemisk logik är överlägsen med avseende på alla ovanstående egenskaper. I synnerhet visar vi att i system där peers har decideable scheman och konjunktiva kartläggningar, men är godtyckligt sammankopplade, kan den första ordningen tillvägagångssätt leda till obeslutsamhet av frågesvar, medan den epistemiska metoden alltid bevarar decidability. Detta är en grundläggande egenskap, eftersom de faktiska sammankopplingarna mellan kamrater inte kontrolleras av någon aktör i systemet.
I REF, Calavanese et al. identifierar flera nackdelar med detta tillvägagångssätt, när det gäller modularitet, generalitet och decledability, och föreslår nya semantik baserade på epistemisk logik.
Logical foundations of peer-to-peer data integration
{'venue': "PODS '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}