特邀编辑
朱塞佩·德贾科莫
叶夫根尼·哈萨克夫
弗兰克·沃尔特
特殊曲目内容
在过去二十年中,描述逻辑(DL)在AI社区内外都得到了极大的普及,因为它们在表达性和推理复杂性之间提供了平衡的权衡。DLs目前的成功是DL社区多年严格研究的结果,它不仅产生了漂亮的理论结果,而且还产生了强大的系统和重要的实际应用。值得注意的是,DL提供了本体语言(包括W3C标准OWL)的逻辑基础,使它们与各种应用领域相关,如语义网、医学信息学、生命科学、电子商务等。
本专题是为了纪念第25届描述逻辑国际研讨会,这是描述逻辑界研究人员的主要年度会议。这条特别赛道的目的是展示当前DL研究的最佳成果。轨道收到17份提交文件,其中以下7份文件将在特别轨道上发表。这些论文对DL研究的现状以及科学界关注的技术工具、问题和应用的种类提供了一些深入的见解。