一种面向多本体上下文的相关性表示方法及推理研究 - docin.com豆丁网 型（即存在一个完全图），则认为Co 是可满足的，否则概念C不可满足。 推理之前首先将T中的概念和C0转化为逻辑非范式（Negation NormalForm， NNF），即逻辑非只能出现在原子概念之前。转换规则如表2．2所示： 表2-2NNF范式转换规则 11C兰C
基于2个网页-相关网页
转化为逻辑非范式
Transform into a logical non-normal form
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动