文件名称:论文研究-MUPS算法性能评测的Benchmark设计与实现 .pdf
文件大小:290KB
文件格式:PDF
更新时间:2022-09-09 14:16:27
本体调试
MUPS算法性能评测的Benchmark设计与实现,张瑜,欧阳丹彤,计算术语集中不可满足概念的极小不可满足保持子术语集(minimal unsatisfiability preserving sub-terminologies,mups)是本体调试的一项重要工作,
文件名称:论文研究-MUPS算法性能评测的Benchmark设计与实现 .pdf
文件大小:290KB
文件格式:PDF
更新时间:2022-09-09 14:16:27
本体调试
MUPS算法性能评测的Benchmark设计与实现,张瑜,欧阳丹彤,计算术语集中不可满足概念的极小不可满足保持子术语集(minimal unsatisfiability preserving sub-terminologies,mups)是本体调试的一项重要工作,