Integrating Description Logics and Action Formalisms for Reasoning about Web Services

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

Datei:BMLSW-LTCS-05-02.ps.gz

Download

F. Baader, M. Milicic, C. Lutz, U. Sattler, F. Wolter
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-02, 2005. LTCS-Report

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.

Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ BMLSW-LTCS-05-02,
  address = {Germany},
  author = {F. {Baader} and M. {Milicic} and C. {Lutz} and U. {Sattler} and F. {Wolter}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {LTCS-05-02},
  title = {Integrating Description Logics and Action Formalisms for Reasoning about Web Services},
  type = {LTCS-Report},
  year = {2005},
}