The Community for Technology Leaders
RSS Icon
Issue No.09 - September (2011 vol.23)
pp: 1419-1431
Marco Schorlemmer , Artificial Intelligence Research Institute, IIIA-CSIC, Barcelona
David Robertson , The University of Edinburgh, Edinburgh
We address the problem of how to reason about properties of knowledge transformations as they occur in distributed and decentralized interactions between large and complex artifacts, 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 modeling (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.
Distributed knowledge systems, interaction models, knowledge transformation, formal specification.
Marco Schorlemmer, David Robertson, "Reasoning about Distributed Knowledge-Transforming Peer Interactions", IEEE Transactions on Knowledge & Data Engineering, vol.23, no. 9, pp. 1419-1431, September 2011, doi:10.1109/TKDE.2010.265
[1] P. Bernstein, A. Halevy, and R. Pottinger, "Model Management: Managing Complex Information Structures," ACM Special Interest Group on Management of Data, vol. 29, no. 4, pp. 55-63, 2000.
[2] M. Bonifacio, P. Bouquet, and R. Cuel, "Knowledge Nodes: The Building Blocks of a Distributed Approach to Knowledge Management," J. Universal Computer Science, vol. 8, no. 6, pp. 652-661, 2002.
[3] M. Bonifacio, P. Bouquet, G. Mameli, and M. Nori, "Peer-Mediated Distributed Knowledge Management," Proc. Int'l Symp. Agent-Mediated Knowledge Management (AMKM '03), Revised and Invited Papers, LNCS, vol. 2926, pp. 31-47, 2003.
[4] M. Bonifacio, P. Bouquet, and P. Traverso, "Enabling Distributed Knowledge Management: Managerial and Technological Implications," Informatik/Informatique, vol. III, no. 1, pp. 24-30, 2002.
[5] M. Bonifacio, P. Camussone, and C. Zini, "Managing the KM Trade-Off: Knowledge Centralization versus Distribution," J. Universal Compter Science, vol. 10, no. 3, pp. 162-175, 2004.
[6] P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, "Tropos: An Agent-Oriented Software Development Methodology," Autonomous Agents and Multi-Agent Systems, vol. 8, no. 3, pp. 203-236, 2004.
[7] P. Buneman, S. Kharma, and W. Tan, "Why and Where: A Characterisation of Data Provenance," Proc. Eighth Int'l Conf. Database Theory (ICDT), LNCS, vol. 1973, pp. 316-330, 2001.
[8] F. Corrêa da Silva and J. Agustí, Knowledge Coordination. Wiley, 2003.
[9] F. Corrêa da Silva, W. Vasconcelos, D. Robertson, V. Brilhante, A. de Melo, M. Finger, and J. Agustí, "On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions," Knowledge-Based Systems, vol. 15, no. 3, pp. 147-167, 2002.
[10] K. Devlin, InfoSense: Truning Information into Knowledge. W.H. Freeman and Company, 2001.
[11] D. Dou, D. McDermott, and P. Qi, "Ontology Translation on the Semantic Web," J. Data Semantics II, LNCS, vol. 3360, pp. 35-57, 2005.
[12] J. Euzenat and P. Shvaiko, Ontology Matching. Springer, 2007.
[13] A. Farquhar, R. Fikes, and J. Rice, "The Ontolingua Server: A Tool for Collaborative Ontology Construction," Int'l J. Human-Computer Studies, vol. 46, no. 6, pp. 707-727, 1997.
[14] J. Goguen and R. Burstall, "Institutions: Abstract Model Theory for Specification and Programming," J. ACM, vol. 39, no. 1, pp. 95-146, 1992.
[15] J. Goguen and G. Roşu, "Institution Morphisms," Formal Aspects of Computing, vol. 13, pp. 204-307, 2002.
[16] T. Gruber, "A Translation Approach for Portable Ontology Specifications," Knowledge Eng., vol. 5, no. 2, pp. 199-220, 1993.
[17] N. Guarino, "Understanding, Building and Using Ontologies," Int'l J. Human-Computer Studies, vol. 46, pp. 293-310, 1997.
[18] V. Haarslev and R. Möller, "RACER System Description," Proc. Int'l Joint Conf. Automated Reasoning (IJAR), LNCS, vol. 2083, pp. 701-705, 2001.
[19] I. Horrocks, "Using an Expressive Description Logic: FaCT of Fiction?," Proc. Sixth Int'l Conf. Principles of Knowledge Representation and Reasoning, pp. 636-647, June 1998.
[20] Joint Technical Committee ISO/IEC JTC 1, Subcommittee SC 32, "Information Technology—Common Logic (CL): A Framework for a Family of Logic-Based Languages," Int'l Standard ISO/IEC 24707:2007(E), 2007.
[21] Y. Kalfoglou and M. Schorlemmer, "Ontology Mapping: The State of the Art," The Knowledge Eng. Rev., vol. 18, no. 1, pp. 1-31, 2003.
[22] R.E. Kent, "The Information Flow Foundation for Conceptual Knowledge Organization," Proc. Sixth Int'l Conf. Int'l Soc. for Knowledge Organization, July 2000.
[23] M. Klein and N. Noy, "A Component-Based Framework for Ontology Evolution," Proc. IJCAI '03: Workshop Ontologies and Distributed Systems, 2003.
[24] D. Lucanu, Y.F. Li, and J.S. Dong, "Semantic Web Languages— Towards an Institutional Perspective," Algebra, Meaning, and Computation, LNCS, vol. 4060, pp. 99-123, Springer, 2006.
[25] T. Miller and J. McGinnis, "Amongst First-Class Protocols," Proc. Eighth Int'l Workshop Eng. Societies in the Agents World VIII, Revised Selected Papers, LNCS, vol. 4995, pp. 208-223, 2008.
[26] N. Noy and M. Musen, "Ontology Versioning in an Ontology-Management Framework," IEEE Intelligent Systems, vol. 19, no. 4, pp. 6-13, July/Aug. 2004.
[27] N. Noy and M. Musen, "Specifying Ontology Views by Traversal," Proc. Third Int'l Semantic Web Conf. Semantic Web (ISWC), LNCS, vol. 3298, pp. 713-725, 2004.
[28] N. Noy, M. Sintek, S. Decker, M. Crubezy, R. Fergerson, and M. Musen, "Creating Semantic Web Contents with Protégé-2000," IEEE Intelligent Systems, vol. 16, no. 2, pp. 60-71, Mar./Apr. 2001.
[29] T. Oinn, M. Addis, J. Ferris, D. Marvin, M. Senger, M. Greenwood, T. Carver, K. Glover, M.R. Pocock, A. Wipat, and P. Li, "Taverna: A Tool for the Composition and Enactment of Bioinformatics Workflows," Bioinformatics, vol. 20, no. 17, pp. 3045-3054, 2004.
[30] A. Perreau de Pinninck, D. Dupplaw, S. Kotoulas, and R. Siebes, "The OpenKnowledge Kernel," Int'l J. Applied Math. and Computer Sciences, vol. 4, no. 3, pp. 162-167, 2007.
[31] E. Rahm and P.A. Bernstein, "A Survey of Approaches to Automatic Schema Matching," The Int'l J. Very Large Data Bases, vol. 10, no. 4, pp. 334-350, 2001.
[32] D. Robertson, "Multi-Agent Coordination as Distributed Logic Programming," Proc. 20th Int'l Conf. Logic Programming (ICLP), LNCS, vol. 3132, pp. 416-430, 2004.
[33] D. Robertson, F. Giunchiglia, F. van Harmelen, M. Marchese, M. Sabou, M. Schorlemmer, N. Shadbolt, R. Siebes, C. Sierra, C. Walton, S. Dasmahapatra, D. Dupplaw, P. Lewis, M. Yatskevich, S. Kotoulas, A. Perreau de Pinninck, and A. Loizou, "Open Knowledge—Coordinating Knowledge Sharing through Peer-to-Peer Interaction," Proc. First Int'l Workshop Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS), LNAI, vol. 5118, pp. 1-18, 2008.
[34] M. Schorlemmer and M. Atencia, "Semantic Alignment in the Context of Agent Interaction," Proc. Workshop Formal Approaches to Multi-Agent Systems (FAMAS '07), pp. 117-134, Sept. 2007.
[35] M. Schorlemmer, S. Potter, D. Robertson, and D. Sleeman, "Knowledge Life-Cycle Management Over a Distributed Architecture," Expert Update, vol. 5, no. 3, pp. 2-19, 2002.
[36] Y. Simmhan, B. Plale, and D. Gannon, "A Survey of Data Provenance in e-Science," ACM Special Interest Group on Management of Data, vol. 34, no. 3, pp. 31-36, 2005.
[37] D. Sleeman, S. Potter, D. Robertson, and M. Schorlemmer, "Ontology Extraction in Distributed Environments," Knowledge Transformation for the Semantic Web: Frontiers in Artificial Intelligence and Applications, vol. 95, pp. 80-91, IOS Press, 2003.
[38] Y.V. Srinivas and R. Jüllig, "Specware: Formal Support for Composing Software," Proc. Conf. Math. of Program Construction (MPC '95), LNCS, vol. 947, pp. 399-422, 1995.
[39] M. Uschold, M. Healy, K. Williamson, P. Clark, and S. Woods, "Onology Reuse and Application," Proc. First Int'l Conf. Formal Ontology in Information Systems (FOIS '98), Frontiers in Artificial Intelligence and Applications, vol. 46, pp. 179-192, 1998.
[40] J. van Diggelen and V. Dignum, "Special Issue on Agent-Mediated Knowledge Management," Int'l J. Knowledge-Based and Intelligent Eng. Systems, vol. 10, no. 4, pp. 259-261, 2006.
[41] L. van Elst, V. Dignum, and A. Abecker, eds., Proc. Int'l Symp. Agent-Mediated Knowledge Management (AMKM '03), Revised and Invited Papers, LNCS, vol. 2926, 2004.
[42] S. Willmott, G. Vreeswijk, M. South, C. Chesñevar, G. Simari, J. McGinis, and I. Rahwa, "Towards an Argument Interchange Format for Multiagent Systems," Proc. Third Int'l Workshop Argumentation in Multi-Agent Systems, 2006.
[43] M. Wooldridge, N.R. Jennings, and D. Kinny, "The Gaia Methodology for Agent-Oriented Analysis and Design," Autonomous Agents and Multi-Agent Systems, vol. 3, pp. 285-312, 2000.
[44] A. Zimmermann, M. Krötzsch, J. Euzenat, and P. Hitzler, "Formalizing Ontology Alignment and Its Operations with Category Theory," Proc. Int'l Conf. Formal Ontology in Information Systems (FOIS), Frontiers in Artificial Intelligence and Applications, vol. 150, pp. 277-288, 2006.
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool