Knowledge-based coordination with a reliable semantic subscription mechanism

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 1374-1380

  Murth, Martin ^a   Kühn, Eva ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Coordination model; Knowledge based coordination; Logic based reasoning; Reliable subscription mechanism

Indexed keywords

ADDED VALUES; BEHAVIORAL SEMANTICS; COMPLEX DATA; COORDINATION MODEL; ENTERPRISE INFORMA-TION SYSTEMS; FORMAL DEFINITION; INTEGRATION OF HETEROGENEOUS INFORMATION; PROTOTYPE IMPLEMENTATIONS; RESEARCH INITIATIVES; SEMANTIC TECHNOLOGIES;

COMPUTER CRIME; COMPUTER SCIENCE; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; SEMANTIC WEB; SEMANTICS; SOFTWARE PROTOTYPING;

COORDINATION REACTIONS;

EID: 72949089899     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529588     Document Type: Conference Paper

References (29)

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 3rd 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. 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. 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. 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. 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.