Academic
Publications
Reasoning about Partially Ordered Web Service Activities in PSL

Reasoning about Partially Ordered Web Service Activities in PSL,10.1007/978-3-642-10871-6_16,Michael Gruninger,Xing Tan

Reasoning about Partially Ordered Web Service Activities in PSL  
BibTex | RIS | RefWorks Download
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of sub- activity 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 ex- tensions 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.
Conference: Asian Semantic Web Conference - ASWC , pp. 231-245, 2009
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.