搜索筛选:
搜索耗时3.2937秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：钱鹏飞;王威;,
来源：第九届中国钢铁年会 年份：2013
在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验.目前,有关本体模型的形式化校验大都是围绕单个概念或关系来...
相关搜索：
