Extend OWL-S Dynamic Semantics with Rewrite Logic

Author

Huang, Ning ; Peng, Yongyi ; Rocha, Camilo

Author_Institution

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

Volume

2

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

346

Lastpage

349

Abstract

OWL-S plays a key role in describing behaviors of Web services because of potential semantic Web. Although OWL-S has given semantics to concepts by ontology technology, it gives no formal semantic for control-flow and data-flow. Most of previous related research concentrates on model checking instead of providing a precise mathematic semantics for the specification. This gives limitation when properties deal not only with causality of events but also with data types or recursive constructs. This paper presents an algebraic semantics framework for OWL-S sub-set. And data-flow semantics including ldquoPreconditionrdquo, ldquoResultrdquo and ldquobindingrdquo etc are explained too.

Keywords

Web services; algebraic specification; knowledge representation languages; ontologies (artificial intelligence); recursive functions; rewriting systems; semantic Web; OWL-S dynamic semantics; OWL-S subset; Web service; algebraic semantics; data-flow semantics; formal specification; model checking; ontology technology; recursive construct; rewrite logic; semantic Web; Computer science; Formal specifications; Logic; Mathematical model; Mathematics; Microstrip; Ontologies; Semantic Web; Specification languages; Web services; OWL-S; dynamic semantics; rewrite logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Software Engineering, 2008 International Conference on

Conference_Location

Wuhan, Hubei

Print_ISBN

978-0-7695-3336-0

Type

conf

DOI

10.1109/CSSE.2008.1406

Filename

4722067