Abstract
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show how the first-order ontology of the Process Specification Language (PSL) can be used to represent both the queries and the process descriptions that constitute the underlying theory for the reasoning problems. We also identify extensions of the PSL Ontology for which these problems are NP-complete and then explicitly axiomatize classes of activities for which the various reasoning problems are tractable.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
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/
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/
Bock, C., Gruninger, M.: PSL: A semantic domain for flow models. Software and Systems Modeling 4, 209–231 (2005)
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)
Gruninger, M., Menzel, C.: The process specification language theory and applications. AI Mag. 24(3), 63–74 (2003)
Gruninger, M.: Ontology of the Process Specification Language. In: Staab, S., Studer, R. (eds.) Handbook of Ontologies in Information Systems. Springer, Heidelberg (2004)
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)
Levesque, H., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31, 92–128 (1997)
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)
McIlraith, S., Son, T., Zeng, H.: Semantic web services. Intelligent Systems 16(2), 46–53 (2001)
Pease, A., Niles, I.: IEEE standard upper ontology: A progress report. The Knowledge Engineering Review 17, 65–70 (1998)
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 1(1), 77–106 (2005)
Tan, X.: Computational properties of PSL problems. Technical report, Semantic Technologies Laboratory, Department of Mechanical and Industrial Engineering, University of Toronto (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gruninger, M., Tan, X. (2009). Reasoning about Partially Ordered Web Service Activities in PSL. In: Gómez-Pérez, A., Yu, Y., Ding, Y. (eds) The Semantic Web. ASWC 2009. Lecture Notes in Computer Science, vol 5926. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10871-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-10871-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10870-9
Online ISBN: 978-3-642-10871-6
eBook Packages: Computer ScienceComputer Science (R0)