Title :
Formalizing Semantics of OWL-S Process Model
Author :
YongYi Peng ; Ning Huang
Author_Institution :
Dept. of Comput. Sci., Beihang Univ., Beijing
Abstract :
OWL-S is an important standard for semantic web and its process model not formalized complete. There are some researches working on formalizing semantics of OWL-S process model and this paper is one of them. Rewrite logic system Maude is choose to formalize the informal part semantics of OWL-S in our work. Use Maude as a specification language, semantics of a subset of OWL-S process model elements more than control construct is described for defining dynamic semantics of OWL-S control construct. The rewrite logic defined formal semantics of OWL-S control construct can be used for multiple using such as testing, model checking, verifying etc.
Keywords :
formal specification; formal verification; knowledge representation languages; ontologies (artificial intelligence); rewriting systems; semantic networks; specification languages; Maude; OWL-S control construct; OWL-S process model; dynamic semantics; formalizing semantics; informal part semantics; model checking; rewrite logic system; semantic Web; specification language; Application software; Computational intelligence; Computer industry; Conferences; Logic testing; Object oriented modeling; Ontologies; Semantic Web; Specification languages; Web services; Maude; OWL-S; dynamic semantics; formalization; rewrite logic;
Conference_Titel :
Computational Intelligence and Industrial Application, 2008. PACIIA '08. Pacific-Asia Workshop on
Conference_Location :
Wuhan
Print_ISBN :
978-0-7695-3490-9
DOI :
10.1109/PACIIA.2008.325
