Sciweavers

Share
ASWC
2009
Springer

Reasoning about Partially Ordered Web Service Activities in PSL

9 years 10 months ago
Reasoning about Partially Ordered Web Service Activities in PSL
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.
Michael Gruninger, Xing Tan
Added 02 Sep 2010
Updated 02 Sep 2010
Type Conference
Year 2009
Where ASWC
Authors Michael Gruninger, Xing Tan
Comments (0)
books