Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti, SAPIENZA Universita di Roma;
Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti, SAPIENZA Universita di Roma;
机译:基于修订的方法来处理描述逻辑中的不一致
机译:从不一致的知识库中进行推理的三值逻辑
机译:通过将描述逻辑转换为不可行的逻辑编程来进行不一致的本体处理
机译:更新不一致描述逻辑知识库
机译:说明逻辑中的不满足和不一致的解释和诊断服务。
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:描述逻辑知识库的不一致容忍查询