Extend OWL-S Dynamic Semantics with Rewrite Logic

@article{Huang2008ExtendOD,
  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},
  year={2008},
  volume={2},
  pages={346-349}
}
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