dl-lite

本文研究了面向描述逻辑本体且具有认知依赖策略的受控查询评估（CQE），引入了一种基于最小策略违反的新语义，该语义为DL-Lite本体实现了多项式时间查询回答。

本文研究了描述逻辑DL-Lite家族的理性闭包，提供了一种插件架构，用于高效的非单调推理和合取查询回答，且计算开销最小。