A Description Logic Based Approach to Reasoning about Web Services

  title={A Description Logic Based Approach to Reasoning about Web Services},
  author={Franz Baader and Carsten Lutz and Maja Mili{\vc}i{\'c} and Ulrike Sattler and Frank Wolter},
Motivated by the need for semantically well-founded and algorithmically managable formalisms for describing the functionality of Web services, we introduce an action formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service… CONTINUE READING
Highly Cited
This paper has 63 citations. REVIEW CITATIONS

4 Figures & Tables



Citations per Year

63 Citations

Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.