Knowledge-based coordination with a reliable semantic subscription mechanism

ABSTRACT

Semantic technologies promise to solve challenging problems of current enterprise information systems, e.g., the integration of heterogeneous information clients and the evaluation of complex data dependencies. As many of these problems also apply to coordination applications, recent research initiatives have proposed to integrate coordination models with semantic technology. In this paper, we present such an integrated coordination model which combines logic-based reasoning with a reliable semantic subscription mechanism. We present a formal definition of the model's behavioral semantics and investigate the added value of using semantic technologies. Finally, we draw first conclusions about the practical applicability of the proposed approach based on performance benchmarks of a prototype implementation.

References

1. Alpern, B., Schneider, F. B. Defining liveness. Information Processing Letters, 1985.
2. Andrews, P. D. An introduction to mathematical logic and type theory: to truth through proof. Kluwer Academic Publishers, 2002.
3. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., Patel-Schneider, P. F. The description logic handbook: theory, implementation, applications. Cambridge University Press, Cambridge, UK, 2003.
4. Catarci, T. And Lenzerini, M. Representing and using interschema knowledge in cooperative information systems. Journal of Intelligent and Cooperative Information Systems, 2(4): 375--398, 1993.
5. Feng, M. D., Gao, Y. Q., and Yuen, C. K. Distributed Linda Tuplespace Algorithms and Implementations. In Proc. of the 3^rd Joint Int'l Conf. on Vector and Parallel Processing, 1994.
6. Fensel, D., Kühn, e., Leymann, F., and Tolksdorf, R. Queues Are Spaces - Yet Still Both Are Not The Same? Technical Report, DERI, Univ. Innsbruck, October 2007.
7. Fensel, D., Krummenacher, R., Shafiq, O., Kühn, e., Riemer, J., Ding, Y., and Draxler, B. TSC - Triple Space Computing, In Special issue on ICT research in Austria, Journal of Electronics & Information Technology (e&i Elektrotechnik & Informationstechnik), January-February, 2007.
8. Fiege, L., Mühl, G., F. C. Gärtner. A modular approach to build structured event-based systems. In Proc. of 2002 ACM Symposium on Applied Computing (SAC'02). ACM, 2002.
9. Gelernter, D. Generative Communication in Linda, In ACM Transactions in Programming Languages and Systems (TOPLAS), 7(1), 80--112, 1985.
10. Gigaspaces. http://www.gigaspaces.com: August 2008.
11. Guo, Y., Pan, Z., Heflin, J. LUBM: A Benchmark for OWL Knowledge Base Systems. In Journal of Web Semantics 3(2), 2005, pp158--182.
12. Halaschek-Wiener, C., Parsia, B., Sirin, E.: Description Logic Reasoning with Syntactic Updates. OTM Conferences (1) 2006: 722--737.
13. Hohpe, G, Woolf, B. Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, Addison-Wesley Professional, 2003.
14. Khushraj, D., Lassila, O. and Finin, T. W. sTuples: Semantic Tuple Spaces. In 1st Ann. Int'l Conf. on Mobile and Ubiquitous Systems, August 2004.
15. Kröger, F. Temporal Logic of Programs. Springer, 1987.
16. Kühn, e. Virtual shared memory for distributed architecture. Nova Science Publishers, 2001.
17. Kühn, e., Mordinyi, R., Schreiber, C. An Extensible Space-based Coordination Approach for Modeling Complex Patterns in Large Systems. In: Proc. of 3^rd Int'l Symp. on Leveraging Applications of Formal Methods (ISOLA), 2008.
18. Luckham, D. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley, 2002.
19. Manola, F. and Miller, E. RDF Primer W3C-Recommend., 2004. Available at: http://www.w3.org/TR/rdf-primer/
20. McGuinness, D. L. and van Harmelen, F. OWL Web Ontology Language, W3C Recommendation, 2004. Available at: http://www.w3.org/TR/owl-features/
21. Murth, M. and Kühn, e. Knowledge-driven coordination using a semantic event notification service. In Proc. of 1^st Int'l workshop on emergent semantics and cooperation in open systems (ESTEEM). Rome, Italy, 2008.
22. Mühl, G., Fiege, L., Pietzuch, P. R. Distributed event-based systems, Springer-Verlag, 2006.
23. Nixon, L. J. B., Paslaru Bontas Simperl, E., Antonenko, O., and Tolksdorf, R. Towards Semantic Tuplespace Computing: The Semantic Web Spaces System. In 22nd Ann. ACM Symposium on Applied Computing, March 2007.
24. Nixon, L. J. B., Simperl, E., Krummenacher, R., and Martin-Recuerda, F.: Tuplespace-based computing for the Semantic Web: a survey of the state-of-the-art. The Knowledge Engineering Review, Volume 23, Issue 02, 2008.
25. Ontotext. OWLIM Fact Sheet, available at: http://www.ontotext.com/owlim/OWLIMFactSheet.pdf
26. Petrovic, M., Liu, H., and Jacobsen, H. G-ToPSS: fast filtering of graph-based metadata. In Procc of the 14^th Intl. Conf. on World Wide Web (WWW '05), ACM Press, 2005.
27. RDFCube. Database grid grid - RDFCube. Available at: http://projects.gtrc.aist.go.jp/dbwiki/pukiwiki.php?RDFCub,
28. Simperl, E., Krummenacher, R., and Nixon, L. A Coordination Model for Triplespace Computing. In Proc. of: 9^th Int'l Conf. on Coordination Models and Languages, 2007.
29. Wang, J., Jin, B., and Li, J. An Ontology-Based Publish/Subscribe System. In Proceedings of the 5th ACM/IFIP/USENIX Intl. Conf. on Middleware, 2004.

Index Terms

• Computing methodologies

  • Artificial intelligence

    • Knowledge representation and reasoning