描述逻辑VL的保守扩充 |
| |
引用本文: | 聂登国,曹发生.描述逻辑VL的保守扩充[J].毕节学院学报,2013,31(8):15-20. |
| |
作者姓名: | 聂登国 曹发生 |
| |
作者单位: | 毕节学院数学与计算机科学学院,贵州毕节,551700 |
| |
基金项目: | 贵州省2013年度贵州省科技厅、毕节市科技局、毕节学院科技联合基金计划项目"轻量级描述逻辑的保守扩充"成果之一;项目,国家自然科学基金项目"本体保守扩充及其推理机制的研究"成果之一;项目 |
| |
摘 要: | 保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。
|
关 键 词: | 描述逻辑 保守扩充 本体 VL系统 |
本文献已被 CNKI 万方数据 等数据库收录! |
|