Browse wiki
From International Center for Computational Logic
Motivated by the need for semantically wel … 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.for Web service discovery and composition. +
LTCS-05-02 +
@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},
}
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},
}
Baader +
Franz +
Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology +
Franz Baader, M. Milicic, Carsten Lutz, Ul … Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter<br /> '''[[LATPub683|Integrating Description Logics and Action Formalisms for Reasoning about Web Services]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-05-02, 2005. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub683|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BMLSW-LTCS-05-02.ps.gz|Download]]MLSW-LTCS-05-02.ps.gz|Download]] +
Franz Baader, M. Milicic, Carsten Lutz, Ul … Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter<br /> '''[[LATPub683/en|Integrating Description Logics and Action Formalisms for Reasoning about Web Services]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-05-02, 2005. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub683|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BMLSW-LTCS-05-02.ps.gz|Download]]MLSW-LTCS-05-02.ps.gz|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Integrating Description Logics and Action Formalisms for Reasoning about Web Services +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
25. März 2015, 14:34:09 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Integrating Description Logics and Action Formalisms for Reasoning about Web Services +, Integrating Description Logics and Action Formalisms for Reasoning about Web Services +, Integrating Description Logics and Action Formalisms for Reasoning about Web Services +, Integrating Description Logics and Action Formalisms for Reasoning about Web Services +, Integrating Description Logics and Action Formalisms for Reasoning about Web Services +, Integrating Description Logics and Action Formalisms for Reasoning about Web Services +, Integrating Description Logics and Action Formalisms for Reasoning about Web Services +, Integrating Description Logics and Action Formalisms for Reasoning about Web Services + and Integrating Description Logics and Action Formalisms for Reasoning about Web Services +
