一种在DL-Lite中计算本体最小不可满足保持子集的算法

文件格式: PDF文档
文件大小: 751.48 KB
资源类别: 计算机
关键词: 算法   本体   计算   一种   满足
进入标准下载页面
本资源下载需 1

论文简介

一种在DL-Lite中计算本体最小不可满足保持子集的算法
相关推荐