Huaikou Miao, Tao He, LiPing Li. Formal Semantics of OWL-S with F-Logic. In Roger Y. Lee, Gongzhu Hu, Huaikou Miao, editors, Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Volume 208 of Studies in Computational Intelligence, pages 105-117, Springer, 2009. [doi]
Abstract is missing.