ELbotpreceq

新的逻辑 ELbotpreceq 扩展了支持图查询语言的 DL-Lite

研究人员推出了一种新的描述逻辑 ELbotpreceq，它扩展了 DL-Lite 并支持 NL 中的推理。该逻辑旨在可重写为图查询语言，解决了现有 DL-Lite 系统仅限于一阶查询的局限性。ELbotpreceq 包含一个分层机制来管理合取和递归，使其能够表达许多 ELI 和 DL-Lite 本体，同时保持 NL 上界。