张瑜(1982-),男,河南信阳人,博士生,主要研究领域为语义Web,自动推理;欧阳丹彤(1968-),女,博士,教授,博士生导师,CCF高级会员,主要研究领域为模型诊断,语义Web,自动推理;叶育鑫(1981-),男,博士,副教授,CCF专业会员,主要研究领域为语义Web,自动推理.
叶育鑫,E-mail:yeyx@jlu.edu.cn
国家自然科学基金(61672261,61502199)
National Natural Science Foundation of China (61672261, 61502199)
张瑜,欧阳丹彤,叶育鑫.不协调本体调试与修复的冲突路径优化策略.软件学报,2018,29(10):2948-2965
复制