- Titel
- Integrating Description Logics and Action Formalisms for Reasoning about Web Services
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-793281
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 05-02
- Erstveröffentlichung
- 2005
- DOI
- https://doi.org/10.25368/2010.145
- Abstract (EN)
- Motivated by the need for semantically well-founded and algorithmically managable 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.
- Freie Schlagwörter (DE)
- Webservice, Ausführbarkeit, Beschreibungslogik, Aktionsformalismus
- Freie Schlagwörter (EN)
- web service, executability, description logic, action formalism
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-793281
- Veröffentlichungsdatum Qucosa
- 31.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0