tractability

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