Extend OWL-S Dynamic Semantics with Rewrite Logic

  title={Extend OWL-S Dynamic Semantics with Rewrite Logic},
  author={Ning Huang and Yongyi Peng and Camilo Rocha},
  journal={2008 International Conference on Computer Science and Software Engineering},
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… CONTINUE READING