From OWL-S to PNML+OWL for Semantic Web Services

Author

Ma, Bingxian ; Xie, Nengfu

Author_Institution

Sch. of Inf. Sci. & Eng., Univ. of Jinan, Jinan, China

Volume

4

fYear

2010

Firstpage

326

Lastpage

328

Abstract

Automatically getting their Petri nets models is the precondition to compose semantic Web services with Petri nets technology, based on OWL-S, this paper discusses the method to describe semantic web services with Petri nets markup language (PNML) and Web Ontology Language (OWL), which supports automatic sharing synthesis operates of Petri nets and could be used to implement automatic composition of semantic Web services. Firstly, parsing the OWL-S atomic process models of semantic Web services and getting their Petri nets incidence matrix, secondly, getting Petri nets description of semantic Web services through Petri nets automatic sharing synthesis for composite processes based on ontology reasoning, which resolves the automatic modeling of semantic Web services with Petri nets and proposes a technology approach of dynamic and automatic composition of semantic Web services.

Keywords

Petri nets; Web services; inference mechanisms; knowledge representation languages; mathematics computing; ontologies (artificial intelligence); semantic Web; OWL-S atomic process models; PNML+OWL; Petri nets incidence matrix; Petri nets markup language; Web Ontology Language; automatic modeling; automatic sharing synthesis; ontology reasoning; semantic Web services; Algebra; Analytical models; Automatic logic units; Computational modeling; Computer simulation; OWL; Ontologies; Petri nets; Semantic Web; Web services; OWL; OWL-S; Petri nest; semantic web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Modeling and Simulation, 2010. ICCMS '10. Second International Conference on

Conference_Location

Sanya, Hainan

Print_ISBN

978-1-4244-5642-0

Electronic_ISBN

978-1-4244-5643-7

Type

conf

DOI

10.1109/ICCMS.2010.281

Filename

5421547