[USEMAP:CMU-title.gif] [USEMAP:cmu_logo.gif] Language for Semantic Web Services: OWL-S Home Applications Publications Research [robotri_down.gif] Semantic Web Technologies * Ontology Building * Semantic Web Services Discovery * Middle Agents + LARKS Match- maker + OWL-S Matching Engine * A2A * LAN Discovery Languages * OWL-S * LARKS Tools Service Composition Interaction Protocols [robotri.gif] MultiAgent Systems [robotri.gif] Electronic Commerce [robotri.gif] Security [robotri.gif] MAS Management [robotri.gif] Information Gathering [robotri.gif] Multi-Agent Learning [robotri.gif] MAS Interoperability Software News Lectures Project Grants Awards Site Map People [twixt_column_and_navbar.jpg] We are participating in the DARPA Agent Markup Language (DAML) initiative to develop OWL-S, a set of ontologies to describe functionalties of web services. The DARPA Agent Markup Language (Now "OWL") is an essential part of the Semantic Web, a world wide effort to construct a logically based markup language that will surpass current XML based markup languages. OWL represents semantic relations in machine-understandable ways, enabling automatic reasoning about web pages and the information that they contain. We are contributing to the development of the following for the development of the semantic web: * OWL-based language for advertising and locating agents, ontologies, and other entities * Tools to facilitate the writing of advertisements and queries * Matching engines and agent infrastructure (e.g., ontology agents) * Ontologies for + domain-specific agent services/capabilities + describing service parameters and request preferences + describing agent resources + describing agent security parameters + describing low-level services and platform characteristics * Agent search engines that serve as crawlers for the middle agent The main problem we are addressing is that of matching of web service capabilities, allowing web services to find each other based on functionality. Capability matching is crucial for the automatic collaboration of web services. We have implemented the Semantic Matchmaker, a DAML-S-based matching engine that allows web services to locate each other, providing a solution to the capability matching problem, and allowing full implementation of interoperative service providers on the web. More information is available at the DAML-ATLAS Web site. Robotics Institute Project Page Publications on OWL-S (DAML-S) and the Semantic Web follow. (See Publications page for complete list of publications). * L. Kagal, G. Denker, T. Finin, M. Paolucci, N. Srinivasan and K. Sycara, "An Approach to Confidentiality and Integrity for OWL-S", in Proceedings of AAAI 2004 Spring Symposium. * M. Paolucci, J. Soudry, N. Srinivasan, and K. Sycara, "Untangling the Broker Paradox in OWL-S", in Proceedings of AAAI 2004 Spring Symposium. * N. Srinivasan, M. Paolucci and K. Sycara, "Adding OWL-S to UDDI, implementation and throughput." First International Workshop on Semantic Web Services and Web Process Composition **(SWSWPC 2004) 6-9, 2004, San Diego, California, USA. * D. Martin, M. Paolucci, S. McIlraith, M. Burstein, D. McDermott, D. McGuinness, B. Parsia, T. R. Payne, M. Sabou, M. Solanki, N. Srinivasan, K. Sycara (SRI, CMU, Univ. Toronto) "Bringing Semantics to Web Services: The OWL-S Approach." First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004) 6-9, 2004, San Diego, California, USA. * K. Sycara and M. Paolucci, "Ontologies in Agent Architectures," in Handbook on Ontologies in Information Systems, 2004. * K. Sycara, M. Paolucci, A. Ankolekar and N. Srinivasan, "Automated Discovery, Interaction and Composition of Semantic Web services," Journal of Web Semantics, Volume 1, Issue 1, September 2003, pp. 27-46. * G. Denker, L. Kagal, T. Finin, M. Paolucci, N. Srinivasan, and K. Sycara, "Security For DAML Web Services: Annotation and Matchmaking" In Proceedings of the Second International Semantic Web Conference (ISWC 2003), Sandial Island, Fl, USA, October 2003, pp 335-350. * M. Paolucci, N. Srinivasan, K. Sycara, and T. Nishimura, "Toward a Semantic Choreography of Web Services: From WSDL to DAML-S" In Proceedings of the First International Conference on Web Services (ICWS'03), Las Vegas, Nevada, USA, June 2003, pp 22-26. + in .pdf + in .ps * T. Kawamura, J. A. De Blasio, T. Hasegawa, M. Paolucci, and K. Sycara, "A Preliminary Report of a Public Experiment of a Semantic Service Matchmaker combined with a UDDI Business Registry," 1st International Conference on Service Oriented Computing (ICSOC 2003), Trento, Italy, December 2003. * M. Paolucci, A. Ankolekar, N. Srinivasan and K. Sycara, "The DAML-S Virtual Machine," In Proceedings of the Second International Semantic Web Conference (ISWC), 2003, Sandial Island, Fl, USA, October 2003, pp 290-305. * M. Paolucci, and K. Sycara, "Autonomous Semantic Web Services." In IEEE Internet Computing, vol. 7, #5, September/October 2003, pp 34-41. * M. Paolucci, N. Srinivasan, K. Sycara, and T. Nishimura, "Towards a Semantic Web Ecommerce," in Proceedings of 6th Conference on Business Information Systems (BIS2003), Colorado Springs, Co, USA, June 2003, pp 153-161 . * * M. Paolucci, K. Sycara, T. Nishimura, and N. Srinivasan, "Using DAML-S for P2P Discovery," in Proceedings of the First International Conference on Web Services (ICWS'03), Las Vegas, Nevada, USA, June 2003, pp 203- 207 . * M. Paolucci, K. Sycara, and T. Kawamura, "Delivering Semantic Web Services," in Proceedings of the Twelves World Wide Web Conference (WWW2003), Budapest, Hungary, May 2003, pp 111- 118 . * R. Singh, K. Sycara, T. R. Payne, "Distributed AI, Schedules and the Semantic Web," in the XML Journal, Vol. 03, Number 11. * M. Paolucci, T. Kawamura, T. R. Payne, and K. Sycara, "Importing the Semantic Web in UDDI," in Proceedings of Web Services, E-business and Semantic Web Workshop + in .ps * A. Ankolekar, F. Huch, and K. Sycara, "Concurrent Semantics for the Web Services Specification Language DAML-S," in Proceedings of the Fifth International Conference on Coordination Models and Languages, York, UK, April 8-11, 2002. * T. R. Payne, R. Singh, and K. Sycara, "Calendar Agents on the Semantic Web," IEEE Intelligent Systems, Vol. 17(3), pp. 84-86, May/June 2002. Copyright 2002, IEEE Computer Society. Also appears in IEEE Distributed Systems Online, Vol. 3(5), 2002. * T. R. Payne, R. Singh, and K. Sycara, "RCal: A Case Study on Semantic Web Agents," in The First International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2002. * T. R. Payne, M. Paolucci, R. Singh, and K. Sycara, "Facilitating Message Exchange though Middle Agents." in The First International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2002. * A. Ankolekar, F. Huch, and K. Sycara, "Concurrent Execution Semantics for DAML-S with Subtypes," in The First International Semantic Web Conference (ISWC), 2002. * T. R. Payne, R. Singh, and K. Sycara, "Browsing Schedules - An Agent-based approach to navigating the Semantic Web," in The First International Semantic Web Conference (ISWC), 2002. * The DAML Services Coalition: A. Ankolekar, M. Burstein, J. R. Hobbs, O. Lassila, D. L. Martin, D. McDermott, S. A. McIlraith, S. Narayanan, M. Paolucci, T. R. Payne and K. Sycara. "DAML-S: Web Service Description for the Semantic Web." In The First International Semantic Web Conference (ISWC), 2002. * M., Takahiro Kawamura, T. R. Payne, and K. Sycara, "Semantic Matching of Web Services Capabilities," in Proceedings of the 1st International Semantic Web Conference (ISWC2002) + in .ps * Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, Katia Sycara; "Importing the Semantic Web in UDDI," in Proceedings of Web Services, E-business and Semantic Web Workshop * in .ps Anupriya Ankolekar, Frank Huch and Katia Sycara. "Concurrent Semantics for the Web Services Specification Language DAML-S," in Proceedings of the Fifth International Conference on Coordination Models and Languages, York, UK, April 8-11, 2002. Terry R. Payne, Rahul Singh, and Katia Sycara. "Calendar Agents on the Semantic Web." IEEE Intelligent Systems, Vol. 17(3), pp. 84-86, May/June 2002. Copyright 2002, IEEE Computer Society. Also appears in IEEE Distributed Systems Online, Vol. 3(5), 2002. Terry R. Payne, Rahul Singh, and Katia Sycara. "Browsing Schedules - An Agent-based approach to navigating the Semantic Web," in The First International Semantic Web Conference (ISWC), 2002. The DAML Services Coalition: Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Drew McDermott, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne and Katia Sycara. "DAML-S: Web Service Description for the Semantic Web," in The First International Semantic Web Conference (ISWC), 2002. Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, Katia Sycara; "Semantic Matching of Web Services Capabilities," in Proceedings of the 1st International Semantic Web Conference (ISWC2002) * in Ps The DAML Services Coalition: Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry Payne, Katia Sycara, Honglei Zeng. "DAML-S: Semantic Markup For Web Services," in Proceedings of the International Semantic Web Workshop, 2001 ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ Copyright 2001 © The Intelligent Software Agents Lab -The Robotics Institute - Carnegie Mellon University We welcome your comments and suggestions. ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ Internal Site (Restricted Access).