...
机译:基于图的方法在DL-Lite中调试和修订术语
Southeast Univ, Sch Comp Sci & Engn, Nanjing, Jiangsu, Peoples R China;
Southeast Univ, Sch Comp Sci & Engn, Nanjing, Jiangsu, Peoples R China;
Southeast Univ, Sch Comp Sci & Engn, Nanjing, Jiangsu, Peoples R China;
Southeast Univ, Sch Comp Sci & Engn, Nanjing, Jiangsu, Peoples R China;
DL-Lite; Ontology debugging; Ontology revision; Scoring function; Hitting set tree;
机译:优先基于断言的已删除集修订DL-Lite信念基础
机译:DL-Lite压缩和修订
机译:DL-Lite压缩和修订
机译:DL-Lite中基于图的本体调试方法
机译:在现代开发周期中自动化数字设计调试的新颖方法
机译:BigDebug:用于Spark中交互式大数据处理的调试原语
机译:调试不连贯的术语