Information gathering during planning for Web Service composition
Hierarchical task network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the OWL-S service ontologies. Many of the existing Web Services are either exclusively information providing or crucially depend on information-provid...
Saved in:
Published in | Web semantics Vol. 3; no. 2; pp. 183 - 205 |
---|---|
Main Authors | , , , , |
Format | Journal Article |
Language | English |
Published |
Elsevier B.V
01.10.2005
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Hierarchical task network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the
OWL-S
service ontologies. Many of the existing Web Services are either exclusively information providing or crucially depend on information-providing services. Thus, many interesting service compositions involve collecting information either during execution or during the composition process itself. In this paper, we focus on the latter issue. In particular, we present
ENQUIRER
, an HTN-planning algorithm designed for planning domains in which the information about the initial state of the world may not be complete, but it is discoverable through plan-time information-gathering queries. We have shown that
ENQUIRER
is sound and complete, and derived several mathematical relationships among the amount of available information, the likelihood of the planner finding a plan, and the quality of the plan found. We have performed experimental tests that confirmed our theoretical results and that demonstrated how
ENQUIRER
can be used for Web Service composition. |
---|---|
AbstractList | Hierarchical task network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the
OWL-S
service ontologies. Many of the existing Web Services are either exclusively information providing or crucially depend on information-providing services. Thus, many interesting service compositions involve collecting information either during execution or during the composition process itself. In this paper, we focus on the latter issue. In particular, we present
ENQUIRER
, an HTN-planning algorithm designed for planning domains in which the information about the initial state of the world may not be complete, but it is discoverable through plan-time information-gathering queries. We have shown that
ENQUIRER
is sound and complete, and derived several mathematical relationships among the amount of available information, the likelihood of the planner finding a plan, and the quality of the plan found. We have performed experimental tests that confirmed our theoretical results and that demonstrated how
ENQUIRER
can be used for Web Service composition. |
Author | Parsia, Bijan Kuter, Ugur Sirin, Evren Nau, Dana Hendler, James |
Author_xml | – sequence: 1 givenname: Ugur surname: Kuter fullname: Kuter, Ugur email: ukuter@cs.umd.edu organization: University of Maryland, Computer Science Department, College Park, MD 20742, USA – sequence: 2 givenname: Evren surname: Sirin fullname: Sirin, Evren email: evren@cs.umd.edu organization: University of Maryland, Computer Science Department, College Park, MD 20742, USA – sequence: 3 givenname: Bijan surname: Parsia fullname: Parsia, Bijan email: bparsia@isr.umd.edu organization: University of Maryland, MIND Laboratory, 8400 Baltimore Avenue, College Park, MD 20742, USA – sequence: 4 givenname: Dana surname: Nau fullname: Nau, Dana email: nau@cs.umd.edu organization: University of Maryland, Computer Science Department, College Park, MD 20742, USA – sequence: 5 givenname: James surname: Hendler fullname: Hendler, James email: hendler@cs.umd.edu organization: University of Maryland, Computer Science Department, College Park, MD 20742, USA |
BookMark | eNp9kEFOwzAQRS1UJNrCDVjkAgnj2ImdDVJVAa1UiQUglpbtTIurxq7sUMTtSShrVvMX876-3oxMfPBIyC2FggKt7_bFF5qEXVECVAWIAoBekCmVguVC8GYy5EpALstaXpFZSnsAzhvBpmSx9tsQO9274LOd7j8wOr_L2s_fczxo78cw_GTvaLIXjCdnMbOhO4bkRuqaXG71IeHN352Tt8eH1-Uq3zw_rZeLTW6ZKPt8GNAIKZragJGImpcShBDAam5rxg20gmnN21LTigHFCnVpqJEtGzlD2Zzwc6-NIaWIW3WMrtPxW1FQowa1V2cNatSgQKhBw4DdnzEctp0cRpWsQ2-xdRFtr9rg_i_4ATqGabY |
CitedBy_id | crossref_primary_10_1016_j_artint_2016_03_002 crossref_primary_10_1007_s10458_011_9182_5 crossref_primary_10_4018_jssoe_2012010104 crossref_primary_10_1016_j_entcs_2016_02_005 crossref_primary_10_1109_TSC_2015_2412943 crossref_primary_10_1016_j_artint_2010_09_007 crossref_primary_10_1007_s00500_016_2376_7 crossref_primary_10_1016_j_artint_2015_02_002 crossref_primary_10_1016_j_autcon_2022_104449 crossref_primary_10_1016_j_artint_2013_11_002 crossref_primary_10_1016_j_artint_2014_04_003 crossref_primary_10_1016_j_eswa_2008_01_037 crossref_primary_10_1527_tjsai_30_22 crossref_primary_10_4018_jwsr_2011040103 crossref_primary_10_1007_s11761_009_0052_9 |
Cites_doi | 10.1038/scientificamerican0501-34 10.1613/jair.1141 10.1016/j.websem.2004.06.005 |
ContentType | Journal Article |
Copyright | 2005 Elsevier B.V. |
Copyright_xml | – notice: 2005 Elsevier B.V. |
DBID | AAYXX CITATION |
DOI | 10.1016/j.websem.2005.07.001 |
DatabaseName | CrossRef |
DatabaseTitle | CrossRef |
DatabaseTitleList | |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering |
EISSN | 1873-7749 |
EndPage | 205 |
ExternalDocumentID | 10_1016_j_websem_2005_07_001 S1570826805000168 |
GroupedDBID | --K --M .~1 0R~ 0SF 123 1B1 1~. 1~5 4.4 457 4G. 5VS 7-5 71M 8P~ AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAXUO ABJNI ABMAC ABMZM ABXDB ACDAQ ACGFO ACGFS ACNNM ACRLP ACZNC ADEZE ADJOM ADMUD ADTZH AEBSH AECPX AEKER AENEX AFTJW AGHFR AGUBO AGYEJ AHZHX AIALX AIEXJ AIKHN AITUG AJRQY ALMA_UNASSIGNED_HOLDINGS AMRAJ AOUOD AXJTR BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FIRID FNPLU G-Q GBLVA HVGLF HZ~ IHE J1W KOM M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 RIG ROL RPZ SDF SDG SES SEW SPC SPCBC SSV SSZ T5K ~G- ~S- AAYXX ADVLN AFJKZ AKRWK CITATION |
ID | FETCH-LOGICAL-c372t-157978796b0b8eea42807770364c634b0d73aa4d2a15301e5ea2b1b8d37978b13 |
IEDL.DBID | AIKHN |
ISSN | 1570-8268 |
IngestDate | Thu Sep 26 17:46:56 EDT 2024 Fri Feb 23 02:30:00 EST 2024 |
IsPeerReviewed | false |
IsScholarly | true |
Issue | 2 |
Keywords | HTN planning Information gathering Web Service composition |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c372t-157978796b0b8eea42807770364c634b0d73aa4d2a15301e5ea2b1b8d37978b13 |
PageCount | 23 |
ParticipantIDs | crossref_primary_10_1016_j_websem_2005_07_001 elsevier_sciencedirect_doi_10_1016_j_websem_2005_07_001 |
PublicationCentury | 2000 |
PublicationDate | 2005-10-01 |
PublicationDateYYYYMMDD | 2005-10-01 |
PublicationDate_xml | – month: 10 year: 2005 text: 2005-10-01 day: 01 |
PublicationDecade | 2000 |
PublicationTitle | Web semantics |
PublicationYear | 2005 |
Publisher | Elsevier B.V |
Publisher_xml | – name: Elsevier B.V |
References | McDermott (bib12) 2002 Pistore, Barbon, Bertoli, Shaparau, Traverso (bib15) 2004 Sirin, Parsia, Wu, Hendler, Nau (bib6) 2004; 1 Petrick, Bacchus (bib14) 1998 Martinez, Lespérance (bib13) 2004 Levy, Rajaraman, Ordille (bib22) 1996 Berners-Lee, Hendler, Lassila (bib3) 2001; 284 Constantinescu, Binder, Faltings (bib7) 2004 Barish, Knoblock (bib24) 2002 Traverso, Pistore (bib16) 2004 OWL Services Coalition, OWL-S: Semantic markup for web services, OWL-S White Paper, 2003. Penberthy, Weld (bib19) 1992 Baader, Lutz, Milicic, Sattler, Wolter (bib10) 2005 K. Golden, O. Etzioni, D. Weld, Planning with execution and incomplete information, Tech. Rep. TR96–01-09, Department of Computer Science, University of Washington, February 1996 . Nau, Au, Ilghami, Kuter, Murdock, Wu, Yaman (bib4) 2003; 20 Duschka, Levy (bib20) 1997 Sirin, Parsia (bib11) 2004 Levy, Rajaraman, Ordille (bib21) 1996 Emekci, Sahin, Agrawal, Abbadi (bib9) 2004 Etzioni, Weld, Draper, Lesh, Williamson (bib17) 1992 Wu, Parsia, Sirin, Hendler, Nau (bib2) 2003 McIlraith, Son (bib5) 2002 Snehal Thakkar, Knoblock (bib23) 2004 Golbeck, Parsia, Hendler (bib8) 2003 Sirin (10.1016/j.websem.2005.07.001_bib6) 2004; 1 Barish (10.1016/j.websem.2005.07.001_bib24) 2002 Nau (10.1016/j.websem.2005.07.001_bib4) 2003; 20 McDermott (10.1016/j.websem.2005.07.001_bib12) 2002 Petrick (10.1016/j.websem.2005.07.001_bib14) 1998 10.1016/j.websem.2005.07.001_bib18 Snehal Thakkar (10.1016/j.websem.2005.07.001_bib23) 2004 Pistore (10.1016/j.websem.2005.07.001_bib15) 2004 Duschka (10.1016/j.websem.2005.07.001_bib20) 1997 10.1016/j.websem.2005.07.001_bib1 Etzioni (10.1016/j.websem.2005.07.001_bib17) 1992 Wu (10.1016/j.websem.2005.07.001_bib2) 2003 Penberthy (10.1016/j.websem.2005.07.001_bib19) 1992 Golbeck (10.1016/j.websem.2005.07.001_bib8) 2003 Emekci (10.1016/j.websem.2005.07.001_bib9) 2004 Constantinescu (10.1016/j.websem.2005.07.001_bib7) 2004 Berners-Lee (10.1016/j.websem.2005.07.001_bib3) 2001; 284 Traverso (10.1016/j.websem.2005.07.001_bib16) 2004 Levy (10.1016/j.websem.2005.07.001_bib22) 1996 Sirin (10.1016/j.websem.2005.07.001_bib11) 2004 Baader (10.1016/j.websem.2005.07.001_bib10) 2005 McIlraith (10.1016/j.websem.2005.07.001_bib5) 2002 Martinez (10.1016/j.websem.2005.07.001_bib13) 2004 Levy (10.1016/j.websem.2005.07.001_bib21) 1996 |
References_xml | – start-page: 605 year: 2004 end-page: 619 ident: bib7 article-title: An extensible directory enabling efficient semantic web service integration publication-title: Proceedings of the International Semantic Web Conference contributor: fullname: Faltings – year: 2002 ident: bib5 article-title: Adapting Golog for composition of semantic web services publication-title: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning contributor: fullname: Son – start-page: 251 year: 1996 end-page: 262 ident: bib21 article-title: Querying heterogeneous information sources using source descriptions publication-title: Proceedings of the 22nd International Conference on Very Large Databases contributor: fullname: Ordille – start-page: 192 year: 2004 end-page: 199 ident: bib9 article-title: A peer-to-peer framework for web service discovery with ranking publication-title: Proceedings of the IEEE International Conference on Web Services (ICWS’04) contributor: fullname: Abbadi – volume: 1 start-page: 377 year: 2004 end-page: 396 ident: bib6 article-title: HTN planning for web service composition using SHOP2 publication-title: J. Web Semant. contributor: fullname: Nau – year: 2005 ident: bib10 article-title: Systematic nonlinear planning publication-title: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05) contributor: fullname: Wolter – volume: 284 start-page: 34 year: 2001 end-page: 43 ident: bib3 article-title: The semantic Web publication-title: Sci. Am. contributor: fullname: Lassila – year: 2003 ident: bib8 article-title: Trust networks on the semantic web publication-title: Proceedings of the Cooperative Intelligent Agents 2003 contributor: fullname: Hendler – start-page: 380 year: 2004 end-page: 394 ident: bib16 article-title: Automated composition of semantic web services into executable processes publication-title: Proceedings of the International Semantic Web Conference contributor: fullname: Pistore – start-page: 106 year: 2004 end-page: 115 ident: bib15 article-title: Planning and monitoring web service composition publication-title: Proceedings of the 11th International Conference on Artificial Intelligence, Methodologies, Systems, and Applications (AIMSA) contributor: fullname: Traverso – start-page: 62 year: 2004 end-page: 69 ident: bib13 article-title: Web service composition as a planning task: experiments using knowledge-based planning publication-title: Proceedings of the ICAPS-2004 Workshop on Planning and Scheduling for Web and Grid Services contributor: fullname: Lespérance – year: 2003 ident: bib2 article-title: Automating daml-s web services composition using SHOP2 publication-title: Proceedings of the Second International Semantic Web Conference (ISWC2003) contributor: fullname: Nau – start-page: 40 year: 1996 end-page: 47 ident: bib22 article-title: Query-answering algorithms for information agents publication-title: Proceedings of the AAAI/IAAI, vol. 1 contributor: fullname: Ordille – year: 2004 ident: bib23 article-title: A data integration approach to automatically composing and optimizing web services publication-title: Proceeding of the ICAPS Workshop on Planning and Scheduling for Web and Grid Services contributor: fullname: Knoblock – year: 1992 ident: bib17 article-title: An approach to planning with incomplete information publication-title: Proceedings of the KR-92 contributor: fullname: Williamson – volume: 20 start-page: 379 year: 2003 end-page: 404 ident: bib4 article-title: SHOP2: an HTN planning system publication-title: J. Artif. Intell. Res. contributor: fullname: Yaman – start-page: 184 year: 2002 end-page: 193 ident: bib24 article-title: Planning, executing, sensing, and replanning for information gathering publication-title: Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002) contributor: fullname: Knoblock – start-page: 204 year: 2002 end-page: 211 ident: bib12 article-title: Estimated-regression Planning for Interactions with Web Services contributor: fullname: McDermott – start-page: 86 year: 1998 end-page: 93 ident: bib14 article-title: A knowledge-based approach to planning with incomplete information and sensing publication-title: Proceedings of the Fourth International Conference on AI Planning and Scheduling (AIPS’98) contributor: fullname: Bacchus – start-page: 778 year: 1997 end-page: 784 ident: bib20 article-title: Recursive plans for information gathering publication-title: Proceedings of the IJCAI, No. 1 contributor: fullname: Levy – year: 2004 ident: bib11 article-title: Planning for semantic web services publication-title: Proceedings of the Semantic Web Services Workshop at Third International Semantic Web Conference (ISWC2004) contributor: fullname: Parsia – year: 1992 ident: bib19 article-title: UCPOP: a sound, complete, partial order planner for ADL publication-title: Proceedings of the KR-92 contributor: fullname: Weld – start-page: 192 year: 2004 ident: 10.1016/j.websem.2005.07.001_bib9 article-title: A peer-to-peer framework for web service discovery with ranking contributor: fullname: Emekci – volume: 284 start-page: 34 issue: 5 year: 2001 ident: 10.1016/j.websem.2005.07.001_bib3 article-title: The semantic Web publication-title: Sci. Am. doi: 10.1038/scientificamerican0501-34 contributor: fullname: Berners-Lee – year: 2002 ident: 10.1016/j.websem.2005.07.001_bib5 article-title: Adapting Golog for composition of semantic web services contributor: fullname: McIlraith – start-page: 605 year: 2004 ident: 10.1016/j.websem.2005.07.001_bib7 article-title: An extensible directory enabling efficient semantic web service integration contributor: fullname: Constantinescu – year: 2004 ident: 10.1016/j.websem.2005.07.001_bib11 article-title: Planning for semantic web services contributor: fullname: Sirin – start-page: 40 year: 1996 ident: 10.1016/j.websem.2005.07.001_bib22 article-title: Query-answering algorithms for information agents contributor: fullname: Levy – year: 2004 ident: 10.1016/j.websem.2005.07.001_bib23 article-title: A data integration approach to automatically composing and optimizing web services contributor: fullname: Snehal Thakkar – start-page: 251 year: 1996 ident: 10.1016/j.websem.2005.07.001_bib21 article-title: Querying heterogeneous information sources using source descriptions contributor: fullname: Levy – year: 2003 ident: 10.1016/j.websem.2005.07.001_bib2 article-title: Automating daml-s web services composition using SHOP2 contributor: fullname: Wu – year: 2005 ident: 10.1016/j.websem.2005.07.001_bib10 article-title: Systematic nonlinear planning contributor: fullname: Baader – year: 1992 ident: 10.1016/j.websem.2005.07.001_bib19 article-title: UCPOP: a sound, complete, partial order planner for ADL contributor: fullname: Penberthy – start-page: 184 year: 2002 ident: 10.1016/j.websem.2005.07.001_bib24 article-title: Planning, executing, sensing, and replanning for information gathering contributor: fullname: Barish – ident: 10.1016/j.websem.2005.07.001_bib18 – start-page: 380 year: 2004 ident: 10.1016/j.websem.2005.07.001_bib16 article-title: Automated composition of semantic web services into executable processes contributor: fullname: Traverso – year: 1992 ident: 10.1016/j.websem.2005.07.001_bib17 article-title: An approach to planning with incomplete information contributor: fullname: Etzioni – ident: 10.1016/j.websem.2005.07.001_bib1 – start-page: 778 year: 1997 ident: 10.1016/j.websem.2005.07.001_bib20 article-title: Recursive plans for information gathering contributor: fullname: Duschka – year: 2003 ident: 10.1016/j.websem.2005.07.001_bib8 article-title: Trust networks on the semantic web contributor: fullname: Golbeck – volume: 20 start-page: 379 year: 2003 ident: 10.1016/j.websem.2005.07.001_bib4 article-title: SHOP2: an HTN planning system publication-title: J. Artif. Intell. Res. doi: 10.1613/jair.1141 contributor: fullname: Nau – volume: 1 start-page: 377 issue: 4 year: 2004 ident: 10.1016/j.websem.2005.07.001_bib6 article-title: HTN planning for web service composition using SHOP2 publication-title: J. Web Semant. doi: 10.1016/j.websem.2004.06.005 contributor: fullname: Sirin – start-page: 204 year: 2002 ident: 10.1016/j.websem.2005.07.001_bib12 article-title: Estimated-regression Planning for Interactions with Web Services contributor: fullname: McDermott – start-page: 62 year: 2004 ident: 10.1016/j.websem.2005.07.001_bib13 article-title: Web service composition as a planning task: experiments using knowledge-based planning contributor: fullname: Martinez – start-page: 86 year: 1998 ident: 10.1016/j.websem.2005.07.001_bib14 article-title: A knowledge-based approach to planning with incomplete information and sensing contributor: fullname: Petrick – start-page: 106 year: 2004 ident: 10.1016/j.websem.2005.07.001_bib15 article-title: Planning and monitoring web service composition contributor: fullname: Pistore |
SSID | ssj0044973 |
Score | 2.0393536 |
Snippet | Hierarchical task network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the
OWL-S... |
SourceID | crossref elsevier |
SourceType | Aggregation Database Publisher |
StartPage | 183 |
SubjectTerms | HTN planning Information gathering Web Service composition |
Title | Information gathering during planning for Web Service composition |
URI | https://dx.doi.org/10.1016/j.websem.2005.07.001 |
Volume | 3 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3PS8MwFH7sx0UP4k-cP0YOXuOSJk3S4xiO6XAHdWy3krTpmOA2dF79203aFCaIB0-FkAft1_K9pHnf9wBuNJFFETGLhdUcc6pyrJWOsLYFcSM6kcSrkR8nYjTlD_N43oBBrYXxZZWB-ytOL9k6jPQCmr3Nctl7prF0-UsoEpcLF9WEtktHnLeg3b8fjyY1IXOelAfNfj72AbWCrizzcmT1Yd_CzxVvZ0h_z1A7WWd4CAdhuYj61R0dQcOujmF_x0TwBPpBUeQRRosg6FugSn-INqEpEXJz0MwaFMgB-VryULB1CtPh3ctghENjBJwxGW2xexK3-ZOJMMQo6yD1ljbSW2nxTDBuSC6Z1jyPtOMzQm1sdWSoUTnzcYayM2it1it7DijPImqspokRklsmjNsOxsIWSayLTHHdAVyDkW4q_4u0Lgx7TSvwfCvLOCX-IJt2QNaIpT_eY-oo-s_Ii39HXsJebahK6BW0tu-f9totFbamC83bL9oNH4S_jp9m429e7b_g |
link.rule.ids | 315,786,790,4521,24144,27955,27956,45618,45712 |
linkProvider | Elsevier |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV09T8MwED2VMgAD4lOUTw-spnbs2M5YVVQF2i60oltkJ05VJEoFZeW3YycOKhJiYLXupORivTvH794BXGsiiyJiFgurOeZU5VgrHWFtC-JWdCKJ70YejkR_wu-n8bQB3boXxtMqA_ZXmF6idVhph2i2l_N5-5HG0uUvoUhcFi5qAzZ9NeB5XTef3zwPzpPymtlbY29e98-VJC8HVe_2Jfxa8WKG9Pf8tJZzenuwG4pF1KmeZx8adnEAO2sSgofQCf1EPr5oFtr5ZqjqPkTLMJIIORv0ZA0K0IA8kzzQtY5g0rsdd_s4jEXAGZPRCrs3cUc_mQhDjLIuoF7QRnohLZ4Jxg3JJdOa55F2aEaoja2ODDUqZ97PUHYMzcXrwp4AyrOIGqtpYoTklgnjDoOxsEUS6yJTXLcA18FIl5X6RVrTwp7TKnh-kGWcEn-NTVsg64ilP75i6gD6T8_Tf3tewVZ_PBykg7vRwxls19KqhJ5Dc_X2YS9c0bAyl-Wm-AIQ9L8S |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Information+gathering+during+planning+for+Web+Service+composition&rft.jtitle=Web+semantics&rft.au=Kuter%2C+Ugur&rft.au=Sirin%2C+Evren&rft.au=Parsia%2C+Bijan&rft.au=Nau%2C+Dana&rft.date=2005-10-01&rft.issn=1570-8268&rft.volume=3&rft.issue=2-3&rft.spage=183&rft.epage=205&rft_id=info:doi/10.1016%2Fj.websem.2005.07.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_websem_2005_07_001 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1570-8268&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1570-8268&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1570-8268&client=summon |