关键词: 描述逻辑ALC 中介逻辑 中介无穷值语义模型

Abstract:

Negative information plays an important role in knowledge representation and reasoning. With the development of information science,a lot of facts ind  icate that it is necessary to differentiate the contradiction relationship and the opposite relationship of concept and its negation. As a fragment of p  redicate logic, description logic didn＇t separate these two kinds of relationships. The paper introduces fuzzy negation C and opposite negation ～C int     to the basic description logic ALC. It proposes a new kind of description logic MALC with the ability to deal with fuzzy information. And then, with the  extension of interpretive function,it provides an improved semantics for MALC which is based on a model of the infinite value of medium proposition log ic and a tableau-based algorithm for MALC.

Key words: description logic ALC medium logic, infinite valued model of medium proposition logic