Institutional Repository
| finding all justifications of owl entailments using tms and mapreduce | |
| Wu Gang; Qi Guilin; Du Jianfeng | |
| 2011 | |
| Conference Name | 20th ACM Conference on Information and Knowledge Management, CIKM'11 |
| Source | International Conference on Information and Knowledge Management, Proceedings |
| Pages | 1425-1434 |
| Conference Date | October 24 |
| Conference Place | Glasgow, United kingdom |
| Indexed Type | EI |
| ISBN | 9781450307178 |
| Department | (1) Key Laboratory of Medical Image Computing (NEU) Ministry of Education Shenyang 110004 China; (2) College of Information Science and Engineering Northeastern University Shenyang 110004 China; (3) School of Computer Science and Engineering Southeast University Nanjing 210096 China; (4) Guangdong University of Foreign Studies Guangzhou 510006 China; (5) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China |
| English Abstract | Finding all justifications of an OWL entailment is an important reasoning service for explaining logical inconsistencies. In this paper, we consider finding all justifications of an entailment in OWL pD*fragment, which is a fragment of OWL that makes possible decidable rule extensions of OWL. We first propose a novel approach to find all justifications of OWL pD*entailments using TMS and show the complexity of this approach. This approach is limited by the hardware capabilities of standalone systems. In order to improve its scalability to handle large scale semantic data, we optimize the proposed approach by exploiting the MapReduce technology. We implement our approach and the optimization, and do experiments on synthetic and real world data sets. Evaluation results show that our approach has the ability to scale to more than one billion triples. © 2011 ACM.; Finding all justifications of an OWL entailment is an important reasoning service for explaining logical inconsistencies. In this paper, we consider finding all justifications of an entailment in OWL pD*fragment, which is a fragment of OWL that makes possible decidable rule extensions of OWL. We first propose a novel approach to find all justifications of OWL pD*entailments using TMS and show the complexity of this approach. This approach is limited by the hardware capabilities of standalone systems. In order to improve its scalability to handle large scale semantic data, we optimize the proposed approach by exploiting the MapReduce technology. We implement our approach and the optimization, and do experiments on synthetic and real world data sets. Evaluation results show that our approach has the ability to scale to more than one billion triples. © 2011 ACM. |
| Keyword | Knowledge Management Semantics |
| Sponsorship | Special Interest Group on Information Retrieval (ACM SIGIR); ACM SIGWEB |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16264 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Wu Gang,Qi Guilin,Du Jianfeng. finding all justifications of owl entailments using tms and mapreduce[C],2011:1425-1434. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment