Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
复制标题
DOI：
10.25368/2022.145
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
F. Baader;C. Lutz;M. Miličić;U. Sattler;F. Wolter
中科院分区：
文献类型：
--
作者：
F. Baader;C. Lutz;M. Miličić;U. Sattler;F. Wolter
出于对基于描述逻辑（dl）的语义良好且算法可管理的形式主义的需求，但也坚定地基于对行动社区推理的研究。我们的主要贡献是分析了深度学习的选择如何影响标准推理任务（如投影和可执行性）的复杂性，这对于Web服务发现和组合非常重要。
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.