LATPub683: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors=M. Milicic; | |FurtherAuthors=M. Milicic; Carsten Lutz; Ulrike Sattler; Frank Wolter | ||
}} | }} | ||
{{Techreport | {{Techreport | ||
| Zeile 15: | Zeile 15: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract= | |Abstract= 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. | ||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 43: | Zeile 34: | ||
year = {2005}, | year = {2005}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Franz BaaderFranz Baader, M. MilicicM. Milicic, Carsten LutzCarsten Lutz, Ulrike SattlerUlrike Sattler, Frank WolterFrank Wolter
Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank 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
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
- 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},
}
