基于描述逻辑的策略本体建模及冲突检测研究