论文研究-MUPS算法性能评测的Benchmark设计与实现 .pdf

时间:2022-09-09 14:16:27
【文件属性】:

文件名称:论文研究-MUPS算法性能评测的Benchmark设计与实现 .pdf

文件大小:290KB

文件格式:PDF

更新时间:2022-09-09 14:16:27

本体调试

MUPS算法性能评测的Benchmark设计与实现,张瑜,欧阳丹彤,计算术语集中不可满足概念的极小不可满足保持子术语集(minimal unsatisfiability preserving sub-terminologies,mups)是本体调试的一项重要工作,


网友评论