towards practical abox abduction in large description logic ontologies
文献类型：期刊论文
| 作者 | Du Jianfeng ; Qi Guilin ; Shen Yi-Dong ; Pan Jeff Z. |
| 刊名 | International Journal on Semantic Web and Information Systems
 |
| 出版日期 | 2012 |
| 卷号 | 8期号:2页码:1-33 |
| 关键词 | Formal languages Logic programming Ontology |
| ISSN号 | 1552-6283 |
| 中文摘要 | 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 |
| 语种 | 英语 |
| WOS记录号 | WOS:000312931500001 |
| 公开日期 | 2013-09-17 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。