特邀编辑

朱塞佩·德贾科莫
叶夫根尼·哈萨克夫
弗兰克·沃尔特


特殊曲目内容

在过去二十年中,描述逻辑(DL)在AI社区内外都得到了极大的普及,因为它们在表达性和推理复杂性之间提供了平衡的权衡。DLs目前的成功是DL社区多年严格研究的结果,它不仅产生了漂亮的理论结果,而且还产生了强大的系统和重要的实际应用。值得注意的是,DL提供了本体语言(包括W3C标准OWL)的逻辑基础,使它们与各种应用领域相关,如语义网、医学信息学、生命科学、电子商务等。

本专题是为了纪念第25届描述逻辑国际研讨会,这是描述逻辑界研究人员的主要年度会议。这条特别赛道的目的是展示当前DL研究的最佳成果。轨道收到17份提交文件,其中以下7份文件将在特别轨道上发表。这些论文对DL研究的现状以及科学界关注的技术工具、问题和应用的种类提供了一些深入的见解。


描述逻辑专题序言

De Giacomo,G.、Kazakov,Y.和Wolter,F。

具有复杂角色链和联盟的SROIQ的可判定扩展

M.Mosurovic、N.Krdzavac、H.Graves、M.Zakharyaschev

表达描述逻辑中的Beth Defability

B.ten Cate、E.Franconi、I.Seylan

基于可失效继承的描述逻辑

G.卡西尼,U.斯特拉契亚

关于DL-Lite中否定查询答案解释的推理

D.Calvanee、M.Ortiz、M.Simkus、G.Stefanoni