Title :
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
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;
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
DOI :
10.1109/ICCMS.2010.281
