Abstract
The research area of Semantic Web Services investigates the annotation of services, typically in a SOA, with a precise mathematical meaning in a formal ontology. These annotations allow a higher degree of automation. The last decade has seen a wide proliferation of such approaches, proposing different ontology languages, and paradigms for employing these in practice. The next chapter gives an overview of these approaches. In the present chapter, we provide an understanding of the fundamental techniques, from Artificial Intelligence and Databases, on which they are built. We give a concise, ontology-language independent, overview of the techniques most frequently used to automate service discovery and composition.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
International health terminology standards development organisation - SNOMED CT. http://www.ihtsdo.org/snomed-ct/.
A. Ankolekar et al. DAML-S: Web service description for the semantic web. In ISWC, 2002.
V. Agarwal, G. Chafle, K. Dasgupta, N. Karnik, A. Kumar, S. Mittal, and B. Srivastava. Synthy: A system for end to end composition of web services. J. Web Semantics, 3(4), 2005.
R. Akkiraju, B. Srivastava, A. Ivan, R. Goodwin, and T. Syeda-Mahmood. Semaplan: Combining planning with semantic matching to achieve web service composition. In Proc. of IEEE International Conference on Web Services (ICWS’06), 2006.
J. L. Ambite and D. Kapoor. Argos: a framework for automatically generating data processing workflows. In Proc. of the 8th annual international conference on Digital government research (dg.o’07), 2007.
M. Arenas, L. Bertossi, and J. Chomicki. Specifying and Querying Database Repairs using Logic Programs with Exceptions. In Proc. of the 4th International Conference on Flexible Query Answering Systems, pages 27–41. Springer, 2000.
ASTRO. Project ASTRO: Supporting the Composition of Distributed Business Processes - http://astroproject.org.
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.
P. Bertoli, J. Hoffmann, F. Lecue, and M. Pistore. Integrating discovery and automated composition: from semantic requirements to executable code. In Proceedings of the IEEE 2007 International Conference on Web Services (ICWS’07), 2007.
P. Bertoli, R. Kazhamiakin, M. Paolucci, M. Pistore, H. Raik, and M. Wagner. Control Flow Requirements for Automated Service Composition. In Proc. of the IEEE International Conference on Web Services (ICWS09), 2009.
P. Bertoli, M. Pistore, and P. Traverso. Automated composition of web services via planning in asynchronous domains. Journal of Artif. Intell., 174:316–361, March 2010.
S. Biundo, R. Aylett, M. Beetz, D. Borrajo, A. Cesta, T. Grant, L. McCluskey, A. Milani, and G. Verfaillie. PLANET Technological Roadmap on AI Planning and Scheduling. http://planet.dfki.de/service/Resources/Roadmap/Roadmap2.pdf, Dec. 2003.
D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The l-lite family. Journal of Automed Reasoning, 39(3):385–429, 2007.
A. Cimatti, F. Giunchiglia, E. Giunchiglia, and P. Traverso. Planning via model checking: A decision procedure for ar. In Proc. of the 4th European Conference on Planning, pages 130–142, 1997.
A. Cimatti, F. Giunchiglia, E. Giunchiglia, and P. Traverso. Planning as model checking. In Proc. of ECP, pages 1–20, 1999.
A. Cimatti, M. Roveri, and P. Bertoli. Conformant planning via symbolic model checking and heuristic search. Artificial Intelligence, 159(1–2):127–206, 2004.
T. O. S. Coalition. OWL-S: Semantic Markup for Web Services, 2003.
I. Constantinescu, B. Faltings, and W. Binder. Large scale, type-compatible service composition. In 2nd International Conference on Web Services (ICWS-04), pages 506–513, 2004.
E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 33(3):374–425, 2001.
J. de Bruijn and S. Heymans. A semantic framework for language layering in wsml. In M. Marchiori, J. Z. Pan, and C. de Sainte Marie, editors, Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR 2007), volume 4524 of Lecture Notes in Computer Science, pages 103–117. Springer, 2007.
T. Eiter, W. Faber, N. Leone, and G. Pfeifer. The Diagnosis Frontend of the dlv System. AI Communications, 12(1–2):99–111, 1999.
T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A logic programming approach to knowledge-state planning, II: The DLVK system. Artificial Intelligence, 144(1-2):157–211, 2003.
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the Semantic Web. Artificial Intelligence, 172(12–13):1495–1539, 2008.
D. Fensel, H. Lausen, A. Polleres, J. de Bruijn, M. Stollberg, D. Roman, and J. Domingue. Enabling Semantic Web Services– The Web Service Modeling Ontology. Springer-Verlag, 2006.
R. E. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208, 1971.
M. Fox and D. Long. PDDL2.1: An extension to PDDL for expressing temporal planning domains. J. Artificial Intelligence Research, 20:61–124, 2003.
A. V. Gelder, K. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. JACM, 38(3):620–650, 1991.
M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Proc. of International Conference on Logic Programming (ICLP 1988), pages 1070–1080. MIT Press, 1988.
A. Gerevini, P. Haslum, D. Long, A. Saetti, and Y. Dimopoulos. Deterministic planning in the fifth international planning competition: Pddl3 and experimental evaluation of the planners. Artificial Intelligence, 173(5–6):619–668, 2009.
M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann/Elsevier, 2004.
A. Gonzalez-Ferrer, J. Fernandez-Olivares, and L. Castillo. JABBAH: a java application framework for the translation between business process models and htn. In Proceedings of the 3rd International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS’09), 2009.
B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In Proc. WWW 2003, pages 48–57. ACM, 2003.
V. Haarslev and R. Moller. Description of the RACER system and its applications. In Proc. of Description Logics 2001, 2001.
M. Helmert. Concise finite-domain representations for pddl planning tasks. Artificial Intelligence, 173(5–6):503–535, 2009.
A. Herzig and O. Rifi. Propositional belief base update and minimal change. Artificial Intelligence, 115(1):107–138, 1999.
J. Hoffmann, P. Bertoli, M. Helmert, and M. Pistore. Message-based web service composition, integrity constraints, and planning under uncertainty: A new connection. J. Artificial Intelligence Research, 35:49–117, 2009.
J. Hoffmann and S. Edelkamp. The deterministic part of IPC-4: An overview. J. Artificial Intelligence Research, 24:519–579, 2005.
J. Hoffmann and B. Nebel. The FF planning system: Fast plan generation through heuristic search. J. Artificial Intelligence Research, 14:253–302, 2001.
J. Hoffmann, I. Weber, and F. M. Kraft. SAP speaks PDDL. In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI’10), 2010.
I. Horrocks. The FaCT system. In Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux’98, number 1397 in LNAI, pages 307–312. Springer, 1998.
D. Hull, E. Zolin, A. Bovykin, I. Horrocks, U. Sattler, and R. Stevens. Deciding Semantic Matching of Stateless Services. In Proceedings, The Twenty-First National Conference on Artificial Intelligence (AAAI) and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pages 1319–1324, 2006.
M. Krötzsch, S. Rudolph, and P. Hitzler. Description logic rules. In Proc. ECAI, pages 80–84. IOS Press, 2008.
U. Kuter, E. Sirin, D. Nau, B. Parsia, and J. Hendler. Information gathering during planning for web service composition. J. Web Semantics, 3(2–3):183–205, 2005.
F. Lecue, A. Delteil, and A. Leger. Applying abduction in semantic web service composition. In Proc. of IEEE International Conference on Web Services (ICWS’07), 2007.
N. Leone, P. Rullo, and F. Scarcello. Disjunctive Stable Models: Unfounded sets, Fixpoint Semantics, and Computation. Information and Computation, 135(2):69–112, 1997.
V. Lifschitz. Answer Set Programming and Plan Generation. Artificial Intelligence, 138(1–2):39–54, 2002.
Z. Liu, A. Ranganathan, and A. Riabov. A planning approach for message-oriented semantic web service composition. In 22nd National Conference of the American Association for Artificial Intelligence (AAAI’07), 2007.
A. Marconi and M. Pistore. Synthesis and composition of web services. In Formal Methods for Web Services, pages 89–157. Springer Berlin / Heidelberg, 2009.
A. Marconi, M. Pistore, and P. Traverso. Specifying Data-Flow Requirements for the Automated Composition of Web Services. In Proc. of Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM06), 2006.
A. Marconi, M. Pistore, and P. Traverso. Automated Web Service Composition at Work: the Amazon/MPS Case Study. In Proc. of IEEE International Conference on Web Services (ICWS’07), 2007.
D. McDermott et al. The PDDL Planning Domain Definition Language. The AIPS-98 Planning Competition Committee, 1998.
S. McIlraith, T. Son, and H. Zeng. Semantic web services. Intelligent Systems, 16(2):46–53, April 2001.
S. McIlraith and T. C. Son. Adapting Golog for composition of semantic Web services. In Proc. of the 8th Int. Conf. on Principles and Knowledge Representation and Reasoning (KR- 02), Toulouse, France, 2002.
B. Motik and R. Rosati. A faithful integration of description logics with logic programming. In Proc. IJCAI, pages 477–482, 2007.
B. Motik, U. Sattler, and R. Studer. Query answering for OWL-DL with rules. Journal of Web Semantics, 3(1):41–60, July 2005.
I. Niemelä and P. Simons. SMODELS - An Implementation of the Stable Model and Wellfounded Semantics for Normal Logic Programs. In Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 1997), volume 1265 of LNAI, pages 420–429, 1997.
OASIS. Web Services Business Process Execution Language Version 2.0, Apr. 2007.
W. OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-overview/.
E. P. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR’98), pages 324–331, 1998.
M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated Composition of Web Services by Planning at the Knowledge Level. In Proc. IJCAI’05, 2005.
M. Pistore, P. Traverso, and P. Bertoli. Automated Composition of Web Services by Planning in Asynchronous Domains. In Proc. ICAPS’05, 2005.
M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated synthesis of composite BPEL4WS web services. In 3rd IEEE International Conference on Web Services (ICWS-05), 2005.
S. Ponnekanti and A. Fox. SWORD: A developer toolkit for web services composition. In 11th International World Wide Web Conference (WWW-02), 2002.
S. Richter and M. Westphal. The LAMA planner: Guiding cost-based anytime planning with landmarks. J. Artificial Intelligence Research, 39:127–177, 2010.
M. D. Rodriguez-Moreno, D. Borrajo, A. Cesta, and A. Oddi. Integrating planning and scheduling in workflow domains. Expert Systems Applications, 33(2):389–406, 2007.
R. Rosati. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics, 3(1):41–60, 2005.
R. Rosati. DL+log: Tight integration of description logics and disjunctive datalog. In Proc. KR, pages 68–78, 2006.
R. Shearer, B. Motik, and I. Horrocks. HermiT: A Highly-Efficient OWL Reasoner. In Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2008), 2008.
E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. Pellet: A practical owl-dl reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):51 – 53, 2007. Software Engineering and the Semantic Web.
E. Sirin, B. Parsia, D.Wu, J. Hendler, and D. Nau. HTN planning for web service composition using SHOP2. J. Web Semantics, 1(4), 2004.
T. Soininen and I. Niemelä. Developing a Declarative Rule Language for Applications in Product Configuration. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL 1999), number 1551 in LNCS, pages 305–319. Springer, 1999.
H. Younes, M. Littman, D. Weissman, and J. Asmuth. The first probabilistic track of the international planning competition. J. Artificial Intelligence Research, 24:851–887, 2005.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Heymans, S., Hoffmann, J., Marconi, A., Phillips, J., Weber, I. (2012). Semantic Web Services Fundamentals. In: Barros, A., Oberle, D. (eds) Handbook of Service Description. Springer, Boston, MA. https://doi.org/10.1007/978-1-4614-1864-1_6
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1864-1_6
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4614-1863-4
Online ISBN: 978-1-4614-1864-1
eBook Packages: Computer ScienceComputer Science (R0)