Quan, Zixi and Haarslev, Volker (2018) A Parallel Computing Architecture for High-Performance OWL Reasoning. Parallel Computing . ISSN 01678191 (In Press)
Preview |
Text (application/pdf)
616kBHaarslev-2018.pdf - Accepted Version Available under License Spectrum Terms of Access. |
Official URL: http://dx.doi.org/10.1016/j.parco.2018.05.001
Abstract
The Web Ontology Language (OWL) is a widely used knowledge representation language for describing knowledge in application domains by using classes, properties, and individuals. Ontology classification is an important and widely used service that computes a taxonomy of all classes occurring in an ontology. It can require significant amounts of runtime, but most OWL reasoners do not support any kind of parallel processing. We present a novel thread-level parallel architecture for ontology classification, which is ideally suited for shared-memory SMP servers, but does not rely on locking techniques and thus avoids possible race conditions. We evaluated our prototype implementation with a set of real-world ontologies. Our experiments demonstrate a very good scalability resulting in a speedup that is linear to the number of available cores.
| Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering |
|---|---|
| Item Type: | Article |
| Refereed: | Yes |
| Authors: | Quan, Zixi and Haarslev, Volker |
| Journal or Publication: | Parallel Computing |
| Date: | 16 May 2018 |
| Digital Object Identifier (DOI): | 10.1016/j.parco.2018.05.001 |
| Keywords: | Ontology classification; parallel computing |
| ID Code: | 983894 |
| Deposited By: | Michael Biron |
| Deposited On: | 28 May 2018 14:33 |
| Last Modified: | 16 May 2020 00:00 |
References:
The Description Logic Handbook F.Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel Schneider (Eds.) (2nd), Cambridge University Press (2007)R. Möller, V. Haarslev, Tableau-Based Reasoning, Handbook on Ontologies, pp. 509–528.
V. Haarslev, R. MöllerRACER system description Int. Joint Conf. on Automated Reasoning (2001), pp. 701-705
D. Tsarkov, I. HorrocksFact++ description logic reasoner: System description Int. Joint Conf. on Automated Reasoning (2006), pp. 292-297
B. Glimm, I. Horrocks, B. Motik, G. Stoilos, Z. WangHermiT: an OWL 2 reasoner Journal of Automated Reasoning, 53 (3) (2014), pp. 245-269
A. Steigmiller, T. Liebig, B. GlimmKonclude: system description Web Semantics, 27 (2014), pp. 78-85
Y. Kazakov, M. Krötzsch, F. SimančíkConcurrent classification of EL ontologies Int. Semantic Web Conf. (2011), pp. 305-320
M. Aslani, V. HaarslevParallel TBox classification in description logics – first experimental results Proc. of the 19th European Conf. on Artificial Intelligence (2010), pp. 485-490
K. Wu, V. HaarslevA parallel reasoner for the description logic ALC Proc. of the 2012 Int. Workshop on Description Logics (2012), pp. 378-388
K. Wu, V. HaarslevExploring parallelization of conjunctive branches in tableau-based description logic reasoning Proc. of the 2013 Int. Workshop on Description Logics (2013), pp. 1011-1023
K. Wu, V. HaarslevParallel OWL reasoning: Merge classification Proc. of the 3rd Joint Int. Semantic Technology Conf. (2013), pp. 211-227
J. Faddoul, W. MacCaullHandling non-determinism with description logics using a fork/join approach International Journal of Networking and Computing, 5 (1) (2015), pp. 61-85
B. Motik, B.C. Grau, I. Horrocks, Z. Wu, A. Fokoue, C. LutzOWL 2 Language Profiles (2nd ed.) W3C Recommendation (2009)
B. Glimm, I. Horrocks, B. Motik, R. Shearer, G. StoilosA novel approach to ontology classification Web Semantics, 14 (2012), pp. 84-101
F. Baader, U. SattlerAn overview of tableau algorithms for description logics Studia Logica, 69 (2001), pp. 5-40
Z. Quan, V. HaarslevA parallel shared-memory architecture for OWL ontology classification 46th International Conference on Parallel Processing Workshops (ICPPW), IEEE (2017), pp. 200-209
3rd OWL reasoner evaluation (ORE) workshop, 2014.
4th OWL reasoner evaluation (ORE) workshop, 2015.
Repository Staff Only: item control page
Download Statistics
Download Statistics