王勇红
- 作品数:2 被引量:0H指数:0
- 供职机构:广西师范大学更多>>
- 发文基金:国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域:理学自动化与计算机技术更多>>
- 描述逻辑εL循环术语集的保守扩充
- 在计算机科学中,本体是动态的实体.为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合.在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充.研究扩充后的...
- 王勇红
- 关键词:本体描述逻辑
- 文献传递
- 基于圆壳区域伸缩的空间知识表示
- 2011年
- 区域连接演算RCC(region connection calculs)是定性空间推理的重要理论之一,但由于缺乏必要的定量工具,RCC只能描述空间拓扑关系,而不能描述距离、方向等其他空间关系。在RCC理论的基础上,引入区域圆壳概念对区域伸缩加以度量,得出一种以区域为单位的形式化度量方法,来描述区域间的距离关系、方向关系,从而增强RCC的空间关系表示能力,拓展了RCC理论的适用范围。
- 聂登国王勇红康旺强
- 关键词:区域连接演算