Reasoning about Partially Ordered Web Service Activities in PSL

Authors:
Michael Gruninger;Xing Tan
Affiliations:
Semantic Technologies Laboratory, Department of Mechanical and Industrial Engineering, University of Toronto,;Semantic Technologies Laboratory, Department of Mechanical and Industrial Engineering, University of Toronto,
Venue:
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Year:
2009

Citing 5
Cited 1

Maintaining knowledge about temporal intervals

Communications of the ACM
Semantic Web Services

IEEE Intelligent Systems
The process specification language (PSL) theory and applications

AI Magazine
IEEE standard upper ontology: a progress report

The Knowledge Engineering Review
Web Service Modeling Ontology

Applied Ontology

Map algebra and model algebra for integrated model building

Environmental Modelling & Software

Quantified Score

Hi-index	0.00

Visualization

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.