research-article

Semantic Web Services

Authors:

Sheila A. McIlraith,

Honglei ZengAuthors Info & Claims

IEEE Intelligent Systems, Volume 16, Issue 2

Pages 46 - 53

https://doi.org/10.1109/5254.920599

Published: 01 March 2001 Publication History

Abstract

The Web is evolving from a repository for text and images to a service provider-including information-providing services and services that have some effect on the world. Furthermore, today's Web was designed primarily for human use, but we are seeing increased automation of Web service interoperation, primarily in B2B and E-Commerce applications. Fundamental to reliable, large-scale interoperation of services by computer programs or agents is the need to make Web service properties, capabilities, interfaces, and effects understandable to computers-to create Semantic Web Services.In this article, the authors propose a vision and a partial realization of precisely this. They propose markup of Web services in the DAML family of semantic Web markup languages. Their markup of Web services enables a wide variety of agent technologies for automated Web service discovery, execution, composition, and interoperation. They present one logic-based agent technology for service composition, predicated on the use of reusable, task-specific, high-level generic procedures and user-specific customizing constraints.

References

[1]

J. Hendler, "Agents and the Semantic Web," IEEE Intelligent Systems, vol. 16, no. 2, Mar./Apr. 2001, pp. 30-37.]]

Digital Library

[2]

T. Berners-Lee M. Fischetti and T. M. Dertouzos, Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by its Inventor, Harper, San Francisco, 1999.]]

Digital Library

[3]

F. van Harmelen and I. Horrocks, "FAQs on OIL: The Ontology Inference Layer," IEEE Intelligent Systems, vol. 15, no. 6, Nov./Dec. 2000, pp. 69-72.]]

[4]

J. Hendler and D. McGuinness, "The DARPA Agent Markup Language," IEEE Intelligent Systems, vol. 15, no. 6, Nov./Dec. 2000, pp. 72-73.]]

[5]

G. De Giacomo Y. Lesperance and H. Levesque, "ConGolog, a Concurrent Programming Language Based on the Situation Calculus," Artificial Intelligence, vols. 1-2, no. 121, Aug. 2000, pp. 109-169.]]

Digital Library

[6]

K. Sycara, et al., "Dynamic Service Matchmaking among Agents in Open Information Environments," J. ACM SIGMOD Record, vol. 28, no. 1, Mar. 1999, pp. 47-53.]]

Digital Library

[7]

M. Ghallab, et al., PDDL: The Planning Domain Definition Language, Version 1.2, tech. report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, Yale Univ., New Haven, Conn., 1998.]]

[8]

S. McIlraith, "Modeling and Programming Devices and Web Agents," to be published in Proc. NASA Goddard Workshop Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science, Springer-Verlag, New York, 2001.]]

Digital Library

[9]

S. McIlraith and T.C. Son, "Adapting Golog for Programming the Semantic Web," to be published in Proc. 5th Symp. on Logical Formalizations of Commonsense Reasoning (Common Sense 2001), 2001.]]

[10]

D.L. Martin A.J. Cheyer and D.B. Moran, "The Open Agent Architecture: A Framework for Building Distributed Software Systems," Applied Artificial Intelligence, vol. 13, no. 1-2, Jan.-Mar. 1999, pp. 91-128.]]

[11]

R. Waldinger, "Deductive Composition of Web Software Agents," to be published in Proc. NASA Goddard Workshop Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science, Springer-Verlag, New York, 2001.]]

[12]

O. Etzioni and D. Weld, "A Softbot-Based Interface to the Internet," Comm. ACM, July 1994, vol. 37, no. 7, pp. 72-76.]]

Digital Library

[13]

V. R. Benjamins, et al., "IBROW3: An Intelligent Brokering Service for Knowledge-Component Reuse on the World Wide Web," Proc. 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'98), Banff, Canada, 1998; http://spuds.cpsc.ucalgary.ca/KAW/KAW98/KAW98Proc.html (current 20 Mar. 2001).]]

[14]

D. Fensel, "The Semantic Web and Its Languages," IEEE Intelligent Systems, vol. 15, no. 6, Nov./Dec. 2000, p. 67-73.]]

Digital Library

[15]

O. Lassila and R. Swick, Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation, World Wide Web Consortium, Feb. 1999; www.w3.org/TR/REC-rdf-syntax (current 11 Apr. 2001).]]

[16]

S. Luke and J. Heflin, SHOE 1.01. Proposed Specification, www.cs.umd.edu/projects/plus/SHOE/spec1.01.html, 2000 (current 20 Mar. 2001).]]

[17]

J. Hendler and D. McGuinness, "The DARPA Agent Markup Language," IEEE Intelligent Systems, vol. 15, no. 6, Nov./Dec. 2000, pp. 72-73.]]

[18]

