tion技术，已用来提升包含测试的性能，它们的基本出发点就DL的推理服务主要有概念包含测试（Subsumption Test）和 是简化知识库的复杂结构，将复杂的公理简化为若干个形式知识库的一致性检测（Consistency Check）c引，本文所涉及的 简单的公...
基于10个网页-相关网页
subsumption test
包容的测试
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动