Formal Semantics of OWL-S with F-Logic

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]

Authors

Huaikou Miao

This author has not been identified. Look up 'Huaikou Miao' in Google

Tao He

This author has not been identified. Look up 'Tao He' in Google

LiPing Li

This author has not been identified. Look up 'LiPing Li' in Google