minimal policy violation

新的DL本体语义增强了保密性和可查询性

研究人员为描述逻辑（DL）本体中的受控查询评估（CQE）引入了一种新的语义，旨在提高计算可查询性和保密性。现有的CQE的GA和IGA蕴含语义被发现对于DL-Lite_R本体在计算上是难以处理的，并且在IGA的情况下，可能无法完全满足不可区分性属性。提出的基于最小策略违规（MPV）的新语义提供了一种可靠的近似方法，同时确保了不可区分性，并且可以在DL-Lite_R本体的多项式时间内判定。