ISCAS OpenIR  > 2010软件所会议论文
decomposition-based optimization for debugging of inconsistent owl dl ontologies
Du Jianfeng; Qi Guilin
2010
Conference Name4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010
SourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages88-100
Conference DateSeptember
Conference PlaceBelfast, Northern Ireland, United kingdom
Indexed Typeei
Publish PlaceGermany
ISSN3029743
ISBN3642152791
Department(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
English AbstractOntology 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.
KeywordOptimization
SponsorshipUnited 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.
Language英语
Content Type会议论文
URIhttp://ir.iscas.ac.cn/handle/311060/8722
Collection2010软件所会议论文
Recommended Citation
GB/T 7714
Du Jianfeng,Qi Guilin. decomposition-based optimization for debugging of inconsistent owl dl ontologies[C]. Germany,2010:88-100.
Files in This Item:
File Name/Size DocType Version Access License
decomposition-based (311KB) 限制开放--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Du Jianfeng]'s Articles
[Qi Guilin]'s Articles
Baidu academic
Similar articles in Baidu academic
[Du Jianfeng]'s Articles
[Qi Guilin]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Du Jianfeng]'s Articles
[Qi Guilin]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.