DMCA
A Divide and Conquer Approach for Parallel Classification of OWL Ontologies (submitted to special issue on Web Reasoning and Rule Systems)
BibTeX
@MISC{Wu_adivide,
author = {Kejia Wu and Volker Haarslev},
title = {A Divide and Conquer Approach for Parallel Classification of OWL Ontologies (submitted to special issue on Web Reasoning and Rule Systems)},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Description Logic (DL) describes knowledge using entities and rela-tionships between them, and TBox classification is a core DL reasoning service. Over more than two decades many research efforts have been devoted to optimiz-ing TBox classification. Those classification optimization algorithms have shown their pragmatic effectiveness for sequential processing. However, as concurrent computing becomes widely available, new classification algorithms that are well suited to parallelization need to be developed. This need is further supported by the observation that most available Web Ontology Language (OWL) reasoners, which are usually based on tableau reasoning, can only utilize a single processor. Such an inadequacy often leads to frustrated users working in ontology devel-opment, especially if their ontologies are complex and require long processing times. In this paper we present a novel algorithm that uses a divide and conquer strategy for parallelizing OWL TBox classification, a key reasoning task. We dis-cuss some interesting properties of our algorithm, for example, its suitability for distributed reasoning, and present an empirical study using a set of benchmark ontologies, where a speedup of up to a factor of four has been observed when using eight workers in parallel. 1
Keyphrases
rule system parallel classification owl ontology web reasoning conquer approach special issue tableau reasoning key reasoning task available web ontology language description logic interesting property frustrated user pragmatic effectiveness empirical study long processing time conquer strategy single processor classification optimization algorithm sequential processing new classification algorithm core dl reasoning service decade many research effort novel algorithm owl tbox classification tbox classification distributed reasoning optimiz-ing tbox classification benchmark ontology
