1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 一个新的DL Lite中ABox修正算子 .pdf

论文研究 一个新的DL Lite中ABox修正算子 .pdf

上传者: 2020-07-16 17:42:26上传 .PDF文件 322KB 热度 11次
一个新的DL-Lite中ABox修正算子,漆桂林,高四辈,提出了针对描述逻辑DL-Lite的一个新的本体修正算子,用于修正本体的ABox。这里ABox指的是本体中的由一些断言组成的集合。证明了该算子
用户评论