基于描述逻辑的策略系统建模方法研究

A Study on Policy System Modeling Based on Description Logic

采用基于策略的方法对安全管理,服务质量等进行监管,已经得到广泛应用。描述逻辑是一种基于对象的知识表示形式。本文提供了一种基于描述逻辑的策略系统建模方式,将策略定义为两种类型,即授权策略和义务策略。根据其性质特点建立主体、客体、角色、动作、事件、约束条件等概念,结合概念之间的关系,最终得到基于描述逻辑的策略系统模型。借助描述逻辑的推理技术,可以对策略系统模型进行分析。并举例说明了这种基于描述逻辑的策略规格方法。