Formalizing Semantics of OWL-S Process Model

Author

YongYi Peng ; Ning Huang

Author_Institution

Dept. of Comput. Sci., Beihang Univ., Beijing

Volume

1

fYear

2008

fDate

19-20 Dec. 2008

Firstpage

597

Lastpage

601

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence and Industrial Application, 2008. PACIIA '08. Pacific-Asia Workshop on

Conference_Location

Wuhan

Print_ISBN

978-0-7695-3490-9

Type

conf

DOI

10.1109/PACIIA.2008.325

Filename

4756630