TY - JOUR
T1 - Optimising parallel ABox reasoning of el ontologies
AU - Ren, Yuan
AU - Pan, Jeff Z.
AU - Lee, Kevin
N1 - Yuan Ren and Jeff Z. Pan are partially funded by the EU FP7 K-Drive project.
PY - 2012/12/1
Y1 - 2012/12/1
N2 - The success of modern multi-core processors makes it possible to develop parallel ABox reasoning algorithms to facilitate efficient reasoning on large scale ontological data sets. In this paper, we extend a parallel TBox reasoning algorithm for ELHR+ to a parallel ABox reasoning algorithm for ELH⊥,R+, which also supports the bottom concept so as to model disjointness and inconsistency. In design of algorithms, we exploit the characteristic of ABox reasoning in ELH⊥,R+ to improve parallelisation and reduce unnecessary resource cost. Particularly, we separate the TBox reasoning, ABox reasoning on types and ABox reasoning on relations. Our evaluation shows that a naive implementation of our approach can compute all ABox entailments of a Not-Galen- ontology with about 1 million individuals and 9 million axioms in about 3 minutes.
AB - The success of modern multi-core processors makes it possible to develop parallel ABox reasoning algorithms to facilitate efficient reasoning on large scale ontological data sets. In this paper, we extend a parallel TBox reasoning algorithm for ELHR+ to a parallel ABox reasoning algorithm for ELH⊥,R+, which also supports the bottom concept so as to model disjointness and inconsistency. In design of algorithms, we exploit the characteristic of ABox reasoning in ELH⊥,R+ to improve parallelisation and reduce unnecessary resource cost. Particularly, we separate the TBox reasoning, ABox reasoning on types and ABox reasoning on relations. Our evaluation shows that a naive implementation of our approach can compute all ABox entailments of a Not-Galen- ontology with about 1 million individuals and 9 million axioms in about 3 minutes.
UR - http://www.scopus.com/inward/record.url?scp=84868589646&partnerID=8YFLogxK
UR - http://ceur-ws.org/Vol-846/paper_61.pdf
M3 - Conference article
AN - SCOPUS:84868589646
SN - 1613-0073
VL - 846
SP - 508
EP - 518
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 25th International Workshop on Description Logics, DL 2012
Y2 - 7 June 2012 through 10 June 2012
ER -