decomposition-based optimization for debugging of inconsistent owl dl ontologies

ISCAS OpenIR > 2010软件所会议论文

	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）			限制开放	--	请求全文