Institutional Repository
| decomposition-based optimization for debugging of inconsistent owl dl ontologies | |
| Du Jianfeng; Qi Guilin | |
| 2010 | |
| 会议名称 | 4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010 |
| 会议录名称 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| 页码 | 88-100 |
| 会议日期 | September |
| 会议地点 | Belfast, Northern Ireland, United kingdom |
| 收录类别 | ei |
| 出版地 | Germany |
| ISSN | 3029743 |
| ISBN | 3642152791 |
| 部门归属 | (1) Guangdong University of Foreign Studies, Guangzhou 510006, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; (3) School of Computer Science and Engineering, Southeast University, Nanjing 211189, China |
| 摘要 | Ontology debugging plays an important role in tackling inconsistency in OWL DL ontologies. It computes all minimal inconsistent sub-ontologies (MISs) of an inconsistent ontology. However, the computation of all MISs is costly. Existing module extraction methods that optimize the debugging of ontology entailments are not sufficient to optimize the computation of all MISs, because a module (i.e. a sub-ontology) that covers all MISs can be too large to be handled by existing OWL DL debugging facilities. In order to generate smaller sub-ontologies, we propose a novel method for computing a set of sub-ontologies from an inconsistent OWL DL ontology so that the computation of all MISs can be separately performed in each resulting sub-ontology and the union of computational results yields exactly the set of all MISs. Experimental results show that this method significantly improves the scalability for computing all MISs of an inconsistent ontology. © 2010 Springer-Verlag Berlin Heidelberg. |
| 关键词 | Optimization |
| 主办者 | United States Air Force Res. Lab., Eur. Off. Aerosp. Res. Dev.; Artificial Intelligence Journal; Belfast Visitor and Convention Bureau; Springer; Univ. Ulster, Fac. Comput. Eng., Comput. Sci. Res. Inst. |
| 语种 | 英语 |
| 内容类型 | 会议论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/8722 |
| 专题 | 2010软件所会议论文 |
| 推荐引用方式 GB/T 7714 | Du Jianfeng,Qi Guilin. decomposition-based optimization for debugging of inconsistent owl dl ontologies[C]. Germany,2010:88-100. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| decomposition-based (311KB) | 限制开放 | -- | 请求全文 | |||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [Du Jianfeng]的文章 |
| [Qi Guilin]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [Du Jianfeng]的文章 |
| [Qi Guilin]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [Du Jianfeng]的文章 |
| [Qi Guilin]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论