Web Service Modeling Ontology

被引:24
作者
Roman, Dumitru [1 ]
Keller, Uwe [1 ]
Lausen, Holger [1 ]
de Bruijn, Jos [1 ]
Lara, Ruben [1 ]
Stollberg, Michael [1 ]
Polleres, Axel [1 ]
Feier, Cristina [1 ]
Bussler, Cristoph [2 ]
Fensel, Dieter [1 ,2 ]
机构
[1] Univ Innsbruck, Digital Enterprise Res Inst Innsbruck DERI Innsbr, Innsbruck, Austria
[2] DERI, Galway, Ireland
基金
爱尔兰科学基金会;
关键词
Semantic Web Services; Ontologies; Semantic Web; Web services;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The potential to achieve dynamic, scalable and cost-effective marketplaces and eCommerce solutions has driven recent research efforts towards so-called Semantic Web Services that are enriching Web services with machine-processable semantics. To this end, the Web Service Modeling Ontology (WSMO) provides the conceptual underpinning and a formal language for semantically describing all relevant aspects of Web services in order to facilitate the automatization of discovering, combining and invoking electronic services over the Web. In this paper we describe the overall structure of WSMO by its four main elements: ontologies, which provide the terminology used by other WSMO elements, Web services, which provide access to services that, in turn, provide some value in some domain, goals that represent user desires, and mediators, which deal with interoperability problems between different WSMO elements. Along with introducing the main elements of WSMO, we provide a logical language for defining formal statements in WSMO together with some motivating examples from practical use cases which shall demonstrate the benefits of Semantic Web Services.
引用
收藏
页码:77 / 106
页数:30
相关论文
共 49 条
  • [21] Gurevich Yuri, 1995, SPECIFICATION VALIDA, P9
  • [22] Hayes P., 2004, RDF semantics
  • [23] Horrocks I, 2004, Swrl: A semantic web rule language combining owl and ruleml, V21, P1
  • [24] Keller U., 2004, P 1 WSMO IMPLEMENTAT
  • [25] Keller U., 2004, WSMO WEB SERVICE DIS
  • [26] LOGICAL-FOUNDATIONS OF OBJECT-ORIENTED AND FRAME-BASED LANGUAGES
    KIFER, M
    LAUSEN, G
    WU, J
    [J]. JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (04): : 741 - 843
  • [27] Kifer M., 2004, ISWC 2004 WORKSH SEM
  • [28] Kiryakov A., 2004, FRAMEWORK REPRESENTI
  • [29] LARA R, 2004, P EUR C WEB SERV ECO
  • [30] Lausen H., 2004, P 1 WSMO IMPL WORKSH