We address the problem of how to reason about properties of knowledge transformations as they occur in distributed and decentralised interactions between large and complex artefacts, such as databases, web services, and ontologies. Based on the conceptual distinction between specifications of interactions and properties of knowledge transformations that follow from these interactions, we explore a novel mixture of process calculus and property inference by connecting interaction models with knowledge transformation rules. We aim at being generic in our exploration, hence our emphasis on abstract knowledge transformations, although we exemplify it using a lightweight specification language for interaction modelling (for which an executable peer-to-peer environment already exists) and provide a formal semantics for knowledge transformation rules using the theory of institutions. Consequently, our exploration is also an example of the gain obtained by linking current state-of-the-art distributed knowledge engineering based on web-services and peer-based architectures with formal methods drawn from a long tradition in algebraic specification.
Links:
[1] http://www.iiia.csic.es/en/individual/marco-schorlemmer
[2] http://www.iiia.csic.es/en/individual/dave-robertson
[3] http://doi.ieeecomputersociety.org/10.1109/TKDE.2010.265
[4] http://www.iiia.csic.es/en/publications/keyword/distributed knowledge systems
[5] http://www.iiia.csic.es/en/publications/keyword/interaction models
[6] http://www.iiia.csic.es/en/publications/keyword/knowledge transformation
[7] http://www.iiia.csic.es/en/publications/keyword/formal specification
[8] http://www.iiia.csic.es/en/publications/export/tagged/3701
[9] http://www.iiia.csic.es/en/publications/export/xml/3701
[10] http://www.iiia.csic.es/en/publications/export/bib/3701
[11] http://www.iiia.csic.es/en/project/at
[12] http://www.iiia.csic.es/en/project/sgr2009