图 书 馆
术语的核心修订运算符-算法和评估A Kernel Revision Operator for Terminologies - Algorithms and Evaluation |
|
| 课程网址: | http://videolectures.net/iswc08_qi_krot/ |
| 主讲教师: | Guilin Qi |
| 开课单位: | 卡尔斯鲁厄大学 |
| 开课时间: | 2008-11-24 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | Revision of a description logic-based ontology deals with the problem of incorporating newly received information consistently. In this paper, we propose a general operator for revising terminologies in description logic-based ontologies. Our revision operator relies on a reformulation of the kernel contraction operator in belief revision. We first define our revision operator for terminologies and show that it satisfies some desirable logical properties. Second, two algorithms are developed to instantiate the revision operator. Since in general, these two algorithms are computationally too hard, we propose a third algorithm as a more efficient alternative. We implemented the algorithms and provide evaluation results on their efficiency, effectiveness and meaningfulness in the context of two application scenarios: Incremental ontology learning and mapping revision. |
| 关 键 词: | 描述逻辑; 运算符; 逻辑属性 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-04-28：cwx |
| 阅读次数: | 37 |