您的位置：首页 > 论文页面
DL-Lite中的一个术语修正算子
发表时间：2012-10-31 浏览量：1397 下载量：404
| 全部作者： | 高四辈，漆桂林，杜剑峰，程小军 |
| 作者单位： | 东南大学计算机科学与工程学院；广东外语外贸大学国际工商管理学院 |
| 摘 要： | 提出一个新的DL-Lite本体修正算子，用于修正本体的术语部分。这里的修正算子由本体的最小不协调子集（minimal incoherence-preserving sub-TBox，MIPS）上的一个分割函数定义。证明了该算子满足一些良好性质。然后，给出了DL-Lite中的一个术语修正算法。在算法中，给出一个DL-Lite特有的计算MIPS的方法。该方法利用了DL-Lite的不协调性产生模式。最后，证明该算法实现了定义的术语修正算子。 |
| 关 键 词： | 软件理论；本体修正；修正算子； 最小不协调子集；DL-Lite |
| Title： | An operator for revising terminologies in DL-Lite |
| Author： | GAO Sibei, QI Guilin, DU Jianfeng, CHENG Xiaojun |
| Organization： | School of Computer Science and Engineering, Southeast University; School of International Business Management, Guangdong University of Foreign Studies |
| Abstract： | In this paper, a new operator for revising terminologies in DL-Lite ontologies was proposed. Firstly, the revision operator for terminologies was defined in terms of an incision function of minimal incoherence-preserving sub-TBox (MIPS), and it was proved to meet some desirable properties.Then an algorithm was given for revising terminologies in DL-Lite. In this algorithm, a method was provided for computing MIPS which was tailored for DL-Lite. This method utilizes the patterns which can result in the unsatisfiability of a concept in DL-Lite ontologies. Finally, it was confirmed that this algorithm implemented the revision operator. |
| Key words： | software theory; ontology revision; revision operator; minimal incoherence-preserving sub-TBox; DL-Lite |
| 发表期数： | 2012年10月第20期 |
| 引用格式： | 高四辈，漆桂林，杜剑峰，等. DL-Lite中的一个术语修正算子[J]. 中国科技论文在线精品论文，2012，5（20）：1911-1920. |
0
评论数 0请您登录
暂无评论
下载全文
多维论文