{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:30:38Z","timestamp":1739511038944,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642108709"},{"type":"electronic","value":"9783642108716"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10871-6_16","type":"book-chapter","created":{"date-parts":[[2009,12,14]],"date-time":"2009-12-14T20:49:47Z","timestamp":1260823787000},"page":"231-245","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about Partially Ordered Web Service Activities in PSL"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gruninger","sequence":"first","affiliation":[]},{"given":"Xing","family":"Tan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"16_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"16_CR2","unstructured":"Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic Web Services Framework (SWSF) Overview. Version 1.0 (2005), http:\/\/www.daml.org\/services\/swsf\/1.0\/overview\/"},{"key":"16_CR3","unstructured":"Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic Web Services Ontology (SWSO). Version 1.0 (2005), http:\/\/www.daml.org\/services\/swsf\/swso\/"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10270-004-0066-x","volume":"4","author":"C. Bock","year":"2005","unstructured":"Bock, C., Gruninger, M.: PSL: A semantic domain for flow models. Software and Systems Modeling\u00a04, 209\u2013231 (2005)","journal-title":"Software and Systems Modeling"},{"key":"16_CR5","unstructured":"Ghallab, M., McDermott, D.: PDDL: The planning domain definition language v.2. Technical Report Technical Report CVC TR-98-003, Yale Center for Computational Vision and Control (1998)"},{"issue":"3","key":"16_CR6","first-page":"63","volume":"24","author":"M. Gruninger","year":"2003","unstructured":"Gruninger, M., Menzel, C.: The process specification language theory and applications. AI Mag.\u00a024(3), 63\u201374 (2003)","journal-title":"AI Mag."},{"key":"16_CR7","volume-title":"Handbook of Ontologies in Information Systems","author":"M. Gruninger","year":"2004","unstructured":"Gruninger, M.: Ontology of the Process Specification Language. In: Staab, S., Studer, R. (eds.) Handbook of Ontologies in Information Systems. Springer, Heidelberg (2004)"},{"key":"16_CR8","unstructured":"Gruninger, M., Hull, R., McIlraith, S.: A First-Order Ontology for Semantic Web Services. In: Proceedings of W3C Workshop on Frameworks for Semantic in Web Services, Innsbruck, Austria, June 9-10 (2005)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 92\u2013128 (1997)","journal-title":"Journal of Logic Programming"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Mayer, R., Menzel, C., Painter, M., de Witte, P., Blinn, T., Perekath, B.: Information integration for concurrent engineering: IDEF3 process description capture method report. Technical Report Technical Report AL-TR-1995, Knowledge Based Systems Incorporated (1995)","DOI":"10.21236\/ADA531128"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S. McIlraith","year":"2001","unstructured":"McIlraith, S., Son, T., Zeng, H.: Semantic web services. Intelligent Systems\u00a016(2), 46\u201353 (2001)","journal-title":"Intelligent Systems"},{"key":"16_CR12","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1017\/S0269888902000395","volume":"17","author":"A. Pease","year":"1998","unstructured":"Pease, A., Niles, I.: IEEE standard upper ontology: A progress report. The Knowledge Engineering Review\u00a017, 65\u201370 (1998)","journal-title":"The Knowledge Engineering Review"},{"issue":"1","key":"16_CR13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology\u00a01(1), 77\u2013106 (2005)","journal-title":"Applied Ontology"},{"key":"16_CR14","unstructured":"Tan, X.: Computational properties of PSL problems. Technical report, Semantic Technologies Laboratory, Department of Mechanical and Industrial Engineering, University of Toronto (2008)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10871-6_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T20:24:48Z","timestamp":1739478288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10871-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642108709","9783642108716"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10871-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}