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 -