{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:23:06Z","timestamp":1725531786803},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642012082"},{"type":"electronic","value":"9783642012099"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01209-9_10","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T16:58:23Z","timestamp":1241456303000},"page":"105-117","source":"Crossref","is-referenced-by-count":2,"title":["Formal Semantics of OWL-S with F-Logic"],"prefix":"10.1007","author":[{"given":"Huaikou","family":"Miao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liping","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-10_CR1.1","unstructured":"Brogi, A., Corfini, S., Iardella, S.: From OWL-S descriptions to Petri nets. In: Proceedings of Third international workshop on engineering service-oriented applications: analysis, design and composition (WESOA 2007). Wien, Austria, September 17 (2007);"},{"key":"#cr-split#-10_CR1.2","unstructured":"Service-Oriented Computing - ICSOC 2007 Workshops, pp. 427\u2013438. Springer, Heidelberg (2007)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Thomas, J.P., Thomas, M., Ghinea, G.: Modeling of Web Services Flow. In: Proceedings of the IEEE International Conference on ECommerce (CEC 2003), p. 391 (2003)","DOI":"10.1109\/COEC.2003.1210275"},{"issue":"2","key":"10_CR3","first-page":"5","volume":"32","author":"J. Yun-Chen","year":"2005","unstructured":"Yun-Chen, J., Zhong-zhi, S.: The Formal Semantics of OWL-S. Computer Science\u00a032(2), 5\u20137 (2005)","journal-title":"Computer Science"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. JACM\u00a042(4), 741\u2013843 (1995)","journal-title":"JACM"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-540-30960-4_16","volume-title":"Formal Approaches to Agent-Based Systems","author":"Y. Zou","year":"2004","unstructured":"Zou, Y., Finin, T., Chen, H.: F-OWL: an inference engine for the semantic web. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol.\u00a03228, pp. 238\u2013248. Springer, Heidelberg (2004)"},{"key":"10_CR6","unstructured":"Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference. W3C Recommendation, February 10 (2004)"},{"key":"10_CR7","unstructured":"Kattenstroth, H., May, W., Schenk, F.: Combining OWL with F-Logic Rules and Defaults. In: International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS 2007), September 13, vol.\u00a0287, pp. 60\u201375 (2007)"},{"key":"10_CR8","unstructured":"OWL-S Coalition. OWL-S: Semantic markup for Web services. Release 1.2 (December 2004), \n                  \n                    http:\/\/www.daml.org\/services\/owl-s\/1.2\/overview\/"},{"issue":"4","key":"10_CR9","first-page":"44","volume":"30","author":"S. Davidson","year":"2007","unstructured":"Davidson, S., Boulakia, S., Eyal, A., Lud\u00e4scher, B., McPhillips, T., Bowers, S., Anand, M., Freire, J.: Provenance in Scientific Workflow Systems. IEEE Data Eng. Bull.\u00a030(4), 44\u201350 (2007)","journal-title":"IEEE Data Eng. Bull."}],"container-title":["Studies in Computational Intelligence","Computer and Information Science 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01209-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T09:58:50Z","timestamp":1619776730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01209-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642012082","9783642012099"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01209-9_10","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}