F. van Harmelen and I. Horrocks, "FAQs on OIL: The Ontology Inference Layer," IEEE Intelligent Systems, vol. 15, no. 6, Nov./Dec. 2000, pp. 69-72.]]

Cited By

de Leng DBonte P(2024)Last Night in Sweden: A Vision for Resource-Intelligent Stream ReasoningProceedings of the 18th ACM International Conference on Distributed and Event-based Systems10.1145/3629104.3666035(103-109)Online publication date: 24-Jun-2024
https://dl.acm.org/doi/10.1145/3629104.3666035
Aamer HBogaerts BSurinx DTernovska EVan den Bussche J(2023)Inputs, Outputs, and Composition in the Logic of Information FlowsACM Transactions on Computational Logic10.1145/360455324:4(1-44)Online publication date: 25-Aug-2023
https://dl.acm.org/doi/10.1145/3604553
Sun CFu AJia JLi MHan J(2023)Improving Conformance of Web Services: A Constraint-based Model-driven ApproachACM Transactions on the Web10.1145/358051517:2(1-36)Online publication date: 27-Mar-2023
https://dl.acm.org/doi/10.1145/3580515
Show More Cited By

Index Terms

Semantic Web Services
1. Information systems
  1. World Wide Web
    1. Web applications

Index terms have been assigned to the content through auto-classification.

Recommendations

Bringing Semantics to Web Services with OWL-S

Current industry standards for describing Web Services focus on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the use of Web Services. Representational techniques being developed for the Semantic ...
Simulation, verification and automated composition of web services
WWW '02: Proceedings of the 11th international conference on World Wide Web

Web services -- Web-accessible programs and devices - are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our ...
Analysis and simulation of Web services
Special issue: The Semantic Web: an evolution for a revolution

Web services--Web-accessible programs and devices--are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Intelligent Systems

IEEE Intelligent Systems Volume 16, Issue 2

March 2001

82 pages

ISSN:1541-1672

Issue’s Table of Contents

Copyright © Copyright © 2001 IEEE. All Rights Reserved.

Publisher

IEEE Educational Activities Department

United States

Publication History

Published: 01 March 2001

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

350
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

de Leng DBonte P(2024)Last Night in Sweden: A Vision for Resource-Intelligent Stream ReasoningProceedings of the 18th ACM International Conference on Distributed and Event-based Systems10.1145/3629104.3666035(103-109)Online publication date: 24-Jun-2024
https://dl.acm.org/doi/10.1145/3629104.3666035
Aamer HBogaerts BSurinx DTernovska EVan den Bussche J(2023)Inputs, Outputs, and Composition in the Logic of Information FlowsACM Transactions on Computational Logic10.1145/360455324:4(1-44)Online publication date: 25-Aug-2023
https://dl.acm.org/doi/10.1145/3604553
Sun CFu AJia JLi MHan J(2023)Improving Conformance of Web Services: A Constraint-based Model-driven ApproachACM Transactions on the Web10.1145/358051517:2(1-36)Online publication date: 27-Mar-2023
https://dl.acm.org/doi/10.1145/3580515
Gamha Y(2023)A framework for REST services discovery and compositionService Oriented Computing and Applications10.1007/s11761-023-00376-617:4(259-275)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1007/s11761-023-00376-6
Belle VFisher MRusso AKomendantskaya ENottle A(2023)Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and ChallengesAutonomous Agents and Multiagent Systems. Best and Visionary Papers10.1007/978-3-031-56255-6_10(180-200)Online publication date: 29-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-56255-6_10
Bu HXia JWu QChen L(2022)Relationship Discovery and Hierarchical Embedding for Web Service Quality PredictionComputational Intelligence and Neuroscience10.1155/2022/92408432022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/9240843
Huang YZhuang YXue X(2022)Solving Ontology Metamatching Problem through Improved Multiobjective Particle Swarm Optimization AlgorithmWireless Communications & Mobile Computing10.1155/2022/16344322022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/1634432
Theissen-Lipp JKröger MHeinrichs BDecker S(2022)LISSU: Continuous Monitoring of SOA Communication with Constraint-Based ValidationSN Computer Science10.1007/s42979-022-01170-53:4Online publication date: 17-May-2022
https://dl.acm.org/doi/10.1007/s42979-022-01170-5
Blesik TBick MKummer T(2022)A Conceptualisation of Crowd KnowledgeInformation Systems Frontiers10.1007/s10796-021-10176-y24:5(1647-1665)Online publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1007/s10796-021-10176-y
Calegari RCiatto GMascardi VOmicini A(2021)Logic-based technologies for multi-agent systems: a systematic literature reviewAutonomous Agents and Multi-Agent Systems10.1007/s10458-020-09478-335:1Online publication date: 1-Apr-2021
https://dl.acm.org/doi/10.1007/s10458-020-09478-3
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents