与相等具有能力
Be capable of being equal to
以上为机器翻译结果，长、整句建议使用 人工翻译 。
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
youdao
应用推荐
模块上移
模块下移
不移动