用于ODSSs模型表示的描述逻辑

文章介绍了一种描述逻辑作为ODSSs模型管理的模型表示语言,提出了其语法和语义,使用了决策问题的例子来展现它的表达力,描述和分析了概念之间关系的推理算法,所提出的逻辑在为ODSSs模型管理提供形式化和丰富语义表达语言方面具有很大的潜力。