A Description Logic Based Approach to Reasoning about Web Services

F. BaaderF. Baader, C. LutzC. Lutz, M. MilicicM. Milicic, U. SattlerU. Sattler, F. WolterF. Wolter

Download

F. Baader, C. Lutz, M. Milicic, U. Sattler, F. Wolter
A Description Logic Based Approach to Reasoning about Web Services
Proceedings of the WWW 2005 Workshop on Web Service Semantics ({WSS2005}), 2005

Details
Bibtex

KurzfassungAbstract
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 discovery and composition.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BaLuMiSaWo-WSS-2005,
  address = {Chiba City, Japan},
  author = {F. {Baader} and C. {Lutz} and M. {Milicic} and U. {Sattler} and F. {Wolter}},
  booktitle = {Proceedings of the WWW 2005 Workshop on Web Service Semantics ({WSS2005})},
  title = {A Description Logic Based Approach to Reasoning about Web Services},
  year = {2005},
}