towards practical abox abduction in large description logic ontologies

ISCAS OpenIR

	towards practical abox abduction in large description logic ontologies
	Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.
	2012
发表期刊	International Journal on Semantic Web and Information Systems
ISSN	1552-6283
卷号	8 期号:2 页码:1-33
摘要	ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all minimal sets of ABox axioms, called abductive solutions, which should be added to a background ontology to enforce entailment of an observation which is a specified set of ABox axioms. However, ABox abduction is far from practical by now because there lack feasible methods working in finite time for expressive DLs. To pave a way to practical ABox abduction, this paper proposes a new problem for ABox abduction and a new method for computing abductive solutions accordingly. The proposed problem guarantees finite number of abductive solutions. The proposed method works in finite time for a very expressive DL, SHOIQ, which underpins the W3C standard language OWL 2, and guarantees soundness and conditional completeness of computed results. Experimental results on benchmark ontologies show that the method is feasible and can scale to large ABoxes. Copyright © 2012, IGI Global.; ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all minimal sets of ABox axioms, called abductive solutions, which should be added to a background ontology to enforce entailment of an observation which is a specified set of ABox axioms. However, ABox abduction is far from practical by now because there lack feasible methods working in finite time for expressive DLs. To pave a way to practical ABox abduction, this paper proposes a new problem for ABox abduction and a new method for computing abductive solutions accordingly. The proposed problem guarantees finite number of abductive solutions. The proposed method works in finite time for a very expressive DL, SHOIQ, which underpins the W3C standard language OWL 2, and guarantees soundness and conditional completeness of computed results. Experimental results on benchmark ontologies show that the method is feasible and can scale to large ABoxes. Copyright © 2012, IGI Global.
收录类别	EI
关键词	Formal Languages Logic Programming Ontology
部门归属	(1) Guangdong University of Foreign Studies State Key Laboratory of Computer Science Institute of Software China; (2) Southeast University Key Laboratory of Symbolic Computation Jilin University Jilin China; (3) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China; (4) University of Aberdeen Aberdeen United Kingdom
语种	英语
WOS记录号	WOS:000312931500001
引用统计	被引频次：12[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15167
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Du Jianfeng,Qi Guilin,Shen Yi-Dong,et al. towards practical abox abduction in large description logic ontologies[J]. International Journal on Semantic Web and Information Systems,2012,8(2):1-33.
APA	Du Jianfeng,Qi Guilin,Shen Yi-Dong,&Pan Jeff Z..(2012).towards practical abox abduction in large description logic ontologies.International Journal on Semantic Web and Information Systems,8(2),1-33.
MLA	Du Jianfeng,et al."towards practical abox abduction in large description logic ontologies".International Journal on Semantic Web and Information Systems 8.2(2012):1-33.