不一致诊断相关论文
随着语义网的发展，应用本体在智能推理中发挥越来越重要的作用。但应用本体开发是个复杂的过程，受人员素质、开发方法、描述逻辑自身......
为计算复杂应用本体中非合法蕴含式集合的根本性冲突原因,首先对现有不一致诊断方法进行系统的梳理,然后结合应用本体及其需求特点......
人工智能被称为二十一世纪三大尖端技术之一，目前已深入到人们科研、工作和生活的各个领域，并在不断地发展。可满足性问题（SATisfiabi......
